Bretz, Manfred: Algorithmen und Berechenbarkeit
: eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik / Manfred Bretz. - Braunschweig : Vieweg, 1992. - 173 S.; 23 cm
ISBN 978-3-528-05233-1 / 3-528-05233-3 kart. : DM 34.00
Quelle: DNB
Automata implementation
: revised papers / Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18 - 20, 1997. Derick Wood ; Sheng Yu (ed.). - Berlin : Springer, 1998. - VIII, 251 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1436)
ISBN 978-3-540-64694-5 / 3-540-64694-9 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Sander, Peter: Automaten, Sprachen, Berechenbarkeit
/ von Peter Sander, Wolffried Stucky und Rudolf Herschel. - Stuttgart : Teubner, 1992. - 267 S. : graph. Darst.; 23 cm - (Grundkurs angewandte Informatik; 4)
ISBN 978-3-519-02937-3 / 3-519-02937-5 kart. : DM 34.00
Quelle: DNB
Sander, Peter: Automaten, Sprachen, Berechenbarkeit
/ von Peter Sander, Wolffried Stucky und Rudolf Herschel. - 2., durchges. Aufl. - Stuttgart : Teubner, 1995. - 267 S. : graph. Darst.; 23 cm - (Grundkurs angewandte Informatik; 4)
ISBN 978-3-519-12937-0 / 3-519-12937-X kart. : DM 36.00
Quelle: DNB
Börger, Egon: Berechenbarkeit, Komplexität, Logik
: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität / Egon Börger. - 3., verb. und erw. Aufl. - Braunschweig : Vieweg, 1992. - XX, 499 S. : graph. Darst.; 23 cm
ISBN 978-3-528-28928-7 / 3-528-28928-7 kart. : DM 72.00
Literaturverz. S. 423 - 451
Quelle: DNB
Bridges, Douglas S.: Computability
: a mathematical sketchbook / Douglas S. Bridges. - New York : Springer, 1994. - IX, 178 S. : graph. Darst.; 25 cm - (Graduate texts in mathematics; 146)
ISBN 978-3-540-94174-3 / 3-540-94174-6 Pp. : DM 62.00
Literaturverz. S. 173 - 175
Quelle: DNB
Computability and complexity in analysis
: 4th international workshop ; selected papers / CCA 2000, Swansea, UK, September 17 - 19, 2000. J. Blanck ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2064)
ISBN 978-3-540-45335-2
Lizenzpflichtig
Quelle: DNB
Computation and logic in the real world
: proceedings / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18 - 23, 2007. S. Barry Cooper ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4497)
ISBN 978-3-540-73001-9
Lizenzpflichtig
Quelle: DNB
Computing and combinatorics
: 10th annual international conference ; proceedings / COCOON 2004, Jeju Island, Korea, August 17 - 20, 2004. Kyung-Yong Chwa ; J. Ian Munro (ed.). - Berlin : Springer, 2004. - XIII, 474 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3106)
ISBN 978-3-540-22856-1 / 3-540-22856-X kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computing and combinatorics
: 9th annual international conference ; proceedings / COCOON 2003, Big Sky, MT, USA, July 25 - 28, 2003. Tandy Warnow ; Binhai Zhu (ed.). - Berlin : Springer, 2003. - XIII, 560 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2697)
ISBN 978-3-540-40534-4 / 3-540-40534-8 kart. : EUR 70.62
Literaturangaben
Quelle: DNB
