Browse by Organisational Unit

Subcategories: There are no further subcategories

52 Results for this Organisational Unit

Subscribe to RSS feed for this result set

Page 1 of 3

1 2 3 Next Page › Last Page »

3. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

7. Automatic contract extraction

Marti, Christof (2003)


Master and Bachelor Theses

10. Concurrency patterns in SCOOP

Schmocker, Roman (2014)


Master and Bachelor Theses

11. Contract wizard 3.0

Marty, Petra (2004)


Master and Bachelor Theses

12. Contract wizard II

Wotruba, Dominik (2003)


Master and Bachelor Theses

13. Designing an innovative e-mail client

Rezzonico, Andrea (2005)


Master and Bachelor Theses

14. Effective Race Detection for Android

Bielik, Pavol (2014)


Master and Bachelor Theses

15. Eiffel library to generate Java bytecodes

Gisel, Daniel (2003)


Master and Bachelor Theses

16. Eiffel SDL multimedia library (ESDL)

Bay, Till Gaston Balz (2003)


Master and Bachelor Theses

19. Exercise design for introductory programming

Kessler, Marcel (2004)


Master and Bachelor Theses

22. Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep (2014)


Master and Bachelor Theses


Page 1 of 3

1 2 3 Next Page › Last Page »