Author

Dirk Beyer

11 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

11 books
Der Gehalt an freien Adeninnucleo...

Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängkeit vom Lebensalter

Year unknown
Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

Year unknown Dirk Beyer and Michele Boreale
Fundamental Approaches to Softwar...

Fundamental Approaches to Software Engineering

Year unknown Dirk Beyer and Ana Cavalcanti
Kirchlicher Liberalismus in Osnab...

Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts

Year unknown
Markovian Demand Inventory Models

Markovian Demand Inventory Models

Year unknown
Tests and Proofs

Tests and Proofs

Year unknown Dirk Beyer and Chantal Keller
Theoretische und Methodische Ansa...

Theoretische und Methodische Ansatze Zum Innovationsmarketing

Year unknown
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Dirk Beyer and Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Year unknown Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen
TOOLympics Challenge 2023

TOOLympics Challenge 2023

Year unknown Dirk Beyer, Arnd Hartmanns, and Fabrice Kordon
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Year unknown Dirk Beyer and Damien Zufferey

Fetched from OpenLibrary. Some translations may appear as separate works.