|
|
|
Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / edited by Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide.
by Dediu, Adrian Horia [editor.] | Ionescu, Armand Mihai [editor.] | Martin-Vide, Carlos [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
|
|
|
|
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók.
by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Zsók, Viktoria [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
|
|
|
|
Natural Language Processing - IJCNLP 2004 [electronic resource] : First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers / edited by Keh-Yih Su, Jun'ichi Tsujii, Jong-Hyeok Lee, Oi Yee Kwong.
by Su, Keh-Yih [editor.] | Tsujii, Jun'ichi [editor.] | Lee, Jong-Hyeok [editor.] | Kwong, Oi Yee [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
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / edited by Jérôme Durand-Lose, Maurice Margenstern.
by Durand-Lose, Jérôme [editor.] | Margenstern, Maurice [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.
by Kuncak, Viktor [editor.] | Rybalchenko, Andrey [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings / edited by Dang Van Hung, Martin Wirsing.
by Hung, Dang Van [editor.] | Wirsing, Martin [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
|
|
|
|
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings / edited by María Alpuente, Germán Vidal-Oriola.
by Alpuente, María [editor.] | Vidal-Oriola, Germán [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
|
|
|
|
Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings / edited by Filip Murlak, Piotr Sankowski.
by Murlak, Filip [editor.] | Sankowski, Piotr [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
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers / edited by Thomas Sturm, Christoph Zengler.
by Sturm, Thomas [editor.] | Zengler, Christoph [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
|
|
|
|
Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
by Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Reisig, Wolfgang [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
|
|
|
|
KI 2014: Advances in Artificial Intelligence [electronic resource] : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings / edited by Carsten Lutz, Michael Thielscher.
by Lutz, Carsten [editor.] | Thielscher, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Vigano.
by Veanes, Margus [editor.] | Vigano, Luca [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers / edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel.
by Bouchou-Markhoff, Béatrice [editor.] | Caron, Pascal [editor.] | Champarnaud, Jean-Marc [editor.] | Maurel, Denis [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
|
|
|
|
Transactions on Rough Sets XX [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni.
by Inoue, Katsumi [editor.] | Satoh, Ken [editor.] | Toni, Francesca [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
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
by Hoos, Holger H [editor.] | Mitchell, David G [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
|
|
|
|
Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.
by Miguel, Ian [editor.] | Tuml, Wheeler [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria.
by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Modeling and Using Context [electronic resource] : 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings / edited by Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu.
by Kokinov, Boicho [editor.] | Richardson, Daniel C [editor.] | Roth-Berghofer, Thomas R [editor.] | Vieu, Laure [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
|
|
|
|
Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Rajiv Gupta.
by Gupta, Rajiv [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
|
