Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
производственная линия
Связанные издания:
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Mastering Scale and Complexity in Software Reuse: Proc./16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 2017
Modelling Foundations and Applications: Proc./9th European Conference, ECMFA 2013, Montpellier, France, July 2013
Product-Focused Software Process Improvement: Proc./15th International Conference, PROFES 2014, Helsinki, Finland, December 2014
Search-Based Software Engineering: Proc./6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 2014
SOFSEM 2014: Theory and Practice of Computer Science: Proc./40th International Conference on Current Trends in Theory and Practice of CS, Novy Smokovec, Slovakia, January 2014
Software Architecture: Proc./7th European Conference, ECSA 2013, Montpellier, France, July 2013
Software Architecture: Proc./8th European Conference, ECSA 2014, Vienna, Austria, August 2014
System Analysis and Modeling: Models and Reusability: Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, September 2014
System Analysis and Modeling: Theory and Practice: Revised Selected Papers/7th International Workshop, SAM 2012, Innsbruck, Austria, October 2012
Testing Software and Systems: Proc./26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 2014