Dirk Beyer

Identifiers

Open LibraryOL1537610A

Top Subjects

Osnabrück (Germany) -- Church history. (1)
Religious tolerance -- Germany -- Osnabrück -- History. (1)
Liberalism -- Germany -- Osnabrück -- History. (1)
Modernism (Christian theology) -- Germany -- Osnabrück -- History. (1)
Probability & Statistics - General (1)
Applied (1)
Inventions (1)

Books by Dirk Beyer

Total count: 11

Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängkeit vom Lebensalter

1972-01-01
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhundertseine Studie zur Kirchengeschichte Niedersachsens

Selbstverlag des Vereins2002-01-01
Markovian Demand Inventory Models (International Series in Operations Research & Management Science)1 edition

Springer2008-04-01
Theoretische und Methodische Ansatze Zum Innovationsmarketing

GRIN Verlag GmbH2013-01-01
Formal Techniques for Distributed SystemsJoint IFIP WG 6. 1 International Conference, FMOODS/FORTE 2013, Held As Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Springer London, Limited2013-01-01
Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Springer Nature2018-01-01
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASTOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer Nature2019-01-01
Tests and Proofs13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ...

Springer2019-09-11
Verification, Model Checking, and Abstract Interpretation21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Springer2020-02-07
TOOLympics Challenge 2023Updates, Results, Successes of the Formal-Methods Competition

Springer2024-01-01
Fundamental Approaches to Software Engineering27th 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

Springer2024-01-01