Термин

Krayneva I. SoRuCom-2017: International Conference on the History of Informatics  //  # 11, 2017

Krayneva I., Shilov V. SoRuCom-23 – VI International Conference on the History of Computer Science  //  # 24, 2024

Mohagheghi M., Khademi A. Policy based interval iteration for probabilistic model checking  //  # 25, 2024

Shilov N. On the need of ontology for classification and navigation in the computer languages universe  //  # 13, 2018

Krayneva I., Shilov V. On the Creation of the First Computers in the USSR  //  # 24, 2024

Andrianov P., Mutilin V. Static Memory Consistency Constraints Checking  //  # 22, 2023

Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers  //  # 17, 2020

Krayneva I., Meriste M., Sanborn K. Enn Tyugu: a Deported Estonian and a Soviet Academician  //  # 21, 2022