Computability – alle Bücher

André Curtis-Trudel
Computability and Computational Explanation

This Element is an introduction to classical computability theory and scientific efforts to use computability-theoretic notions to explain empirical phenomena. It is written for advanced undergraduates an…

lieferbar ab 28.2.2026.

Buch

André Curtis-Trudel
Computability and Computational Explanation

This Element is an introduction to classical computability theory and scientific efforts to use computability-theoretic notions to explain empirical phenomena. It is written for advanced undergraduates an…

lieferbar ab 28.2.2026.

Buch

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

.- Invited Papers..- The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition..- Effective second countability in computable analysis..- Towards a Computational Quantum Logic: An …

lieferbar innerhalb 2-3 Wochen

Buch

Michel Mardiguian
ElectroMagnetic Compatibility

This textbook describes in accessible, straightforward terms the conducted and radiated mechanisms by which Electromagnetic Interference (EMI) sources can compromise or disable a range of critical devices…

lieferbar ab 7.1.2026.

Buch

Nora Dabas
The Shape of Compatibility

Mira moves to Dubai from Texas to grow her abaya brand.Zayd is the CEO of a resort empire, fit, focused and every inch the image of refined Arabian prestige.They notice each other at a bookstore-café, and…

lieferbar innerhalb 2-3 Wochen

Buch

Weili Guan, Xuemeng Song, Dongliang Zhou, Liqiang Nie
Advanced Multimodal Compatibility Modeling and Recommendation

This Third Edition sheds light on state-of-the-art theories and practices in multimodal compatibility modeling and recommendation, offering comprehensive insights into this evolving field. This topic, and…

lieferbar innerhalb 2-3 Wochen

Buch

Rodney G. Downey, Alexander Melnikov
Computable Structure Theory

Part I Foundation of Computability.- 1. Introduction.- 2. Basics of Computability Theory.- 3. Computable Algebraic Structures.- 4. Computable Separable Spaces.- Part II Computable Duality.- 5. Computable …

lieferbar innerhalb 2-3 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

1 Historic Notes.- 2 Formal Systems.- 3 Foundations of Mathematics.- 4 Peoof Thory.- 5 Computability Theory.- 6 Algorithmic Information Theory.- Model Theory.

lieferbar innerhalb 2-3 Wochen

Buch

Lucien Sina
Theory of Computation

Theory of Computation - Clear, Concise, and Practical This book guides you step by step through the fundamentals of formal languages and computability: from finite automata to pushdown automata and contex…

lieferbar innerhalb 2-3 Wochen

Buch

Walter Carnielli on Reasoning, Paraconsistency, and Probability

Outstanding Contributions to Logic - Band 32

This book is a collection of essays and research articles honoring Walter Carnielli and his work. It brings together contributions from renowned scholars from all over the world whose work draws on or is …

lieferbar ab 18.3.2026.

Buch

Lucien Sina
Logic: Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives

This groundbreaking textbook presents a new approach to the study of logic by combining classical foundations with modern information-theoretic perspectives. Following a detailed introduction, it offers a…

lieferbar innerhalb 2-3 Wochen

Buch