D
Dirk Beyer
11 works on record
Works
Markovian Demand Inventory Models
Tests and Proofs
Tools and Algorithms for the Construction and Analysis of Systems
Formal Techniques for Distributed Systems
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Verification, Model Checking, and Abstract Interpretation
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
TOOLympics Challenge 2023
TOOLympics Challenge 2023
Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängkeit vom Lebensalter
Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängkeit vom Lebensalter
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts