Your search returned 4042 results. Subscribe to this search

|
Computer Science -- Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings / edited by Edward Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii.

by Hirsch, Edward [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Prilutskii, Michail [editor.] | SpringerLink (Online service).

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

Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort.

by Campos, Javier [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service).

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

Genetic Programming [electronic resource] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo García-Sánchez, Paolo Burelli, Sebastian Risi, Kevin Sim.

by Machado, Penousal [editor.] | Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | García-Sánchez, Pablo [editor.] | Burelli, Paolo [editor.] | Risi, Sebastian [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service).

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

Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.

by Charlier, Émilie [editor.] | Leroy, Julien [editor.] | Rigo, Michel [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

Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings / edited by Willem-Jan van Hoeve.

by van Hoeve, Willem-Jan [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

Computer Science - Theory and Applications [electronic resource] : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings / edited by Fedor V. Fomin, Vladimir V. Podolskii.

by Fomin, Fedor V [editor.] | Podolskii, Vladimir V [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

LATIN 2018: Theoretical Informatics [electronic resource] : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / edited by Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro.

by Bender, Michael A [editor.] | Farach-Colton, Martín [editor.] | Mosteiro, Miguel A [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

Hybrid Metaheuristics [electronic resource] : 11th International Workshop, HM 2019, Concepción, Chile, January 16-18, 2019, Proceedings / edited by Maria J. Blesa Aguilera, Christian Blum, Haroldo Gambini Santos, Pedro Pinacho-Davidson, Julio Godoy del Campo.

by Blesa Aguilera, Maria J [editor.] | Blum, Christian [editor.] | Gambini Santos, Haroldo [editor.] | Pinacho-Davidson, Pedro [editor.] | Godoy del Campo, Julio [editor.] | SpringerLink (Online service).

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

Parallel Problem Solving from Nature - PPSN XV [electronic resource] : 15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part I / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley.

by Auger, Anne [editor.] | Fonseca, Carlos M [editor.] | Lourenço, Nuno [editor.] | Machado, Penousal [editor.] | Paquete, Luís [editor.] | Whitley, Darrell [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

Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings / edited by Costas Iliopoulos, Hon Wai Leong, Wing-Kin Sung.

by Iliopoulos, Costas [editor.] | Leong, Hon Wai [editor.] | Sung, Wing-Kin [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

Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers [electronic resource] : 13th International Workshop, STACOM 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers / edited by Oscar Camara, Esther Puyol-Antón, Chen Qin, Maxime Sermesant, Avan Suinesiaputra, Shuo Wang, Alistair Young.

by Camara, Oscar [editor.] | Puyol-Antón, Esther [editor.] | Qin, Chen [editor.] | Sermesant, Maxime [editor.] | Suinesiaputra, Avan [editor.] | Wang, Shuo [editor.] | Young, Alistair [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Language, Logic, and Computation [electronic resource] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach.

by Silva, Alexandra [editor.] | Staton, Sam [editor.] | Sutton, Peter [editor.] | Umbach, Carla [editor.] | SpringerLink (Online service).

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

Algorithms for Computational Biology [electronic resource] : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings / edited by Daniel Figueiredo, Carlos Martín-Vide, Diogo Pratas, Miguel A. Vega-Rodríguez.

by Figueiredo, Daniel [editor.] | Martín-Vide, Carlos [editor.] | Pratas, Diogo [editor.] | Vega-Rodríguez, Miguel A [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

Combinatorial Image Analysis [electronic resource] : 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings / edited by Ralf Reulke, Ulrich Eckardt, Boris Flach, Uwe Knauer, Konrad Polthier.

by Reulke, Ralf [editor.] | Eckardt, Ulrich [editor.] | Flach, Boris [editor.] | Knauer, Uwe [editor.] | Polthier, Konrad [editor.] | SpringerLink (Online service).

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

Algorithms and Complexity [electronic resource] : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings / edited by Dimitris Fotakis, Aris Pagourtzis, Vangelis Th. Paschos.

by Fotakis, Dimitris [editor.] | Pagourtzis, Aris [editor.] | Paschos, Vangelis Th [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

Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / edited by Ashok K Goel, Mateja Jamnik, N Hari Narayanan.

by Goel, Ashok K [editor.] | Jamnik, Mateja [editor.] | Narayanan, N Hari [editor.] | SpringerLink (Online service).

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

Computational Science and Its Applications - ICCSA 2022 Workshops [electronic resource] : Malaga, Spain, July 4-7, 2022, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [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

Approximation and Online Algorithms [electronic resource] : 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings / edited by Jarosław Byrka, Andreas Wiese.

by Byrka, Jarosław [editor.] | Wiese, Andreas [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

Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.

by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service).

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

Numerical Methods and Applications [electronic resource] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010, Revised Papers / edited by Lirkov Ivan Dimov, Stefka Dimova, Natalia Kolkovska.

by Ivan Dimov, Lirkov [editor.] | Dimova, Stefka [editor.] | Kolkovska, Natalia [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