Вы здесь

Главная

системное моделирование

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

Analytical and Stochastic Modeling Techniques and Applications: Proc./18th International Conference, ASMTA 2011, Venice, Italy, June 2011
Computer Aided Systems Theory - EUROCAST 2017, Part I: Revised Selected Papers/16th International Conference, Las Palmas de Gran Canaria, Spain, February 2017
Conceptual Modelling and its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Formal Methods: Foundations and Applications: Revised Selected Papers/13th Brazilian Symposium on FM, SBMF 2010, Natal, Brazil, November 2010
Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012
Human-Centered Software Engineering: Proc./5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, Septemver 2014
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 2010
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2010
Reliable Software Technologies - Ada-Europe 2011: Proc./16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 2011
Research in Computational Molecular Biology: Proc./15th Annual International Conference, RECOMB 2011, Vancouver,BC,Canada, March 2011
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Software Architecture: Proc./5th European Conference, ECSA 2011, Essen, Germany, September 2011
System Analysis and Modeling: Technology-Specific Aspects of Models: Proc./9th International Conference, SAM 2016, Saint-Melo, France, October 2016
Theoretical Aspects of Computing - ICTAC 2011: Proc./8th International Colloquium, Johannesburg, South Africa, August 2011
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXIV
Transactions on Petri Nets and Other Models of Concurrency V
Системное моделирование: Сборник научных трудов