Theory and practice of computer science
: proceedings / SOFSEM 2009, 35th Conference on Current Trends in Theory and Practice of Computer Science Špindler°uv Mlýn, Czech Republic, January 24 - 30, 2009. Mogens Nielsen ... (ed.). - Berlin : Springer, 2009. - Online-Ressource - (Lecture notes in computer science; 5404)
ISBN 978-3-540-95891-8
Lizenzpflichtig
Quelle: DNB
Theory of computing and systems
: proceedings / ISTCS '92, Israel symposium, Haifa, Israel, May 27 - 28, 1992. D. Dolev ... (ed.). - Berlin : Springer, 1992. - 220 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 601)
ISBN 978-3-540-55553-7 / 3-540-55553-6 kart. : DM 52.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 14th international conference ; proceedings / TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. C. R. Ramakrishnan ; Jakob Rehof (ed.). - Berlin : Springer, 2008. - XVI, 518 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4963)
ISBN 978-3-540-78799-0 kart. : EUR 68.48 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 14th international conference ; proceedings / TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. C. R. Ramakrishnan ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4963)
ISBN 978-3-540-78800-3
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007 ... Orna Grumberg ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4424)
ISBN 978-3-540-71209-1
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Orna Grumberg ; Michael Huth (ed.). - Berlin : Springer, 2007. - XX, 738 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4424)
ISBN 978-3-540-71208-4 / 3-540-71208-9 kart. : EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Trends in theoretical informatics
/ [Österreichische Computer-Gesellschaft]. Rudolf Albrecht ; Heinrich Herre (Hrsg.). - Wien : Oldenbourg, 1996. - 234 S. : graph. Darst.; 24 cm - (Schriftenreihe der Österreichischen Computer-Gesellschaft; Bd. 89)
ISBN 978-3-486-23809-9 / 3-486-23809-4 kart. : DM 39.80
Literaturangaben
Quelle: DNB
Unconventional computation
: 7th international conference ; proceedings / UC 2008, Vienna, Austria, August 25 - 28, 2008. Christian S. Calude ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5204)
ISBN 978-3-540-85194-3
Lizenzpflichtig
Quelle: DNB
Unconventional computation
: 6th international conference ; proceedings / UC 2007, Kingston, Canada, August 13 - 17, 2007. Selim G. Akl ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4618)
ISBN 978-3-540-73554-0
Lizenzpflichtig
Quelle: DNB
Unconventional computation
: 5th international conference ; proceedings / UC 2006, York, UK, September 4 - 8, 2006. Cristian S. Calude ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4135)
ISBN 978-3-540-38594-3
Lizenzpflichtig
Quelle: DNB
