348 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

59. Erdbebentauglichkeit von Stahlbetonhochbauten

Moser, Konrad (1993)


Doctoral and Habilitation Theses

63. Beitrag zum angewandten Technologiemanagement

Beer, Adrian Daniel (2000)


Doctoral and Habilitation Theses

65. Die Strasse in der vergessenen Landschaft

Zschokke, Theodor Walter (1986)


Doctoral and Habilitation Theses

70. Distributed data & resources

Schlude, Konrad (2002)


Doctoral and Habilitation Theses

75. Rule-based geometric modelling

Brüderlin, Beat D. (1987)


Doctoral and Habilitation Theses