|
|
|
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Thomas Ball, Robert B. Jones.
by Ball, Thomas [editor.] | Jones, Robert B [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
|
|
|
|
Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel.
by Engels, Gregor [editor.] | Lewerentz, Claus [editor.] | Schäfer, Wilhelm [editor.] | Schürr, Andy [editor.] | Westfechtel, Bernhard [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
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings / edited by Anna Frid, Andrei S. Morozov, Andrey Rybalchenko, Klaus W. Wagner.
by Frid, Anna [editor.] | Morozov, Andrei S [editor.] | Rybalchenko, Andrey [editor.] | Wagner, Klaus W [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
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu.
by Lucanu, Dorel [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
|
|
|
|
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Lee, Hong-Hee [editor.] | Kang, Hee-Jun [editor.] | Bevilacqua, Vitoantonio [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
|
|
|
|
Artificial General Intelligence [electronic resource] : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings / edited by Jürgen Schmidhuber, Kristinn R. Thorisson, Moshe Looks.
by Schmidhuber, Jürgen [editor.] | Thorisson, Kristinn R [editor.] | Looks, Moshe [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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings / edited by Maciej Liskiewicz, Rüdiger Reischuk.
by Liskiewicz, Maciej [editor.] | Reischuk, 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
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell.
by Miculan, Marino [editor.] | Scagnetto, Ivan [editor.] | Honsell, Furio [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
|
|
|
|
Fuzzy Systems and Knowledge Discovery [electronic resource] : Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings / edited by Lipo Wang, Licheng Jiao, Guanming Shi, Xue Lu, Jing Liu.
by Wang, Lipo [editor.] | Jiao, Licheng [editor.] | Shi, Guanming [editor.] | Lu, Xue [editor.] | Liu, Jing [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
|
|
|
|
Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev.
by Cunha, Jácome [editor.] | Fernandes, João P [editor.] | Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Zaytsev, Vadim [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / edited by Peter Sestoft.
by Sestoft, Peter [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
|
|
|
|
CONCUR 2014 - Concurrency Theory [electronic resource] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
by Baldan, Paolo [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
|
|
|
|
Active Conceptual Modeling of Learning [electronic resource] : Next Generation Learning-Base System Development / edited by Peter P. Chen, Leah Y. Wong.
by Chen, Peter P [editor.] | Wong, Leah Y [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings / edited by Wolfram Kahl, Timothy G. Griffin.
by Kahl, Wolfram [editor.] | Griffin, Timothy G [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe.
by Drewes, Frank [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [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
|
|
|
|
Generic and Indexed Programming [electronic resource] / edited by Jeremy Gibbons.
by Gibbons, Jeremy [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
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot.
by Blache, Philippe [editor.] | Stabler, Edward [editor.] | Busquets, Joan [editor.] | Moot, Richard [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
|
|
|
|
Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings / edited by Giorgio Delzanno, Igor Potapov.
by Delzanno, Giorgio [editor.] | Potapov, Igor [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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / edited by Francesca Rossi, Alexis Tsoukias.
by Rossi, Francesca [editor.] | Tsoukias, Alexis [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
|
|
|
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / edited by Francesco Logozzo, Manuel Fähndrich.
by Logozzo, Francesco [editor.] | Fähndrich, Manuel [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
|
