143 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

51. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

52. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

55. Evolution of host range in pollen generalist bees

Haider, Mare (2013)


Doctoral and Habilitation Theses

64. Rapid-Prototyping eingebetteter Systeme

Mattmann, Rudolf (1996)


Doctoral and Habilitation Theses

67. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

70. Modular language specification and composition

Denzler, Christoph (2001)


Doctoral and Habilitation Theses

71. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses

73. Benutzerdefinierte Diagrammsignaturen in Karten

Schnabel, Olaf (2007)


Doctoral and Habilitation Theses