Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

701 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

158. Concurrency patterns in SCOOP

Schmocker, Roman (2014)


Master-, Bachelor- und Semesterarbeiten

167. Contract wizard 3.0

Marty, Petra (2004)


Master-, Bachelor- und Semesterarbeiten

168. Contract wizard II

Wotruba, Dominik (2003)


Master-, Bachelor- und Semesterarbeiten

170. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

172. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Dissertationen und Habilitationen