362 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

51. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

55. Beitrag zum angewandten Technologiemanagement

Beer, Adrian Daniel (2000)


Doctoral and Habilitation Theses

57. Die Strasse in der vergessenen Landschaft

Zschokke, Theodor Walter (1986)


Doctoral and Habilitation Theses

62. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

64. SOPHIE: context modelling and control

Belotti, Rudi (2004)


Master and Bachelor Theses

66. Ganymed

Plattner, Christian Andreas (2006)


Doctoral and Habilitation Theses

74. Workplace Design

Erni Baumann, Claudia Brigitte (2013)


Doctoral and Habilitation Theses