Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

653 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

152. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

154. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Dissertationen und Habilitationen

160. Data stream processing in complex applications

Esmaili, Kyumars Sheykh (2011)


Dissertationen und Habilitationen

162. Datenqualitätsmetrik für Informationsprozesse

Würthele, Volker Gerhard (2003)


Dissertationen und Habilitationen

166. Decentralized coordination

Schneider, Johannes (2011)


Dissertationen und Habilitationen

167. Delayed evaluation in logic programming

Nussbaum, Miguel (1988)


Dissertationen und Habilitationen

168. Delfy

Spettel, Patrick (2013)


Master-, Bachelor- und Semesterarbeiten

171. Der Stammcompiler

Nägeli, Hans-Heinrich (1978)


Dissertationen und Habilitationen

175. Designing an innovative e-mail client

Rezzonico, Andrea (2005)


Master-, Bachelor- und Semesterarbeiten