Computer programming - Congresses. - Mathematics

Mathematics of program construction10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings / by: (書目-電子資源)

Mathematics of program construction11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (書目-電子資源)

Mathematics of program construction12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings / by: (書目-電子資源)

Mathematics of program construction13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings / by: (書目-電子資源)

Modern problems in constructionselected papers from MPC 2021 / by: (書目-電子資源)

Mathematical Logic and Formal Languages.

Software Engineering.

Natural Language Processing (NLP)

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Antibodies.

Artificial Intelligence (incl. Robotics)

Building Construction and Design.

Computer programming

Programming Languages, Compilers, Interpreters.

Environmental Engineering/Biotechnology.

Computer programs

Building Materials.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

System Performance and Evaluation.