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.

Aspects of Inductive Logic
- 1st Edition
- Volume 43
- Lev D. Beklemishev
- English

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

Introduction to the Theory of Finite Automata
- 1st Edition
- Volume 38
- Lev D. Beklemishev
- English

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
- 1st Edition
- Volume 59
- Lev D. Beklemishev
- English

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
- 1st Edition
- Volume 74
- Lev D. Beklemishev
- English

Logic Colloquium '77
- 1st Edition
- Volume 96
- Lev D. Beklemishev
- English

SET THEORY
- 1st Edition
- Volume 53
- Lev D. Beklemishev
- English

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

Elementary Induction on Abstract Structures
- 1st Edition
- Volume 77
- Lev D. Beklemishev
- English

Truth, Syntax and Modality
- 1st Edition
- Volume 68
- Lev D. Beklemishev
- English