Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

713 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

160. Concurrency patterns in SCOOP

Schmocker, Roman (2014)


Master-, Bachelor- und Semesterarbeiten

169. Contract wizard 3.0

Marty, Petra (2004)


Master-, Bachelor- und Semesterarbeiten

170. Contract wizard II

Wotruba, Dominik (2003)


Master-, Bachelor- und Semesterarbeiten

173. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

175. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Dissertationen und Habilitationen