2017, ISBN: 9783662479919
[ED: Buch], [PU: Springer Berlin Heidelberg], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations… Mehr…
booklooker.de |
2015, ISBN: 9783662479919
[ED: Hardcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Higher-Order Computability | Dag Normann (u. a.) | Buch | Theory and Applications of Computability | HC runder Rücken kaschiert | XVI | Englisch | 2015 | Springer Berlin | EAN 9783662479919 - gebunden oder broschiert
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Mehr…
booklooker.de |
Higher-Order Computability / Dag Normann (u. a.) / Buch / Theory and Applications of Computability / HC runder Rücken kaschiert / XVI / Englisch / 2015 / Springer Berlin / EAN 9783662479919 - gebunden oder broschiert
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Mehr…
booklooker.de |
Higher-Order Computability (Theory and Applications of Computability) Hardcover - gebunden oder broschiert
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 8.97 Details... |
2017, ISBN: 9783662479919
[ED: Buch], [PU: Springer Berlin Heidelberg], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations… Mehr…
2015, ISBN: 9783662479919
[ED: Hardcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Mehr…
Higher-Order Computability | Dag Normann (u. a.) | Buch | Theory and Applications of Computability | HC runder Rücken kaschiert | XVI | Englisch | 2015 | Springer Berlin | EAN 9783662479919 - gebunden oder broschiert
2015
ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Mehr…
Higher-Order Computability / Dag Normann (u. a.) / Buch / Theory and Applications of Computability / HC runder Rücken kaschiert / XVI / Englisch / 2015 / Springer Berlin / EAN 9783662479919 - gebunden oder broschiert
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Mehr…
Higher-Order Computability (Theory and Applications of Computability) Hardcover - gebunden oder broschiert
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Higher-Order Computability (Theory and Applications of Computability)
EAN (ISBN-13): 9783662479919
ISBN (ISBN-10): 3662479915
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer
Buch in der Datenbank seit 2016-01-26T22:59:16+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-10-26T19:01:20+02:00 (Vienna)
ISBN/EAN: 9783662479919
ISBN - alternative Schreibweisen:
3-662-47991-5, 978-3-662-47991-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: john norman, longley john, norm longley, dag normann
Titel des Buches: higher order computability
Daten vom Verlag:
Autor/in: John Longley; Dag Normann
Titel: Theory and Applications of Computability; Higher-Order Computability
Verlag: Springer; Springer Berlin
571 Seiten
Erscheinungsjahr: 2015-11-17
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Gewicht: 9,989 kg
Sprache: Englisch
171,19 € (DE)
175,99 € (AT)
189,00 CHF (CH)
POD
XVI, 571 p. 2 illus. in color.
BB; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Mathematik; Informatik; Computability Models; Computability Theory; Intensional Models; Kleene Computability; Lambda Algebras; Mathematics of Computing; Theory of Computation; Mathematics of Computing; Mathematik für Informatiker; EA; BC
Introduction and Motivation.- Historical Survey.- Theory of Computability Models.- Theory of Lambda Algebras.- Kleene Computability in a Total Setting.- Nested Sequential Procedures.- PCF and Its Models.- Total Continuous Functionals.- Hereditarily Effective Operations.- Partial Continuous Functionals.- Sequentially Realizable Functionals.- Some Intensional Models.- Related and Future Work.- References.- Index.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783662517116 Higher-Order Computability (Theory and Applications of Computability) (Longley, John, Normann, Dag)
< zum Archiv...