141 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

58. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

63. Kausale Beschreibung von Systemen

Gisiger, Hans Peter (1992)


Doctoral and Habilitation Theses

68. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses

71. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

75. Host variability and parasitism in Bombus terrestris

Johnson, Alice P. (2007)


Doctoral and Habilitation Theses