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.

Set Theory
- 1st Edition
- Volume 76
- Lev D. Beklemishev
- English

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

Logic Colloquium '77
- 1st Edition
- Volume 96
- Lev D. Beklemishev
- English

Large Infinitary Languages
- 1st Edition
- Volume 83
- Lev D. Beklemishev
- English

SET THEORY
- 1st Edition
- Volume 86
- Lev D. Beklemishev
- English

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

Sets and Classes on The Work by Paul Bernays
- 1st Edition
- Volume 84
- Lev D. Beklemishev
- English

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

Foundational Studies Selected Works
- 1st Edition
- Volume 93A
- Lev D. Beklemishev
- English

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