142 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

56. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

57. Host variability and parasitism in Bombus terrestris

Johnson, Alice P. (2007)


Doctoral and Habilitation Theses

59. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

64. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses

68. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

71. Prototyping a Concurrency Model

Morandi, Benjamin (2014)


Doctoral and Habilitation Theses

73. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses