350 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

52. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

54. Ganymed

Plattner, Christian Andreas (2006)


Doctoral and Habilitation Theses

57. Erdbebentauglichkeit von Stahlbetonhochbauten

Moser, Konrad (1993)


Doctoral and Habilitation Theses

61. Beitrag zum angewandten Technologiemanagement

Beer, Adrian Daniel (2000)


Doctoral and Habilitation Theses

63. Die Strasse in der vergessenen Landschaft

Zschokke, Theodor Walter (1986)


Doctoral and Habilitation Theses

67. Distributed data & resources

Schlude, Konrad (2002)


Doctoral and Habilitation Theses