Free Lectures, monographs Books

Искусство тестирования программ

Report Writing for Data Science in R

Методы автоматизированной обработки текстов

Основания программирования

Logics for Computer Science

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

Introduction to Formal Language Theory

Simply SCHEME: introducing computer science

LNCS-titles.html

Categories and computer science

Linear logic in computer science

Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project (McGraw-Hill advanced computer science series)

Introduction to formal language theory

Programming from First Principles (Prentice-Hall International series in computer science)

Theoretical Computer Science: Essays in Memory of Shimon Even

Architecting Dependable Systems II

The Vienna Development Method: The Meta-Language

Logic for computer science: foundations of automatic theorem proving

Theoretical computer science

Selected papers on computer science

Logic in computer science: modelling and reasoning about systems

Foundations of computer science

Logic in computer science: modelling and reasoning about systems

Schaum's outline of principles of computer science

Evaluation of series of rational numbers (article)

Computational Science and Its Applications — ICCSA 2003: International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings

Digital signal processing: a computer science perspective

The computer science of TeX and LaTeX