Вы здесь

Главная

эволюция по

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

Advanced Information Systems Engineering: Proc./31st International Conference, CAiSE 2019, Rome, Italy, June 2019
Augmented Cognition: Proc./13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCI 2019, Orlando,FL,USA, July 2019
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Computational Science and Its Applications - ICCSA 2017, Part V: Proc./17th International Conference, Trieste, Italy, July 2017
Computational Science and Its Applications - ICCSA 2018, Part I: Proc./18th International Conference, Melbourne, VIC, Australia, July 2018
Computing and Software Science: State of the Art and Perspectives
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Formal Techniques for Distributed Objects, Components, and Systems: Proc./39th IFIP 6.1 International Conference, FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 2019
Fudamental Approaches to Software Engineering: Proc./22nd International Conference, FASE 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Fundamental Approaches to Software Engineering: Proc./23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Modeling: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018
Mathematics of Program Construction: Proc./13th International Conference, MPC 2019, Porto, Portugal, October 2019
Model Checking Software: Proc./25th International Symposium, SPIN 2018, Malaga, Spain, June 2018
Perspectives of System Informatics: Revised Selected Papers/11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 2017
Principles of Modeling: Essays Dedicated to Edward A.Lee on the Occasion of His 60th Birthday
Product-Focused Software Process Improvement: Proc./21st International Conference, PROFES 2020, Turin, Italy, November 2020
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
Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020
Reachability Problems: Proc./15th International Conference, RP 2021, Liverpool, UK, October 2021
Requirements Engineering: Foundation for Software Quality: Proc./25th International Working Conference, REFSQ 2019, Essen, Germany, March 2019
SOFSEM 2019: Theory and Practice of Computer Science: Proc./45th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 2019
Software Analysis, Testing, and Evolution: Proc./8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 2018
Software Architecture: Proc./13th International Conference, ECSA 2019, Paris, France, September 2019
Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2018 Collocated Workshops, Toulouse, France, June 2018
Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020
Static Analysis: Proc./25th International Symposium, SAS 2018
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Systen Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: Proc./11th International Conference, SAM 2019, Munich, Germany, September 2019
Tests and Proofs: Proc./14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020
Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018
Verification and Evaluation of Computer and Communication Systems: Proc./14th International Conference, VECoS 2020, Xi'an, China, October 2020
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018