Fundamentals of computation theory
: 11th international symposium ; proceedings / FCT '97, Kraków, Poland, September 1 - 3, 1997. Bogdan S. Chlebus ; Ludwik Czaja (ed.). - Berlin : Springer, 1997. - XI, 474 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1279)
ISBN 978-3-540-63386-0 / 3-540-63386-3 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Fundamentals of computation theory
: 8th international conference ; proceedings / FCT '91, Gosen, Germany, September 9 - 13, 1991. L. Budach (ed.). - Berlin : Springer, 1991. - XII, 426 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 529)
ISBN 978-3-540-54458-6 / 3-540-54458-5 kart. : DM 61.00
Literaturangaben
Quelle: DNB
Fundamentals of computation theory
: 9th international conference ; proceedings / FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.). - Berlin : Springer, 1993. - IX, 471 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 710)
ISBN 978-3-540-57163-6 / 3-540-57163-9 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Casti, John L.: Die grossen Fünf
: mathematische Theorien, die unser Jahrhundert prägten / John L. Casti. Aus dem Amerikan. von Gisela Menzel und Benno Zimmermann. - Basel : Birkhäuser, 1996. - 217 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-7643-5338-4 / 3-7643-5338-4 Pp. : DM 68.00, sfr 58.00, S 496.40
Literaturverz. S. 203 - 209
Quelle: DNB
Logical approaches to computational barriers
: proceedings / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006. Arnold Beckmann ... (ed.). - Berlin : Springer, 2006. - Online-Ressoruce - (Lecture notes in computer science; 3988)
ISBN 978-3-540-35468-0
Lizenzpflichtig
Quelle: DNB
Logic and computational complexity
: selected papers / International Workshop LCC '94, Indianapolis, IN, USA, October 13 - 16, 1994. Daniel Leivant (ed.). - Berlin : Springer, 1995. - VIII, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 960)
ISBN 978-3-540-60178-4 / 3-540-60178-3 kart. : DM 102.00
Literaturangaben
Quelle: DNB
Logic and theory of algorithms
: proceedings / 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 - 20, 2008. Arnold Beckmann ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5028)
ISBN 978-3-540-69407-6
Lizenzpflichtig
Quelle: DNB
Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ; Henk W. Zeevat (ed.). - Berlin : Springer, 2007. - XII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75143-4 / 3-540-75143-2 kart. : EUR 48.15 (freier Pr.), sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75144-1
Lizenzpflichtig
Quelle: DNB
Logic, language information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ; Ruy de Queiroz (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4576)
ISBN 978-3-540-73443-7 / 3-540-73443-0 kart. : EUR 55.64 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
