Logic, language, information and computation
: 15th international workshop ; proceedings / WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008. Wilfrid Hodges ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5110 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69937-8
Lizenzpflichtig
Quelle: DNB
Logic, language, information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4576)
ISBN 978-3-540-73445-1
Lizenzpflichtig
Quelle: DNB
New computational paradigms
: proceedings / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005. S. Barry Cooper ... (ed.). - Berlin : Springer, 2005. - XVII, 574 S. : graph. Darst., Kt.; 24 cm - (Lecture notes in computer science; Vol. 3526)
ISBN 978-3-540-26179-7 / 3-540-26179-6 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Deutsch, David: Die Physik der Welterkenntnis
: auf dem Weg zum universellen Verstehen / David Deutsch. Aus dem Engl. von Anita Ehlers. - Ungekürzte Ausg. - München : Dt. Taschenbuch-Verl., 2000. - 356 S. : Ill., graph. Darst.; 20 cm - (dtv; 33051)
ISBN 978-3-423-33051-0 / 3-423-33051-1 kart. : DM 29.50, EUR 15.08, S 215.00
Lizenz des Birkenhäuser-Verl., Basel, Boston, Berlin
Quelle: DNB
Proof and computation
: [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993] / ed. by Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1995. - 470 S. : graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 139)
ISBN 978-3-540-58581-7 / 3-540-58581-8 Pp. : DM 155.00
Literaturangaben
Quelle: DNB
Prospects for hardware foundations
: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)
ISBN 978-3-540-49254-2
Lizenzpflichtig
Quelle: DNB
Randomization and approximation techniques in computer science
: proceedings / International Workshop Random '97, Bologna, Italy, July 11 - 12, 1997. José Rolim (ed.). - Berlin : Springer, 1997. - VIII, 225 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1269)
ISBN 978-3-540-63248-1 / 3-540-63248-4 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Recent advances in formal languages and applications
: with 12 tables / Zoltan Esik .... - Berlin : Springer, 2006. - VIII, 373 S. : Ill., graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 25)
ISBN 978-3-540-33460-6 / 3-540-33460-2 Pp. : EUR 139.05 (freier Pr.), sfr 220.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Smith, Carl H.: A recursive introduction to the theory of computation
/ Carl H. Smith. - New York : Springer, 1994. - VIII, 148 S. : graph. Darst.; 25 cm - (Graduate texts in computer science)
ISBN 978-3-540-94332-7 / 3-540-94332-3 Pp. : DM 56.00
Quelle: DNB
Reliable implementation of real number algorithms
: theory and practice ; international seminar ; Dagstuhl Castle, Germany, January 8 - 13, 2006 ; revised papers / Peter Hertling ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5045)
ISBN 978-3-540-85521-7
Lizenzpflichtig
Quelle: DNB