Your search returned 1338 results. Subscribe to this search

|
Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau.

by Ciardo, Gianfranco [editor.] | Darondeau, Philippe [editor.] | SpringerLink (Online service).

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

Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers / edited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.

by Hertling, Peter [editor.] | Hoffmann, Christoph M [editor.] | Luther, Wolfram [editor.] | Revol, Nathalie [editor.] | SpringerLink (Online service).

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

Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings / edited by Boting Yang, Ding-Zhu Du, Cao An Wang.

by Yang, Boting [editor.] | Du, Ding-Zhu [editor.] | Wang, Cao An [editor.] | SpringerLink (Online service).

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

Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle.

by Dorigo, Marco [editor.] | Gambardella, Luca Maria [editor.] | Birattari, Mauro [editor.] | Martinoli, Alcherio [editor.] | Poli, Riccardo [editor.] | Stützle, Thomas [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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / edited by J. Christopher Beck, Barbara Smith.

by Beck, J. Christopher [editor.] | Smith, Barbara [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

Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised Selected Papers / edited by Mourad Baïou, Bernard Gendron, Oktay Günlük, A. Ridha Mahjoub.

by Baïou, Mourad [editor.] | Gendron, Bernard [editor.] | Günlük, Oktay [editor.] | Mahjoub, A. Ridha [editor.] | SpringerLink (Online service).

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

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings / edited by Serdar Boztas, Hsiao-feng Lu.

by Boztas, Serdar [editor.] | Lu, Hsiao-feng [editor.] | SpringerLink (Online service).

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

Advances in Cryptology - CRYPTO 2006 [electronic resource] : 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings / edited by Cynthia Dwork.

by Dwork, Cynthia [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

Arithmetic of Finite Fields [electronic resource] : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings / edited by Claude Carlet, Berk Sunar.

by Carlet, Claude [editor.] | Sunar, Berk [editor.] | SpringerLink (Online service).

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

Public Key Cryptography -- PKC 2011 [electronic resource] : 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011, Proceedings / edited by Dario Catalano, Nelly Fazio, Rosario Gennaro, Antonio Nicolosi.

by Catalano, Dario [editor.] | Fazio, Nelly [editor.] | Gennaro, Rosario [editor.] | Nicolosi, Antonio [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

Parallel Problem Solving from Nature - PPSN XVI [electronic resource] : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / edited by Thomas Bäck, Mike Preuss, André Deutz, Hao Wang, Carola Doerr, Michael Emmerich, Heike Trautmann.

by Bäck, Thomas [editor.] | Preuss, Mike [editor.] | Deutz, André [editor.] | Wang, Hao [editor.] | Doerr, Carola [editor.] | Emmerich, Michael [editor.] | Trautmann, Heike [editor.] | SpringerLink (Online service).

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

Sequences and Their Applications -- SETA 2012 [electronic resource] : 7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings / edited by Tor Helleseth, Jonathan Jedwab.

by Helleseth, Tor [editor.] | Jedwab, Jonathan [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

Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / edited by Jetty Kleijn, Alex Yakovlev.

by Kleijn, Jetty [editor.] | Yakovlev, Alex [editor.] | SpringerLink (Online service).

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

Integer Programming and Combinatorial Optimization [electronic resource] : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / edited by Quentin Louveaux, Martin Skutella.

by Louveaux, Quentin [editor.] | Skutella, Martin [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

SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings / edited by Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán.

by Bielikova, Maria [editor.] | Friedrich, Gerhard [editor.] | Gottlob, Georg [editor.] | Katzenbeisser, Stefan [editor.] | Turán, György [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

Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / edited by Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi.

by Lodi, Andrea [editor.] | Panconesi, Alessandro [editor.] | Rinaldi, Giovanni [editor.] | SpringerLink (Online service).

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

Algorithms in Bioinformatics [electronic resource] : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings / edited by Teresa M. Przytycka, Marie-France Sagot.

by Przytycka, Teresa M [editor.] | Sagot, Marie-France [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

Curves and Surfaces [electronic resource] : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / edited by Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker.

by Boissonnat, Jean-Daniel [editor.] | Cohen, Albert [editor.] | Gibaru, Olivier [editor.] | Gout, Christian [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | Schumaker, Larry L [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

Latent Variable Analysis and Signal Separation [electronic resource] : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / edited by Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovský, Petr Tichavský.

by Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovský, Zbyněk [editor.] | Tichavský, Petr [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

Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings / edited by Jón Atli Benediktsson, Jocelyn Chanussot, Laurent Najman, Hugues Talbot.

by Benediktsson, Jón Atli [editor.] | Chanussot, Jocelyn [editor.] | Najman, Laurent [editor.] | Talbot, Hugues [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