Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

PDF
English
Year: 2004
Author: Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)

Informatics: 10 Years Back, 10 Years Ahead

PDF
English
Year: 2001
Author: Gerhard Weikum (auth.), Reinhard Wilhelm (eds.)

Informatics: 10 Years Back, 10 Years Ahead

DJVU
English
Year: 2001
Author: Gerhard Weikum (auth.), Reinhard Wilhelm (eds.)

Legitimationsprobleme politischer Systeme: Tagung der Deutschen Vereinigung für Politische Wissenschaft in Duisburg, Herbst 1975

PDF
German
Year: 1976
Author: Wilhelm Hennis (auth.), Prof. Dr. Peter Graf Kielmansegg (eds.)

Verdachts- und ereignisunabhängige Personenkontrollen: Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung

PDF
German
Year: 2006
Author: Graf, Susanne

ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

PDF
English
Year: 1986
Author: Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.)

Climatic Change: Implications for the Hydrological Cycle and for Water Management

PDF
English
Year: 2002
Author: Wilhelm May, Reinhard Voss, Erich Roeckner (auth.), Martin Beniston (eds.)

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

PDF
English
Year: 2000
Author: Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

DJVU
English
Year: 1986
Author: Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.)

Hip Sonography: Diagnosis and Management of Infant Hip Dysplasia

PDF
English
Year: 2006
Author: Univ. Prof. Prim. Dr. Reinhard Graf (auth.)