e. -r. olderog E. -R. Olderog's Documents - EPDF.PUB

E. -R. Olderog's Documents

E. -R. Olderog's Documents

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
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
Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)

Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)
Read more
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs
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
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
Correct System Design

Correct System Design
Read more
Correct System Design

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

Real-Time Systems: Formal Specification and Automatic Verification
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
What is Transparency?

What is Transparency?
Read more
Thomas Hobbes (Major Conservative and Libertarian Thinkers, Vol. 1)

Thomas Hobbes (Major Conservative and Libertarian Thinkers, Vol. 1)
Read more
Zimiamvia

Zimiamvia
Read more
Zimiamvia

Zimiamvia
Read more
Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)

Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)
Read more
Latent Inhibition and Conditioned Attention Theory (Problems in the Behavioural Sciences)

Latent Inhibition and Conditioned Attention Theory (Problems in the Behavioural Sciences)
Read more
Monotone Operators in Banach Space and Nonlinear partial differential equation

Monotone Operators in Banach Space and Nonlinear partial differential equation
Read more
Hard Frost

Hard Frost
Read more
Il Serpente Ouroboros

Il Serpente Ouroboros
Read more
Callie & The Cats

Callie & The Cats
Read more
The male genitalia of Hymenoptera

The male genitalia of Hymenoptera
Read more
Der Untergang der Golden Arrow

Der Untergang der Golden Arrow
Read more
Heal Yourself with Yoga

Heal Yourself with Yoga
Read more
Der Untergang der Golden Arrow

Der Untergang der Golden Arrow
Read more
Die schwarze 13

Die schwarze 13
Read more
Murderer's Mistake

Murderer's Mistake
Read more
Flesh: Architectural Probes

Flesh: Architectural Probes
Read more
Petroleum Geology (Developments in Petroleum Science)

Petroleum Geology (Developments in Petroleum Science)
Read more
In the Grip of Disease: Studies in the Greek Imagination

In the Grip of Disease: Studies in the Greek Imagination
Read more