- 5 Ergebnisse
Kleinster Preis: € 120,99, größter Preis: € 209,70, Mittelwert: € 160,57
1
Higher-Order Computability - Dag Normann
Bestellen
bei booklooker.de
€ 171,19
Versand: € 4,501
Bestellengesponserter Link
Dag Normann:

Higher-Order Computability - neues Buch

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…

Versandkosten:Versand nach Deutschland. (EUR 4.50) AHA-BUCH GmbH
2
Higher-Order Computability - Longley, John;Normann, Dag
Bestellen
bei booklooker.de
€ 120,99
Versand: € 0,001
Bestellengesponserter Link

Longley, John;Normann, Dag:

Higher-Order Computability - gebunden oder broschiert

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…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
3
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 - Normann, Dag
Bestellen
bei booklooker.de
€ 147,10
Versand: € 0,001
Bestellengesponserter Link
Normann, Dag:
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…

Versandkosten:Versandkostenfrei. (EUR 0.00) preigu
4
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 - Normann, Dag
Bestellen
bei booklooker.de
€ 153,86
Versand: € 0,001
Bestellengesponserter Link
Normann, Dag:
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…

Versandkosten:Versandkostenfrei. (EUR 0.00) Buchbär
5
Higher-Order Computability (Theory and Applications of Computability) Hardcover - Longley, John
Bestellen
bei AbeBooks.de
€ 209,70
Versand: € 8,971
Bestellengesponserter Link
Longley, John", "Normann, Dag":
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

NEW BOOK. Versandkosten: EUR 8.97 booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)]

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Higher-Order Computability (Theory and Applications of Computability)

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages. In contrast to the well-known situation for first-order functions, it turns out that at higher types there are several different notions of computability competing for our attention, and each of these has given rise to its own strand of research. In this book, the authors offer an integrated treatment that draws together many of these strands within a unifying framework, revealing not only the range of possible computability concepts but the relationships between them. The book will serve as an ideal introduction to the field for beginning graduate students, as well as a reference for advanced researchers

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...