Computability – alle Bücher

Ihre Suche nach "computability" ergab 10 Treffer

Merlin Carl
Ordinal Computability

De Gruyter Series in Logic and Its Applications, 9

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recogni…

sofort lieferbar

Buch

EUR 122,78*

Rod Downey
Computability and Complexity

Undergraduate Topics in Computer Science

This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66*

Dag Westerstahl
Foundations of Logic - Completeness, Incompleteness, Computability

A comprehensive introduction to logic's central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleten…

lieferbar in mind. 4 Wochen

Buch

EUR 55,64*

Dusko Pavlovic
Programs as Diagrams

Theory and Applications of Computability

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/refer…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Twenty Years of Theoretical and Practical Synergies

Lecture Notes in Computer Science -Band 14773

This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8 12, 2024 The 26 full papers and 2 short pape…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Friedrich Otto
Restarting Automata

Theory and Applications of Computability

The subject of this monograph are restarting automata. The definition of these automata is motivated by the linguistic technique of analysis by reduction. This technique, which can be used to analyze sent…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Dossé-Via Trenou,
The Essential Signs & Skymates (Abridged Edition)

The abridged paperback edition of Signs & Skymates is your ultimate guide to the astrological pairings of the zodiac—including all twelve signs and a brand-new foreword by the author—from star astrologer …

lieferbar innerhalb 1-2 Wochen

Buch

EUR 22,44*

Reachability Problems

Lecture Notes in Computer Science -Band 15050

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25 27, 2024. The 13 full papers include…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Kenneth J. Supowit
Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scient…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Gilson Antonio Giraldi, Leandro Tavares Da Silva, Antonio Lopes Apolinário Jr., Liliane Rodrigues de Almeida
Deep Learning for Fluid Simulation and Animation

SpringerBriefs in Mathematics

This book is an introduction to the use of machine learning and data-driven approaches in fluid simulation and animation, as an alternative to traditional modeling techniques based on partial differential…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 49,28*

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.