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)

Software Engineering.

Algorithm Analysis and Problem Complexity.

Probability Theory and Stochastic Processes.

Symbolic and Algebraic Manipulation.

Algebraic logic

Theory of Computation.

Discrete Mathematics in Computer Science.

Computational complexity

Computer Science.

Machine theory

Computer programming

Computer science

Algorithms.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.

Computation by Abstract Devices.

Probability and Statistics in Computer Science.

Artificial Intelligence (incl. Robotics)

Computer logic

Stochastic approximation

Algorithms