Computer programming - Congresses. - Mathematics

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

Mathematics of program construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings / by: (Electronic resources)

Modern problems in construction = selected papers from MPC 2021 / by: (Electronic resources)

Mathematical Logic and Formal Languages.

Software Engineering.

Natural Language Processing (NLP)

Computer programs- Mathematics

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Antibodies.

Artificial Intelligence (incl. Robotics)

Building Construction and Design.

Programming Languages, Compilers, Interpreters.

Computer programming- Mathematics

Environmental Engineering/Biotechnology.

Building Materials.

Computer Science.

System Performance and Evaluation.

Math Applications in Computer Science.