Browse by Organisational Unit

Subcategories: There are no further subcategories

55 Results for this Organisational Unit

Subscribe to RSS feed for this result set

Page 1 of 3

1 2 3 Next Page › Last Page »

5. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

9. Automatic contract extraction

Marti, Christof (2003)


Master and Bachelor Theses

12. Concurrency patterns in SCOOP

Schmocker, Roman (2014)


Master and Bachelor Theses

13. Contract wizard 3.0

Marty, Petra (2004)


Master and Bachelor Theses

14. Contract wizard II

Wotruba, Dominik (2003)


Master and Bachelor Theses

15. Designing an innovative e-mail client

Rezzonico, Andrea (2005)


Master and Bachelor Theses

16. Effective Race Detection for Android

Bielik, Pavol (2014)


Master and Bachelor Theses

17. Eiffel library to generate Java bytecodes

Gisel, Daniel (2003)


Master and Bachelor Theses

18. Eiffel SDL multimedia library (ESDL)

Bay, Till Gaston Balz (2003)


Master and Bachelor Theses

21. Exercise design for introductory programming

Kessler, Marcel (2004)


Master and Bachelor Theses

24. Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep (2014)


Master and Bachelor Theses


Page 1 of 3

1 2 3 Next Page › Last Page »