|
|
|
Theory and Applications of Satisfiability Testing - SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings / edited by Ofer Strichman, Stefan Szeider.
by Strichman, Ofer [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.
by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - INDOCRYPT 2010 [electronic resource] : 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010, Proceedings / edited by Guang Gong, Kishan Chand Gupta.
by Gong, Guang [editor.] | Gupta, Kishan Chand [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Swarm Intelligence Based Optimization [electronic resource] : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot.
by Siarry, Patrick [editor.] | Idoumghar, Lhassane [editor.] | Lepagnot, Julien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Discovery in Databases: PKDD 2007 [electronic resource] : 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedings / edited by Joost N. Kok, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic.
by Kok, Joost N [editor.] | Koronacki, Jacek [editor.] | Lopez de Mantaras, Ramon [editor.] | Matwin, Stan [editor.] | Mladenic, Dunja [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, Proceedings / edited by Walter G. Kropatsch, Nicole M. Artner, Ines Janusch.
by Kropatsch, Walter G [editor.] | Artner, Nicole M [editor.] | Janusch, Ines [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder.
by Pattinson, Dirk [editor.] | Schröder, Lutz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - INDOCRYPT 2006 [electronic resource] : 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006, Proceedings / edited by Rana Barua, Tanja Lange.
by Barua, Rana [editor.] | Lange, Tanja [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers / edited by Carlos Martin-Vide, Friedrich Otto, Henning Fernau.
by Martin-Vide, Carlos [editor.] | Otto, Friedrich [editor.] | Fernau, Henning [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithm Theory - SWAT 2010 [electronic resource] : 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings / edited by Haim Kaplan.
by Kaplan, Haim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online 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] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann.
by Gomes, Carla [editor.] | Sellmann, Meinolf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013, Proceedings / edited by Frank Nielsen, Frédéric Barbaresco.
by Nielsen, Frank [editor.] | Barbaresco, Frédéric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings / edited by Willem-Jan van Hoeve, John N. Hooker.
by van Hoeve, Willem-Jan [editor.] | Hooker, John N [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio.
by Joshi, Kaustubh [editor.] | Siegle, Markus [editor.] | Stoelinga, Mariëlle [editor.] | D'Argenio, Pedro R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Data Structures [electronic resource] : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / edited by Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack.
by Dehne, Frank [editor.] | López-Ortiz, Alejandro [editor.] | Sack, Jörg-Rüdiger [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk.
by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online 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] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings / edited by Pascal Van Hentenryck, Laurence Wolsey.
by Van Hentenryck, Pascal [editor.] | Wolsey, Laurence [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Parameterized and Exact Computation [electronic resource] : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings / edited by Hans L. Bodlaender, Michael A. Langston.
by Bodlaender, Hans L [editor.] | Langston, Michael A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers in Algorithmics [electronic resource] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings / edited by Xiaotie Deng, John E. Hopcroft, Jinyun Xue.
by Deng, Xiaotie [editor.] | Hopcroft, John E [editor.] | Xue, Jinyun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Software -- ICMS 2014 [electronic resource] : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / edited by Hoon Hong, Chee Yap.
by Hong, Hoon [editor.] | Yap, Chee [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
