139 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

51. Arnold Escher von der Linth [1807-1872]

Escher von der Linth, Arnold (1990)


Inventories

52. Evolution of host range in pollen generalist bees

Haider, Mare (2013)


Doctoral and Habilitation Theses

53. Second-order signature

Güting, Ralf Hartmut (1992)


Reports

54. Über den Magnetisierungskoëffizienten von Cuprisalzen in sehr verdünnter Lösung

Cherbuliez, Paul Emil (1917)


Doctoral and Habilitation Theses

55. Campaigns, political mobility, and communication

Gersbach, Hans (2011)


Reports

56. Polarisationsexperimente zur Untersuchung der Zwei- und Dreikörperwechselwirkungen im Dreinukleonensystem

Sperisen, Franz (1980)


Doctoral and Habilitation Theses

57. Rapid-Prototyping eingebetteter Systeme

Mattmann, Rudolf (1996)


Doctoral and Habilitation Theses

58. An interactive proof environment for object-oriented specifications

Brucker, Achim D. (2007)


Doctoral and Habilitation Theses

59. ZEUS

Lieberherr, Karl J. and Knudsen, Svend Erik (1983)


Reports

60. Controller synthesis for application specific integrated circuits

Zahir, Achmed Rumi (1991)


Doctoral and Habilitation Theses

61. Reasoning about data abstraction in contract languages

Darvas, Ádám Péter (2009)


Doctoral and Habilitation Theses

62. A proposal for a real-time extension of TTCN

Walter, Thomas and Grabowski, Jens (1996)


Reports

63. Relevance filters for event-B

Röder, Jann (2010)


Master Theses

64. Benutzerdefinierte Diagrammsignaturen in Karten

Schnabel, Olaf (2007)


Doctoral and Habilitation Theses

65. Tool support for authorization-constrained workflows

Rüegger, Dominik (2011)


Master Theses

66. Developing topology discovery in Event-B*

Hoang, Thai Son, Kuruma, Hironobu, Basin, David A. and Abrial, Jean-Raymond (2008)


Reports

67. Die magnetischen Eigenschaften der Eisen-Kobalt-Legierungen bei verschiedenen Temperaturen

Preuss, Alfred (1912)


Doctoral and Habilitation Theses

68. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses

69. Models and dynamic optimisation for the asset and liability management of pension funds

Dondi, Gabriel Arnon (2005)


Doctoral and Habilitation Theses

70. Modular language specification and composition

Denzler, Christoph (2001)


Doctoral and Habilitation Theses

71. Using patterns to develop consistent design constraints

Wahler, Michael (2008)


Doctoral and Habilitation Theses

72. Magnetism of epitaxial thin films and single-crystal surfaces studied with spin-polarized secondary electrons

Taborelli, Mauro (1988)


Doctoral and Habilitation Theses

73. Model-driven development of security-aware GUIs for data-centric applications

Basin, David A., Clavel, Manuel, Egea, Marina, García de Dios, Miguel A., Dania, Carolina, Ortiz, Gonzalo and Valdazo, Javier (2011)


Reports

74. Struktur und Magnetismus in zwei RE Al-xGa-(2-x)-Systemen(RE = Nd, Er; 0 < x < 2)

Martin, Otto-Ernst (1982)


Doctoral and Habilitation Theses

75. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses