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.

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

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

Word Problems
- 1st Edition
- Volume 71
- April 1, 2000
- Lev D. Beklemishev
- English

A Deductive Theory of Space and Time
- 1st Edition
- Volume 45
- April 1, 2000
- Lev D. Beklemishev
- English

Foundational Studies
- 1st Edition
- Volume 93B
- April 1, 2000
- Lev D. Beklemishev
- English

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

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

Proceedings of the Second Scandinavian Logic Symposium
- 1st Edition
- Volume 63
- April 1, 2000
- Lev D. Beklemishev
- English

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

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