Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
системный дизайн
Связанные издания:
Analytical and Stochastic Modeling Techniques and Applications: Proc./18th International Conference, ASMTA 2011, Venice, Italy, June 2011
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Architecture of Computing Systems - ARCS 2015: Proc./28th International Conference, Porto, Portugal, March 2015
Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/20th International Workshop, PATMOS 2010, Grenoble, France, September 2010
The Next Wave of Sociotechnical Design: Proc./16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 2021
Transactions on Petri Nets and Other Models of Concurrency V