350 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

82. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

85. Rule-based geometric modelling

Brüderlin, Beat D. (1987)


Doctoral and Habilitation Theses

86. Methods for artistic stylization in 3D animation

Schmid, Johannes (2012)


Doctoral and Habilitation Theses

87. Building database applications in the cloud

Kraska, Tim (2010)


Doctoral and Habilitation Theses

91. Distributed data & resources

Schlude, Konrad (2002)


Doctoral and Habilitation Theses

93. SOPHIE: context modelling and control

Belotti, Rudi (2004)


Master and Bachelor Theses

96. Ganymed

Plattner, Christian Andreas (2006)


Doctoral and Habilitation Theses

98. Oxetanes in drug discovery

Wuitschik, Georg (2008)


Doctoral and Habilitation Theses