|
|
|
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach.
by Voronkov, Andrei [editor.] | Weidenbach, Christoph [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
|
|
|
|
Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov.
by Horimoto, Katsuhisa [editor.] | Nakatsui, Masahiko [editor.] | Popov, Nikolaj [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
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings / edited by Keith Crandall, Jens Lagergren.
by Crandall, Keith [editor.] | Lagergren, Jens [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
|
|
|
|
Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings / edited by Zoltán Ésik.
by Ésik, Zoltán [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
|
|
|
|
Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings / edited by Sepp Hochreiter, Roland Wagner.
by Hochreiter, Sepp [editor.] | Wagner, Roland [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
|
|
|
|
Advances in Neural Networks - ISNN 2007 [electronic resource] : 4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part I / edited by Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun.
by Liu, Derong [editor.] | Fei, Shumin [editor.] | Hou, Zeng-Guang [editor.] | Zhang, Huaguang [editor.] | Sun, Changyin [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
|
|
|
|
Artificial Evolution [electronic resource] : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers / edited by Stéphane Bonnevay, Pierrick Legrand, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer.
by Bonnevay, Stéphane [editor.] | Legrand, Pierrick [editor.] | Monmarché, Nicolas [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [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
|
|
|
|
Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings / edited by Tomasz Janowski, Hrushikesha Mohanty.
by Janowski, Tomasz [editor.] | Mohanty, Hrushikesha [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
|
|
|
|
Security Protocols [electronic resource] : 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.
by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [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
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon.
by Schmidt, Renate A [editor.] | Nalon, Cláudia [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
|
|
|
|
Software Architecture [electronic resource] : 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings / edited by Muhammad Ali Babar, Ian Gorton.
by Ali Babar, Muhammad [editor.] | Gorton, Ian [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012, Proceedings / edited by Leila Kosseim, Diana Inkpen.
by Kosseim, Leila [editor.] | Inkpen, Diana [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
|
|
|
|
ECOOP 2010 -- Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / edited by Theo D'Hondt.
by D'Hondt, Theo [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
|
|
|
|
Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
by Bonacina, Maria Paola [editor.] | Stickel, Mark E [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
|
|
|
|
Culture and Computing [electronic resource] : Computing and Communication for Crosscultural Interaction / edited by Toru Ishida.
by Ishida, Toru [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
|
|
|
|
Software Composition [electronic resource] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / edited by Welf Löwe, Mario Südholt.
by Löwe, Welf [editor.] | Südholt, Mario [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
|
|
|
|
Reachability Problems [electronic resource] : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / edited by Matthew Hague, Igor Potapov.
by Hague, Matthew [editor.] | Potapov, Igor [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
|
|
|
|
Arithmetic of Finite Fields [electronic resource] : Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings / edited by Joachim von zur Gathen, José Luis Imana, Cetin Kaya Koc.
by von zur Gathen, Joachim [editor.] | Imana, José Luis [editor.] | Koc, Cetin Kaya [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
|
|
|
|
Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert van Rooij.
by Benz, Anton [editor.] | Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | van Rooij, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II / edited by Rajiv Khosla.
by Khosla, Rajiv [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
|
