Your search returned 1023 results. Subscribe to this search

|
Graph Transformation [electronic resource] : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings / edited by Fabio Gadducci, Timo Kehrer.

by Gadducci, Fabio [editor.] | Kehrer, Timo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Computer Science - Theory and Applications [electronic resource] : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings / edited by Rahul Santhanam, Daniil Musatov.

by Santhanam, Rahul [editor.] | Musatov, Daniil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Studies in Complexity and Cryptography [electronic resource] : Miscellanea on the Interplay between Randomness and Computation / by Oded Goldreich.

by Goldreich, Oded [author.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Advances in Neural Networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings Part I / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.

by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Business Process Management [electronic resource] : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings / edited by Josep Carmona, Gregor Engels, Akhil Kumar.

by Carmona, Josep [editor.] | Engels, Gregor [editor.] | Kumar, Akhil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / edited by David Soloveichik, Bernard Yurke.

by Soloveichik, David [editor.] | Yurke, Bernard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Combinatorial Algorithms [electronic resource] : 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5-7, 2021, Proceedings / edited by Paola Flocchini, Lucia Moura.

by Flocchini, Paola [editor.] | Moura, Lucia [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

WALCOM: Algorithms and Computation [electronic resource] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings / edited by Petra Mutzel, Md. Saidur Rahman, Slamin.

by Mutzel, Petra [editor.] | Rahman, Md. Saidur [editor.] | Slamin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013, Proceedings / edited by Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack.

by van Emde Boas, Peter [editor.] | Groen, Frans C.A [editor.] | Italiano, Giuseppe F [editor.] | Nawrocki, Jerzy [editor.] | Sack, Harald [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Arithmetic of Finite Fields [electronic resource] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / edited by Sylvain Duquesne, Svetla Petkova-Nikova.

by Duquesne, Sylvain [editor.] | Petkova-Nikova, Svetla [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Advances in Spatial and Temporal Databases [electronic resource] : 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, Proceedings / edited by Michael Gertz, Matthias Renz, Xiaofang Zhou, Erik Hoel, Wei-Shinn Ku, Agnes Voisard, Chengyang Zhang, Haiquan Chen, Liang Tang, Yan Huang, Chang-Tien Lu, Siva Ravada.

by Gertz, Michael [editor.] | Renz, Matthias [editor.] | Zhou, Xiaofang [editor.] | Hoel, Erik [editor.] | Ku, Wei-Shinn [editor.] | Voisard, Agnes [editor.] | Zhang, Chengyang [editor.] | Chen, Haiquan [editor.] | Tang, Liang [editor.] | Huang, Yan [editor.] | Lu, Chang-Tien [editor.] | Ravada, Siva [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Mathematical Optimization Theory and Operations Research [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021, Proceedings / edited by Panos Pardalos, Michael Khachay, Alexander Kazakov.

by Pardalos, Panos [editor.] | Khachay, Michael [editor.] | Kazakov, Alexander [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Variable Neighborhood Search [electronic resource] : 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers / edited by Andrei Sleptchenko, Angelo Sifaleras, Pierre Hansen.

by Sleptchenko, Andrei [editor.] | Sifaleras, Angelo [editor.] | Hansen, Pierre [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Graph Drawing and Network Visualization [electronic resource] : 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021, Revised Selected Papers / edited by Helen C. Purchase, Ignaz Rutter.

by Purchase, Helen C [editor.] | Rutter, Ignaz [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Algorithmic Aspects in Information and Management [electronic resource] : 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings / edited by Weili Wu, Hongwei Du.

by Wu, Weili [editor.] | Du, Hongwei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Combinatorics on Words [electronic resource] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Anna Frid, Robert Mercaş.

by Frid, Anna [editor.] | Mercaş, Robert [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Combinatorial Algorithms [electronic resource] : 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings / edited by Sun-Yuan Hsieh, Ling-Ju Hung, Chia-Wei Lee.

by Hsieh, Sun-Yuan [editor.] | Hung, Ling-Ju [editor.] | Lee, Chia-Wei [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Algorithms in Bioinformatics [electronic resource] : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / edited by Martin Frith, Christian Nørgaard Storm Pedersen.

by Frith, Martin [editor.] | Storm Pedersen, Christian Nørgaard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Computer Aided Systems Theory - EUROCAST 2017 [electronic resource] : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available