Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Dirk Beyer 16 träffar

Titel Författare År Språk
1 The circle - a novel Dave Eggers 2014 Engelska
2 TOOLympics 2019 - An overview of competitions in formal methods Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci 2019 Engelska
3 Markovian Demand Inventory Models electronic resource / by Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar Dirk. author. Beyer uuuu-uuuu Okänt
4 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 Dirk. Beyer 2013 Engelska
5 Fundamental Approaches to Software Engineering electronic resource : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / edited by Dirk Beyer, Ana Cavalcanti Dirk. Beyer uuuu-uuuu Okänt
6 Markovian Demand Inventory Models Dirk. Beyer 2010 Engelska
7 Markovian Demand Inventory Models (International series in operations research & management science, v. 108) Dirk Beyer 2010 Okänt
8 TOOLympics Challenge 2023. - Updates, Results, Successes of the Formal-Methods Competitions Dirk. Beyer 2025 Engelska
9 TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions Dirk Beyer 2025 Okänt
10 TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions Dirk. Beyer 2024 Engelska
11 TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions / edited by Dirk Beyer, Arnd Hartmanns, Fabrice Kordon Dirk. Beyer uuuu-uuuu Okänt
12 Formal Techniques for Distributed Systems Dirk Beyer 2013 Okänt
13 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 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings Dirk Beyer 2024 Engelska
14 Tools and Algorithms for the Construction and Analysis of Systems : 24th 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 I / edited by Dirk Beyer, Marieke Huisman Dirk Beyer uuuu-uuuu Okänt
15 Verification, Model Checking, and Abstract Interpretation Dirk Beyer uuuu-uuuu Okänt
16 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 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings 2024 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.