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.

Provability, Computability and Reflection
- 1st Edition
- Volume 25
- April 1, 2000
- Lev D. Beklemishev
- English

The Collected Papers of Gerhard Gentzen
- 1st Edition
- Volume 55
- April 1, 2000
- Lev D. Beklemishev
- English

Intuitionism An Introduction
- 1st Edition
- Volume 41
- April 1, 2000
- Lev D. Beklemishev
- English

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
- 1st Edition
- Volume 99
- April 1, 2000
- Lev D. Beklemishev
- English

Lincos
Design of a Language for Cosmic Intercourse- 1st Edition
- Volume 28
- April 1, 2000
- Lev D. Beklemishev
- English

Provability, Computability and Reflection
- 1st Edition
- Volume 15
- April 1, 2000
- Lev D. Beklemishev
- English

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

Provability, Computability and Reflection
- 1st Edition
- Volume 3
- April 1, 2000
- Lev D. Beklemishev
- English

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

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