hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Berechnungstheorie
43 Treffer
Seite < 1 2 3 4 5 >
Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Seite < 1 2 3 4 5 >
Projekte . Kooperationen
Advertorial