Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5–9, 2021, Proceedings 2021 · ENG · EPUB View details →
Reliable and Autonomous Computational Science: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 2010 · ENGLISH · PDF View details →
Das V-Modell® XT: Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich 2009 · GERMAN · PDF View details →
Funktionale und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken 2009 · GERMAN · PDF View details →
Pattern-oriented software architecture. vol. 2, Patterns for concurrent and networked objects 2013 · ENGLISH · PDF View details →
UML 2 and the Unified Process _ Practical Object-Oriented Analysis and Design 2005 · ENGLISH · PDF View details →