Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

727 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

178. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

180. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Dissertationen und Habilitationen

186. Data stream processing in complex applications

Esmaili, Kyumars Sheykh (2011)


Dissertationen und Habilitationen

188. Datenqualitätsmetrik für Informationsprozesse

Würthele, Volker Gerhard (2003)


Dissertationen und Habilitationen

193. Decentralized coordination

Schneider, Johannes (2011)


Dissertationen und Habilitationen

194. Delayed evaluation in logic programming

Nussbaum, Miguel (1988)


Dissertationen und Habilitationen

195. Delfy

Spettel, Patrick (2013)


Master-, Bachelor- und Semesterarbeiten

198. Der Stammcompiler

Nägeli, Hans-Heinrich (1978)


Dissertationen und Habilitationen