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.)
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.)
The Genetics of Aging
  • PDF
  • English
  • Year: 1978
  • Author: Edward L. Schneider (auth.), Edward L. Schneider (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.)
Copper Bioavailability and Metabolism
  • PDF
  • English
  • Year: 1990
  • Author: Constance Kies (auth.), Constance Kies (eds.)
Desintegrationsdynamiken: Integrationsmechanismen auf dem Prüfstand
  • PDF
  • German
  • Year: 2012
  • Author: Prof. Dr. Peter Imbusch, Prof. Dr. Wilhelm Heitmeyer (auth.), Wilhelm Heitmeyer, Peter Imbusch (eds.)
Diversifying the Teaching Force in Transnational Contexts: Critical Perspectives
  • PDF
  • English
  • Year: 2016
  • Author: Clea Schmidt, Jens Schneider (eds.)
Zeit für Veränderungen: Zur Bedeutung des Zeitfaktors bei geplanten Veränderungen im staatlichen Schulsystem
  • PDF
  • German
  • Year: 1982
  • Author: Prof. Dr. W. Hagemann (auth.), Wilhelm Heitmeyer (eds.)
Peptide Arrays on Membrane Supports: Synthesis and Applications
  • PDF
  • English
  • Year: 2002
  • Author: Ronald Frank, Jens Schneider-Mergener (auth.), Joachim Koch, Michael Mahler (eds.)
Berichte zu Tierarzneimitteln 2008
  • PDF
  • German
  • Year: 2010
  • Author: Peter Brandt (auth.), Peter Brandt (eds.)
search