Computer programs - Congresses. - Mathematics

Mathematics of program construction = 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings / by: (Electronic resources)

Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (Electronic resources)

Software Engineering.

Artificial Intelligence (incl. Robotics)

Math Applications in Computer Science.

Discrete Mathematics in Computer Science.

Computer Science.

Computer programming- Mathematics

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Antibodies.

Computer programs- Mathematics