351 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

76. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

78. Rule-based geometric modelling

Brüderlin, Beat D. (1987)


Doctoral and Habilitation Theses

79. Methods for artistic stylization in 3D animation

Schmid, Johannes (2012)


Doctoral and Habilitation Theses

80. Building database applications in the cloud

Kraska, Tim (2010)


Doctoral and Habilitation Theses

84. Distributed data & resources

Schlude, Konrad (2002)


Doctoral and Habilitation Theses

85. SOPHIE: context modelling and control

Belotti, Rudi (2004)


Master and Bachelor Theses

88. Ganymed

Plattner, Christian Andreas (2006)


Doctoral and Habilitation Theses

100. Oxetanes in drug discovery

Wuitschik, Georg (2008)


Doctoral and Habilitation Theses