Вы здесь

Главная

системный анализ

Связанные издания:

CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011
CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
Coordination Models and Languages: Proc./ 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 2011
Critical Systems: Formal Methods and Automated Verification: Proc./Joint 21st IW on Formal Methods for Industrial Critical Systems and 16th IW on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2016
Object-Oriented Systems Analysis. A Model-Driven Approach
Resilience in the Digital Age
Software Architecture: Proc./5th European Conference, ECSA 2011, Essen, Germany, September 2011
Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010
System Analysis and Modeling: Revised Selected Papers/5th International Workshop, SAM 2006. Kaiserslautern, Germany, May/June 2006
System Analysis and Modeling: Technology-Specific Aspects of Models: Proc./9th International Conference, SAM 2016, Saint-Melo, France, October 2016
Transactions on Petri Nets and Other Models of Concurrency V
Динамические библиотечно-информационные системы
Методы анализа и оптимизации N-мерной ортогональной упаковки на базе сечений различных размерностей
Об одном подходе к использованию метода наименьших модулей при построении линейных моделей
Объектно-ориентированное программирование
Проблемы управления и моделирования в сложных системах: Труды XII Международной конференции, Самара, Россия, 21-23 июня 2010
Синтез регуляторов систем автоматического управления объектами, описываемыми иррациональными и трансцендентными передаточными функциями
Системный анализ передачи данных. Часть II: Проектирование систем передачи данных
Теория систем и методы системного анализа в управлении и связи