Bild von Computation Theory and Logic

Computation Theory and Logic

Geben Sie eine Produktbewertung ab.

Autor: Egon (Hrsg.) Börger

CHF 69.00

ISBN: 978-3-540-18170-5

Einband: Kartonierter Einband (Kt)

Verfügbarkeit: Folgt in ca. 5 Arbeitstagen

Menge:

+ -

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.

Autor	Börger, Egon (Hrsg.)
Verlag	Springer Berlin Heidelberg
Einband	Kartonierter Einband (Kt)
Erscheinungsjahr	1987
Seitenangabe	460 S.
Lieferstatus	Folgt in ca. 5 Arbeitstagen
Ausgabekennzeichen	Englisch
Abbildungen	Paperback
Masse	H23.5 cm x B15.5 cm x D2.5 cm 692 g
Auflage	1987

Weitere Titel von Egon (Hrsg.) Börger

Cover-Bild zu Structures of Computing (eBook)

Structures of Computing (eBook) Springer International Publishing

PDF | 2024

CHF

59.00

Cover-Bild zu Modeling Companion for Software Practitioners (eBook)

Modeling Companion for Software Practitioners (eBo Springer Berlin Heidelberg

PDF | 2018

CHF

77.00

Cover-Bild zu Berechenbarkeit, Komplexität, Logik (eBook)

Berechenbarkeit, Komplexität, Logik (eBook) Vieweg+Teubner Verlag

PDF | 2013

CHF

50.00

Cover-Bild zu Berechenbarkeit, Komplexität, Logik (eBook)

Berechenbarkeit, Komplexität, Logik (eBook) Vieweg+Teubner Verlag

PDF | 2013

CHF

47.70

Cover-Bild zu Berechenbarkeit Komplexität Logik (eBook)

Berechenbarkeit Komplexität Logik (eBook) Vieweg+Teubner Verlag

PDF | 2013

CHF

47.70

Cover-Bild zu Architecture Design and Validation Methods (eBook)

Architecture Design and Validation Methods (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Abstract State Machines (eBook)

Abstract State Machines (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Subject-Oriented Business Process Management (eBook)

Subject-Oriented Business Process Management (eBoo Springer

PDF | 2012

CHF

66.50

Cover-Bild zu Java and the Java Virtual Machine (eBook)

Java and the Java Virtual Machine (eBook) Springer Berlin Heidelberg

PDF | 2012

CHF

59.00

Cover-Bild zu Architecture Design and Validation Methods

Architecture Design and Validation Methods Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2012

CHF

69.00

Cover-Bild zu Advances in Software Engineering (eBook)

Advances in Software Engineering (eBook) Springer Berlin Heidelberg

PDF | 2008

CHF

59.00

Cover-Bild zu Abstract State Machines, B and Z (eBook)

Abstract State Machines, B and Z (eBook) Springer Berlin Heidelberg

PDF | 2008

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2006

CHF

59.00

Cover-Bild zu Computation Theory and Logic (eBook)

Computation Theory and Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Formal Methods for Industrial Applications (eBook)

Formal Methods for Industrial Applications (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

Cover-Bild zu CSL '87 (eBook)

CSL '87 (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu CSL '89 (eBook)

CSL '89 (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu CSL'88 (eBook)

CSL'88 (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Computer Science Logic (eBook)

Computer Science Logic (eBook) Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

Cover-Bild zu Abstract State Machines 2003: Advances in Theory and Practice (eBook)

Abstract State Machines 2003: Advances in Theory a Springer Berlin Heidelberg

PDF | 2003

CHF

59.00

Cover-Bild zu Berechenbarkeit Komplexität Logik

Berechenbarkeit Komplexität Logik Vieweg+Teubner Verlag

Kartonierter Einband (Kt) | 1992

CHF

65.00

Cover-Bild zu Computation Theory and Logic

Computation Theory and Logic Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 1987

CHF

69.00