Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

PDF
English
Year: 2007
Author: Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.)

Embedded Systems Specification and Design Languages: Selected contributions from FDL’07

PDF
English
Year: 2008
Author: Jens Brandt, Klaus Schneider (auth.), Prof. Eugenio Villar (eds.)

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

DJVU
English
Year: 1997
Author: Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

DJVU
English
Year: 1997
Author: Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

Strukturwandel internationaler Beziehungen: Zum Verhältnis von Staat und internationalem System seit dem Westfälischen Frieden

PDF
German
Year: 2000
Author: Jens Siegelberg (auth.), Jens Siegelberg, Klaus Schlichte (eds.)

Weitverkehrstechnik: Nachrichtenübertragung über große Entfernungen

PDF
German
Year: 1991
Author: Klaus Kief (auth.), Wolfgang Schneider (eds.)

The Genetics of Aging

PDF
English
Year: 1978
Author: Edward L. Schneider (auth.), Edward L. Schneider (eds.)

Politische Korruption

PDF
German
Year: 2000
Author: Jens Borchert (auth.), Jens Borchert, Sigrid Leitner, Klaus Stolz (eds.)

Internationales Handbuch der Gewaltforschung

PDF
German
Year: 2002
Author: Wilhelm Heitmeyer, John Hagan (auth.), Wilhelm Heitmeyer Dr. phil., John Hagan (eds.)

Contributions to the Development of Gasdynamics: Selected Papers, Translated on the Occasion of K. Oswatitsch’s 70th Birthday

PDF
English
Year: 1980
Author: Klaus Oswatitsch (auth.), Wilhelm Schneider, Max Platzer (eds.)