It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 4, 2008 | History
Edit

Dirk Beyer

We need a photo of Dirk Beyer

10 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Thessaloniki, Greece, April 14-20, 2018...

    First published in 2018 5 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Markovian Demand Inventory Models (International Series in Operations Research & Management Science)

    First published in 2008 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Techniques for Distributed Systems: Joint 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

    First published in 2013 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...

    First published in 2019 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2024 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ...

    First published in 2019 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theoretische und Methodische Ansatze Zum Innovationsmarketing

    First published in 2013 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

    First published in 2020 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition

    First published in 2024 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts: eine Studie zur Kirchengeschichte Niedersachsens

    First published in 2002 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Dirk Beyer

Subjects
Computer science, Business logistics, Church and state, Church history, Computation by Abstract Devices, Computer algorithms, Computer input-output equipment, Computer organization, Distribution (Probability theory), Economics, Engineering economy, History, Industrial engineering, Inventories, Inventory control, Inventory control, mathematical models, Liberalism, Logic design, Logics and Meanings of Programs, Markov processes, Mathematical Logic and Formal Languages, Mathematical models, Modernism (Christian theology), Religious tolerance, Software engineering
Places
Germany, Osnabrück, Osnabrück (Germany)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1537610A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 4, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import