Books in Computer science
Books in Computer science
The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

Sets, Models and Recursion Theory
- 1st Edition
- Volume 46
- Lev D. Beklemishev
- English

LOGIC COLLOQUIUM '69
- 1st Edition
- Volume 61
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 23
- Lev D. Beklemishev
- English

The Collected Papers of Gerhard Gentzen
- 1st Edition
- Volume 55
- Lev D. Beklemishev
- English

Elementary Induction on Abstract Structures
- 1st Edition
- Volume 77
- Lev D. Beklemishev
- English

Algebra of Proofs
- 1st Edition
- Volume 88
- Lev D. Beklemishev
- English

A Deductive Theory of Space and Time
- 1st Edition
- Volume 45
- Lev D. Beklemishev
- English

Sentences Undecidable in Formalized Arithmetic
- 1st Edition
- Volume 10
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 15
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 14
- Lev D. Beklemishev
- English