Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
компиляция программ
Связанные издания:
Architecture of Computing Systems: Proc./34th International Conference, ARCS 2021, Virtual Event, June 2021
Coordination Models and Languages: Proc./23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Fundamental Approaches to Software Engineering: Proc./24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Languages and Compilers for Parallel Computing: Revised Selected Papers/33rd International Workshop, LCPC 2020, Virtual Event, October 2020
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021
OpenMP: Enabling Massive Node-Level Parallelism: Proc./17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 2021
Programming and Performance Visualization Tools: Revised Selected Papers/ International Workshops, ESPT 2017 and VPA 2017, Denver,CO,USA, November 2017 and ESPT 2018 and VPA 2018, Dallas,TX,USA, November 2018
Programming Languages and Systems: Proc./19th Asian Symposium, APLAS 2021, Chicago,IL,USA, October 2021
Programming Languages and Systems: Proc./28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Programming Languages and Systems: Proc./30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Static Analysis: Proc./28th International Symposium, SAS 2021, CHicago,IL,USA, October 2021
Trends in Functional Programming: Revised Selected Papers/22nd International Symposium, TFP 2021, Virtual Event, February 2021
Исследование путей и реализация на основе ДССП целевой компиляции программ для встраиваемых микропроцессоров