Dirk Beyer

• Fundamental Approaches to Software Engineering
• Formal Techniques for Distributed Systems
• Markovian Demand Inventory Models
• Tests and Proofs
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
• Verification, Model Checking, and Abstract Interpretation
• 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
• Theoretische und Methodische Ansatze Zum Innovationsmarketing
• TOOLympics Challenge 2023