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

Provability, Computability and Reflection
- 1st Edition
- Volume 25
- 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

Foundational Studies
- 1st Edition
- Volume 93B
- 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

Elements of Mathematical Logic
- 1st Edition
- Volume 48
- Lev D. Beklemishev
- English

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

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

An Algebraic Approach to Non-Classical Logics
- 1st Edition
- Volume 78
- Lev D. Beklemishev
- English

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