348 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

26. Séisme

Wenk, Thomas and Lestuzzi, Pierino (2003)


Reports

27. Forthcoming database

Mieusset-Kang, Kuk Hwan (2005)


Doctoral and Habilitation Theses

35. TCAD-based development of a flash-EPROM technology

Gappisch, Steffen (1996)


Doctoral and Habilitation Theses

41. Technisches Zeichnen

Meier, Markus, Leidich, E. and Schütz, Martin (2005)


Educational Material

43. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

47. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions