Ernst-Rudiger Olderog's Documents

Ernst-Rudiger Olderog's Documents

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
Read more
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September
Read more
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Correct System Design

Correct System Design
Read more
Correct System Design

Correct System Design
Read more
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Read more
Doing Things for Reasons

Doing Things for Reasons
Read more
Macroeconomia - 9b: Edicion

Macroeconomia - 9b: Edicion
Read more
Nietzsche. Biografia di un Pensiero

Nietzsche. Biografia di un Pensiero
Read more
Erlauterungen zu Jakob Michael Reinhold Lenz: Der Hofmeister, 3. Auflage (Konigs Erlauterungen und Materialien, Band 441)

Erlauterungen zu Jakob Michael Reinhold Lenz: Der Hofmeister, 3. Auflage (Konigs Erlauterungen und Materialien, Band 441)
Read more
Familienformen im sozialen Wandel, 7. Auflage

Familienformen im sozialen Wandel, 7. Auflage
Read more
Die Altpersischen Inschriften der Achaimeniden: Editio minor mit deutscher Ubersetzung (German Edition)

Die Altpersischen Inschriften der Achaimeniden: Editio minor mit deutscher Ubersetzung (German Edition)
Read more
The Innovations of Idealism

The Innovations of Idealism
Read more
Piezoelectric Multilayer Beam-Bending Actuators: Static and Dynamic Behavior and Aspects of Sensor Integration (Microtechnology and MEMS)

Piezoelectric Multilayer Beam-Bending Actuators: Static and Dynamic Behavior and Aspects of Sensor Integration (Microtechnology and MEMS)
Read more
Lateinische Wortkunde fur Anfänger und Fortgeschrittene (Teubner Studienbucher : Philologie)

Lateinische Wortkunde fur Anfänger und Fortgeschrittene (Teubner Studienbucher : Philologie)
Read more
Alternative Investments and Strategies

Alternative Investments and Strategies
Read more
Nietzsche A Philosophical Biography

Nietzsche A Philosophical Biography
Read more
German Idealist Philosophy

German Idealist Philosophy
Read more
Die iranischen Sprachen in Geschichte und Gegenwart

Die iranischen Sprachen in Geschichte und Gegenwart
Read more
Aus Grunden Handeln

Aus Grunden Handeln
Read more
Konvent der Händler

Konvent der Händler
Read more
Kompendium der Informationstechnologie: Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken

Kompendium der Informationstechnologie: Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Read more
Die 11 Geheimnisse des IKEA-Erfolgs

Die 11 Geheimnisse des IKEA-Erfolgs
Read more
Exchange rates and inflation

Exchange rates and inflation
Read more
German Fighter Since 1915

German Fighter Since 1915
Read more
Doing Things for Reasons

Doing Things for Reasons
Read more
Semiconductor Electrochemistry

Semiconductor Electrochemistry
Read more
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)
Read more
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Read more