Browse by Organisational Unit

Subcategories: There are no further subcategories

27 Results for this Organisational Unit

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

5. Applying the roofline model

Steinmann, Ruedi (2012)


Master and Bachelor Theses

9. EDT - Eiffel development toolkit

Ohnsorg, Reto (2009)


Master and Bachelor Theses

15. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions

18. Modular derby

Kowalski, Pawel (2009)


Master and Bachelor Theses

20. Optimizing MathZonnon using OpenCL

Ernst, Benjamin (2011)


Master and Bachelor Theses

24. Taxonomy and applications of alias analysis

Lenherr, Thomas (2008)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »