Browsen nach Sachgebiet

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

738 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

184. Data Analytics in a Data- and Hardware-Conscious Way

Roy, Pratanu (2015)


Dissertationen und Habilitationen

188. Data stream processing in complex applications

Esmaili, Kyumars Sheykh (2011)


Dissertationen und Habilitationen

190. Datenqualitätsmetrik für Informationsprozesse

Würthele, Volker Gerhard (2003)


Dissertationen und Habilitationen

195. Decentralized coordination

Schneider, Johannes (2011)


Dissertationen und Habilitationen

196. Delayed evaluation in logic programming

Nussbaum, Miguel (1988)


Dissertationen und Habilitationen

197. Delfy

Spettel, Patrick (2013)


Master-, Bachelor- und Semesterarbeiten

200. Der Stammcompiler

Nägeli, Hans-Heinrich (1978)


Dissertationen und Habilitationen