Browse by Subject

Subcategories: There are no further subcategories

727 Results for this Subject

Subscribe to RSS feed for this result set

278. Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep (2014)


Master and Bachelor Theses

283. Fault Tolerance in Multilevel Monte Carlo Methods

Pauli, Stefan Marc (2014)


Doctoral and Habilitation Theses

295. Flexible models for programming the Web

Fourny, Ghislain (2011)


Doctoral and Habilitation Theses

296. Flexible replication for personal clouds

Juric, Dejan (2010)


Master and Bachelor Theses

298. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses