Markus Müller-Olm's Documents

Markus Müller-Olm's Documents

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)
Read more
Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs
Read more
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Read more
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science)

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science)
Read more
From COBOL to OOP

From COBOL to OOP
Read more
Inorganic Structural Chemistry

Inorganic Structural Chemistry
Read more
Inorganic Structural Chemistry

Inorganic Structural Chemistry
Read more
Inorganic structural chemistry

Inorganic structural chemistry
Read more
Inorganic Structural Chemistry

Inorganic Structural Chemistry
Read more
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
Read more
Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009

Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009
Read more
Non-self-adjoint boundary eigenvalue problems

Non-self-adjoint boundary eigenvalue problems
Read more
Non-self-adjoint boundary eigenvalue problems

Non-self-adjoint boundary eigenvalue problems
Read more
International Tables for Crystallography, Symmetry Relations between Space Groups

International Tables for Crystallography, Symmetry Relations between Space Groups
Read more
Self Organized Nanostructures of Amphiphilic Block Copolymers II

Self Organized Nanostructures of Amphiphilic Block Copolymers II
Read more
Arbeitsubergreifende Kompetenzen alterer Arbeitnehmer

Arbeitsubergreifende Kompetenzen alterer Arbeitnehmer
Read more
Trust beyond Borders: Immigration, the Welfare State, and Identity in Modern Societies (Contemporary Political and Social Issues)

Trust beyond Borders: Immigration, the Welfare State, and Identity in Modern Societies (Contemporary Political and Social Issues)
Read more
Casebook internationale Politik (Lehrbuch)

Casebook internationale Politik (Lehrbuch)
Read more
Inelastic Light Scattering of Semiconductor Nanostructures: Fundamentals and Recent Advances

Inelastic Light Scattering of Semiconductor Nanostructures: Fundamentals and Recent Advances
Read more
Noise-Sustained Patterns

Noise-Sustained Patterns
Read more
Atomistic approaches in modern biology: from quantum chemistry to molecular simulations

Atomistic approaches in modern biology: from quantum chemistry to molecular simulations
Read more
Inelastic Light Scattering of Semiconductor Nanostructures

Inelastic Light Scattering of Semiconductor Nanostructures
Read more
Business Process Transformation (Advances in Management Information Systems)

Business Process Transformation (Advances in Management Information Systems)
Read more
Wirtschaftspolitik kompakt

Wirtschaftspolitik kompakt
Read more
ATDD by Example: A Practical Guide to Acceptance Test-Driven Development

ATDD by Example: A Practical Guide to Acceptance Test-Driven Development
Read more
Die Bücherdiebin

Die Bücherdiebin
Read more
The Book Thief

The Book Thief
Read more
Cocktails & Dreams

Cocktails & Dreams
Read more
Das Zimmermaedchen v3

Das Zimmermaedchen v3
Read more
de het lot van de dwergen

de het lot van de dwergen
Read more