Browse by Organisational Unit

Subcategories: There are no further subcategories

29 Results for this Organisational Unit

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

7. Applying the roofline model

Steinmann, Ruedi (2012)


Master and Bachelor Theses

11. EDT - Eiffel development toolkit

Ohnsorg, Reto (2009)


Master and Bachelor Theses

17. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions

20. Modular derby

Kowalski, Pawel (2009)


Master and Bachelor Theses

22. Optimizing MathZonnon using OpenCL

Ernst, Benjamin (2011)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »