347 Results for (keywords_en:DESIGN)

Subscribe to RSS feed for this result set

26. SIA 2018 - Überprüfung bestehender Gebäude bezüglich Erdbeben

Wenk, Thomas (2005)


Conference Contributions

27. Grand urban rules

Lehnerer, Alex (2009)


Doctoral and Habilitation Theses

28. Design and development of a Dymola/Modelica library for discrete event-oriented systems using DEVS methodology

Beltrame, Tamara (2006)


Master Theses

29. Biochemical characterization of wildtype and mutant herpes simplex virus type 1 thymidine kinase

Michael, Martina Alice (1994)


Doctoral and Habilitation Theses

30. Rahmenkonzept zur Gestaltung eines Datenmanagementsystems Siedlungsentwässerung

Bernasconi, Daniel (1999)


Doctoral and Habilitation Theses

31. Collaborative whiteboard

Kunz, Andreas, Dehlin Stefan, Piazza, Tommaso, Fjeld, Morten and Olofsson, Thomas (2010)


Conference Contributions

32. Artificial enzymes: from catalytic antibodies toward de novo enzyme design

Müller, Roger (2008)


Doctoral and Habilitation Theses

33. Modellhafte Arbeitsabläufe zur digitalen Erstellung von topographischen und geologischen Karten und dreidimensionalen Visualisierungen

Hurni, Lorenz (1995)


Doctoral and Habilitation Theses

34. TCAD-based three-dimensional modeling of nonvolatile memories

Saad, Yves (2007)


Doctoral and Habilitation Theses

35. Programmable intellectual property modules for system design by reuse

Röwer, Thomas (2000)


Doctoral and Habilitation Theses

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

Gappisch, Steffen (1996)


Doctoral and Habilitation Theses

37. Improving 2- and 3-D high-resolution seismic reflection methods

Spitzer, Roman (2001)


Doctoral and Habilitation Theses

38. Continental surface evolution in response to deep lithospheric processes

Duretz, Thibault (2011)


Doctoral and Habilitation Theses

39. Capacity design and nonlinear dynamic analysis of earthquake-resistant structures

Bachmann, Hugo, Linde, Peter and Wenk, Thomas (1994)


Conference Contributions

40. Evolutionary design optimization: tools and applications

König, Oliver (2004)


Doctoral and Habilitation Theses

41. Technisches Zeichnen

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


Educational Material

42. Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen

Biere, Armin (2001)


Conference Contributions

43. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

44. Model selection and information fusion in grouping problems

Lange, Tilman (2006)


Doctoral and Habilitation Theses

45. Zur Leistungsevaluation mittels Benchmark-Tests bei der Auswahl eines Computersystems im Hochschulbereich

Krebser, Karl-Heinz (1978)


Doctoral and Habilitation Theses

46. A decision procedure for quantified boolean formulae

Plaisted, David and Biere, Armin (2000)


Conference Contributions

47. From manufacturing variability to process-aware circuit simulation

Sponton, Luca (2007)


Doctoral and Habilitation Theses

48. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions

49. Bauwerkbeanspruchungen durch die Rückstosskräfte druckentlasteter Staubexplosionen in Behältern

Brunner, Maurice Yaw (1983)


Doctoral and Habilitation Theses

50. A global approach to the synthesis of entire chemical processes

Mizsey, Peter (1991)


Doctoral and Habilitation Theses