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

WORD PROBLEMS II
- 1st Edition
- Volume 95
- Lev D. Beklemishev
- English

Generalized Recursion Theory
- 1st Edition
- Volume 79
- Lev D. Beklemishev
- English

The Theory of Semisets
- 1st Edition
- Volume 70
- Lev D. Beklemishev
- English

Logic Colloquium '78, Proceedings of the colloquium held in Mons
- 1st Edition
- Volume 97
- Lev D. Beklemishev
- English

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

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

Intuitionistic Logic Model Theory and Forcing
- 1st Edition
- Volume 54
- Lev D. Beklemishev
- English

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

Constructive Order Types
- 1st Edition
- Volume 56
- Lev D. Beklemishev
- English