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.

Proof Theory
- 1st Edition
- Volume 81
- Lev D. Beklemishev
- English

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

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

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

Languages with Expressions of Infinite Length
- 1st Edition
- Volume 36
- Lev D. Beklemishev
- English

Model Theory For Infinitary Logic
- 1st Edition
- Volume 62
- Lev D. Beklemishev
- English

Contributions to Non-Standard Analysis
- 1st Edition
- Volume 69
- Lev D. Beklemishev
- English

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

The Metamathematics of Algebraic Systems
- 1st Edition
- Volume 66
- Lev D. Beklemishev
- English

Computer Programming and Formal Systems
- 1st Edition
- Volume 26
- Lev D. Beklemishev
- English