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.

The Axiom of Choice
- 1st Edition
- Volume 75
- Lev D. Beklemishev
- English

Logic, Methodology and Philosophy of Science III
- 1st Edition
- Volume 52
- Lev D. Beklemishev
- English

Logic in Algebraic Form
- 1st Edition
- Volume 72
- Lev D. Beklemishev
- English

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

Non-Classical Logics, Model Theory, And Computability
- 1st Edition
- Volume 89
- Lev D. Beklemishev
- English

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

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

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
- 1st Edition
- Volume 60
- 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