139 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

61. Modular language specification and composition

Denzler, Christoph (2001)


Doctoral and Habilitation Theses

62. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses

66. Benutzerdefinierte Diagrammsignaturen in Karten

Schnabel, Olaf (2007)


Doctoral and Habilitation Theses

68. Rapid-Prototyping eingebetteter Systeme

Mattmann, Rudolf (1996)


Doctoral and Habilitation Theses

69. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

74. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses