Title: PRODIA und PRODAT: Dialog- und Datenbankschnittstellen f�r Systementwurfswerkzeuge, Author: Detlef Krïmker
Title: Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, Author: Shuvendu Lahiri
Title: Decision Making with Dominance Constraints in Two-Stage Stochastic Integer Programming, Author: Uwe Gotzes
Title: Projektmanagement: mit dem Rational Unified Process, Author: Gerhard Versteegen
Title: Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Author: Einar Broch Johnsen
Title: Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings, Author: Michel R. V. Chaudron
Title: Advanced Internet Services and Applications: First International Workshop, AISA 2002, Seoul, Korea, August 1-2, 2002. Proceedings, Author: Whie Chang
Title: From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice, Author: Michal Smialek
Title: Children Designers: Interdisciplinary Constructions for Learning and Knowing Mathematics in a Computer-Rich School, Author: Idit Harel
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
Title: Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings, Author: Sabine Wittevrongel
Title: Process Technology, Author: Elisabetta Di Nitto
Title: Handbook of Mobile Systems Applications and Services, Author: Anup Kumar
Title: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Author: Bernd Fischer
Title: Human-Centered Software Engineering: 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings, Author: Regina Bernhaupt
Title: Programming ArcObjects with VBA: A Task-Oriented Approach, Second Edition, Author: Kang-Tsung Chang
Title: Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, Author: Cong Tian
Title: Algorithmic Adventures: From Knowledge to Magic, Author: Juraj Hromkovic
Title: High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008, Author: Hong Mei
Title: First-Order Programming Theories, Author: Tamas Gergely

Pagination Links