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 53
- Lev D. Beklemishev
- English

Formal Systems and Recursive Functions
- 1st Edition
- Volume 40
- Lev D. Beklemishev
- English


Constructible Sets with Applications
- 1st Edition
- Volume 57
- Lev D. Beklemishev
- English

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

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

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

The Problem of Inductive Logic
- 1st Edition
- Volume 51
- Lev D. Beklemishev
- English

A Transfinite Type Theory with Type Variables
- 1st Edition
- Volume 37
- Lev D. Beklemishev
- English

Studies in Logic and the Foundations of Mathematics
- 1st Edition
- Volume 42
- Lev D. Beklemishev
- English