Ihre Suche nach "computability" ergab 14 Treffer

Ansicht:
George Tourlakis: Computability, Buch

George Tourlakis
Computability

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathema…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,33*
Artikel ist im Warenkorb
Merlin Carl: Ordinal Computability, Buch

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*
Artikel ist im Warenkorb
Rod Downey: Computability and Complexity, Buch

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*
Artikel ist im Warenkorb
Dusko Pavlovic: Programs as Diagrams, Buch

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 90,66*
Artikel ist im Warenkorb
: Unity of Logic and Computation, Buch

Unity of Logic and Computation

Lecture Notes in Computer Science -Band 13967

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24 28, 2023. The 23 full papers and 1…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 71,19*
Artikel ist im Warenkorb
: Twenty Years of Theoretical and Practical Synergies, Buch

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*
Artikel ist im Warenkorb
Bogdan Adamczyk: Principles of Electromagnetic Compatibility, Buch

Bogdan Adamczyk
Principles of Electromagnetic Compatibility

Understand both the theory and practice of electromagnetic compatibility with this groundbreaking textbook. Electromagnetic compatibility (EMC), the ability of a device or system to maintain its operatio…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 171,13*
Artikel ist im Warenkorb
Weili Guan: Graph Learning for Fashion Compatibility Modeling, Buch

Weili Guan
Graph Learning for Fashion Compatibility Modeling

Synthesis Lectures on Information Concepts, Retrieval, and Services

This book sheds light on state-of-the-art theories for more challenging outfit compatibility modeling scenarios. In particular, this book presents several cutting-edge graph learning techniques that can b…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
: Composability, Comprehensibility and Correctness of Working Software, Buch

Composability, Comprehensibility and Correctness of Working Software

Lecture Notes in Computer Science -Band 11950

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were c…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
Ho-Tan-Phat Phan: Global Comparability of Financial Reporting Under IFRS, Buch

Ho-Tan-Phat Phan
Global Comparability of Financial Reporting Under IFRS

SIDREA Series in Accounting and Business Administration

The globalization of financial markets worldwide has progressively pushed toward simultaneous globalization of accounting information. Thus, during the last 50 years, categories of preparers, users, and r…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 142,37*
Artikel ist im Warenkorb
Carl Mummert: Reverse Mathematics, Buch

Carl Mummert
Reverse Mathematics

Theory and Applications of Computability

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a com…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,33*
Artikel ist im Warenkorb
Dossé-Via Trenou: The Essential Signs & Skymates (Abridged Edition), Buch

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 ab 6.8.2024.
Buch
EUR 22,94*
Artikel ist im Warenkorb
Kenneth J. Supowit: Algorithms for Constructing Computably Enumerable Sets, Buch

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*
Artikel ist im Warenkorb
Gilson Antonio Giraldi: Deep Learning for Fluid Simulation and Animation, Buch

Gilson Antonio Giraldi
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*
Artikel ist im Warenkorb
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.