146 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

58. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

59. Host variability and parasitism in Bombus terrestris

Johnson, Alice P. (2007)


Doctoral and Habilitation Theses

61. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

66. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses

70. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

73. Prototyping a Concurrency Model

Morandi, Benjamin (2014)


Doctoral and Habilitation Theses

75. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses