Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

734 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

179. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

181. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Dissertationen und Habilitationen

187. Data stream processing in complex applications

Esmaili, Kyumars Sheykh (2011)


Dissertationen und Habilitationen

189. Datenqualitätsmetrik für Informationsprozesse

Würthele, Volker Gerhard (2003)


Dissertationen und Habilitationen

194. Decentralized coordination

Schneider, Johannes (2011)


Dissertationen und Habilitationen

195. Delayed evaluation in logic programming

Nussbaum, Miguel (1988)


Dissertationen und Habilitationen

196. Delfy

Spettel, Patrick (2013)


Master-, Bachelor- und Semesterarbeiten

199. Der Stammcompiler

Nägeli, Hans-Heinrich (1978)


Dissertationen und Habilitationen