145 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

52. Evolution of host range in pollen generalist bees

Haider, Mare (2013)


Doctoral and Habilitation Theses

54. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

64. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

66. Rapid-Prototyping eingebetteter Systeme

Mattmann, Rudolf (1996)


Doctoral and Habilitation Theses

71. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses

72. Benutzerdefinierte Diagrammsignaturen in Karten

Schnabel, Olaf (2007)


Doctoral and Habilitation Theses

73. Modular language specification and composition

Denzler, Christoph (2001)


Doctoral and Habilitation Theses