Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
вычислительная модель
Связанные издания:
Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection: Proc./15th International Conference, PAAMS 2017, Porto, Portugal, June 2017
Algorithms for Sensor Systems: Revised Selected Papers/14th International Symposium on Algorithms and Experiments for Wireless Sesor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 2018
Algorithms for Sensor Systems: Revised Selected Papers/16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 2020
Brain-Inspired Computing: Revised Selected Papers/2nd International Workshop, BrainComp 2015, Cetraro, Italy, July 2015
Descriptional Complexity of Formal Systems: Proc./18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 2016
Formal Techniques for Distributed Objects, Components, and Systems: Proc./36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016
Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/46th International Workshop, WG 2020, Leeds, UK, June 2020
Implementation and Application of Automata: Proc./25th International Conference, CIAA 2021, Virtual Event, July 2021
Network and Parallel Computing: Proc./13th IFIP WG 10.3 International Conference, NPC 2016, Xi an, China, October 2016
Reachability Problems: Proc./15th International Conference, RP 2021, Liverpool, UK, October 2021
Spatial Cognition IX: Proc./International Conference, Spatial Cognition 2014, Bremen, Germany, September 2014
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges: Revised Selected Papers/6th International Workshop, STACOM 2015 Held as Conjunction with MICCAI 2015, Munich, Germany, October 2015
Unifying Theories of Programming: Revised Selected Papers/5th International Symposium, UTP 2014, Singapore, May, 2014
Логические и множественные вычисления в рамках парадигмы геометрической информатики
Применение вычислительных моделей в математическом обеспечении машинного проектирования
Система синтеза параллельных программ на основе вычислительных моделей с массивами