Home Advanced Search

Advanced Search - Page 1

Variations on Constants: Flow Analysis of Sequential and Parallel Programs
  • PDF
  • English
  • Year: 2006
  • Author: Markus Müller-Olm (auth.)
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
  • DJVU
  • English
  • Year: 1997
  • Author: Markus Müller-Olm (auth.)
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
  • PDF
  • English
  • Year: 2006
  • Author: Markus Müller-Olm (auth.)
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2009
  • Author: Neil D. Jones, Markus Müller-Olm
Microdialysis in Drug Development
  • PDF
  • English
  • Year: 2013
  • Author: Markus Müller (auth.), Markus Müller (eds.)
Public Security in the Negotiated State: Policing in Latin America and Beyond
  • PDF
  • English
  • Year: 2012
  • Author: Markus-Michael Müller (auth.)
Kundenkompetenzen als Determinanten der Kundenbindung: Eine empirische Kausalanalyse am Beispiel der TV-Versorgung von Privatkunden
  • PDF
  • German
  • Year: 2008
  • Author: Markus Müller-Martini (auth.)
Protophysik: Entwurf einer Philosophie des Schöpferischen. 1. Teil Spezielle Relativitätstheorie
  • PDF
  • English
  • Year: 1971
  • Author: Siegfried Müller-Markus (auth.)
Einstein und die Sowjetphilosophie: Krisis Einer Lehre
  • PDF
  • German
  • Year: 1966
  • Author: Dr. Siegfried Müller-Markus (auth.)
search