Dirk Beyer
Dirk Beyer
9 ספרים במאגר
ספרים
Formal Techniques for Distributed SystemsDirk Beyer
Formal Techniques for Distributed Systems
Dirk Beyer · 2013
Markovian Demand Inventory ModelsDirk Beyer
Markovian Demand Inventory Models
Dirk Beyer · 2008
TOOLympics Challenge 2023Dirk Beyer
TOOLympics Challenge 2023
Dirk Beyer · 2024
Fundamental Approaches to Software EngineeringDirk Beyer
Fundamental Approaches to Software Engineering
Dirk Beyer · 2024
Verification, Model Checking, and Abstract InterpretationDirk Beyer
Verification, Model Checking, and Abstract Interpretation
Dirk Beyer · 2020
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer · 2019
Tests and ProofsDirk Beyer
Tests and Proofs
Dirk Beyer · 2019
Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer · 2018
Theoretische und Methodische Ansatze Zum InnovationsmarketingDirk Beyer
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Dirk Beyer · 2013