Computer science - Congresses. - Mathematics

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (Language materials, printed)

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2003 = 28th International symposium / by: (Language materials, printed)

Topics in the theory of computation = selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / by: (Language materials, printed)

Probability Theory and Stochastic Processes.

Symbolic and Algebraic Manipulation.

Theory of Computation.

Computer programming

Computer science

Algorithms.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.

Artificial Intelligence (incl. Robotics)

Stochastic approximation

Machine theory

Software Engineering.

Algorithm Analysis and Problem Complexity.

Algebraic logic

Computer Science.

Probability and Statistics in Computer Science.

Computer logic

Algorithms

Discrete Mathematics in Computer Science.

Computational complexity

Computation by Abstract Devices.