Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

720 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

176. Counterexemplare execution

Billeter, Jürg (2008)


Master-, Bachelor- und Semesterarbeiten

178. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)


Dissertationen und Habilitationen

184. Data stream processing in complex applications

Esmaili, Kyumars Sheykh (2011)


Dissertationen und Habilitationen

186. Datenqualitätsmetrik für Informationsprozesse

Würthele, Volker Gerhard (2003)


Dissertationen und Habilitationen

191. Decentralized coordination

Schneider, Johannes (2011)


Dissertationen und Habilitationen

192. Delayed evaluation in logic programming

Nussbaum, Miguel (1988)


Dissertationen und Habilitationen

193. Delfy

Spettel, Patrick (2013)


Master-, Bachelor- und Semesterarbeiten

196. Der Stammcompiler

Nägeli, Hans-Heinrich (1978)


Dissertationen und Habilitationen

200. Designing an innovative e-mail client

Rezzonico, Andrea (2005)


Master-, Bachelor- und Semesterarbeiten