Dirk Beyer
Dirk Beyer
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryTA
Tools and Algorithms for the Construction and Analysis of Systems
cover - Image source: Open LibraryVM
Verification, Model Checking, and Abstract Interpretation
cover - Image source: Open LibraryTA
Tests and Proofs
cover - Image source: Open LibraryTA
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
cover - Image source: Open LibraryFT
Formal Techniques for Distributed Systems
cover - Image source: Open LibraryMD
Markovian Demand Inventory Models
cover - TCTOOLympics Challenge 2023Dirk Beyer
TOOLympics Challenge 2023
no cover - TUTheoretische und Methodische An...Dirk Beyer
Theoretische und Methodische Ansatze Zum Innovationsmarketing
no cover - KLKirchlicher Liberalismus in Osn...Dirk Beyer
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Tools and Algorithms for the Construction and Analysis of Systems
- Open Work
Verification, Model Checking, and Abstract Interpretation
- Open Work
Tests and Proofs
- Open Work
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
- Open Work
Formal Techniques for Distributed Systems
- Open Work
Markovian Demand Inventory Models
- Open Work
TOOLympics Challenge 2023
- Open Work
Theoretische und Methodische Ansatze Zum Innovationsmarketing
- Open Work
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts