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.
Sprache: Englisch
171,19 € (DE)
175,99 € (AT)
189,00 CHF (CH)
POD
XVI, 571 p. 2 illus. in color.
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Mathematik; Informatik; Computability Models; Computability Theory; Intensional Models; Kleene Computability; Lambda Algebras; 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.Valuable for researchers in mathematical logic and theoretical computer science Consolidates work carried out in this domain since the 1950s Asks what ‘computability’ means for data more complex than natural numbers
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...