STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Dirk Beyer | lit.salon
Dirk Beyer
No bio available.
Add one in Open Library.
Books by Dirk Beyer (50 max)
+ shelf
+ list
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint ...
2018
Dirk Beyer, Marieke Huisman
+ shelf
+ list
Markovian Demand Inventory Models (International Series in Operations Research & Management Science)
2008
Dirk Beyer
+ shelf
+ list
Formal Techniques for Distributed Systems Joint IFIP WG 6. 1 International Conferences, FMOODS 2013 and FORTE 2013, Held As Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
2013
Dirk Beyer, Michele Boreale
+ shelf
+ list
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...
2019
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
+ shelf
+ list
Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängkeit vom Lebensalter
1972
Dirk Beyer
+ shelf
+ list
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts: eine Studie zur Kirchengeschichte Niedersachsens
2002
Dirk Beyer
+ shelf
+ list
Theoretische und Methodische Ansatze Zum Innovationsmarketing
2013
Dirk Beyer
+ shelf
+ list
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ...
2019
Dirk Beyer, Chantal Keller
+ shelf
+ list
Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
2020
Dirk Beyer, Damien Zufferey
+ shelf
+ list
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
2024
Dirk Beyer, Ana Cavalcanti
+ shelf
+ list
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
2024
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
