Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

LATIN 2024: Theoretical Informatics - Proceedings of the 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024 (Lecture Notes in Computer Science, Band 14578)

Ein umfassendes Sammelwerk aus dem 16. Lateinamerikanischen Symposium über theoretische Informatik in Puerto Varas; präsentiert aktuelle Forschung zu Algorithmen, Logik und formalen Modellen mit detaillierten Beweisen und Fallstudien.

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability

(9783642060526)

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

(9783642058806)

The Making of a New Science: A Personal Journey Through the Early Years of Theoretical Computer Science

(9783030096793) | The Making of

The Unknowable

(9789814021722 / biography) | The Unknowable

Tierzytogenetik: Methoden und Praxis