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: Marieke. Huisman 29 träffar

Titel Författare År Språk
1-2 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, Proceedi (flera utgåvor) Beyer 2018 Engelska
3 Provably Correct Control-Flow Graphs from Java Programs with Exceptions Afshin Amighi 2012 Engelska
4-5 Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (flera utgåvor) Gilles. Barthe 2006 Engelska
6 TOOLympics 2019 - An overview of competitions in formal methods Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci 2019 Engelska
7 Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems Simin Cai 2019 Engelska
8 Algorithmic Verification of Synchronization with Condition Variables Pedro de Carvalho Gomes 2015 Engelska
9 Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings 2023 Okänt
10 Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 2017 Engelska
11 Fundamental Approaches to Software Engineering 2017 Okänt
12 Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : Revised Selected Papers (Lecture notes in computer science, 0302-9743 3362) Gilles Barthe 2005 Okänt
13 Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : Revised Selected Papers (Lecture notes in computer science, 3956) Gilles Barthe 2006 Okänt
14 Reducing behavioural to structural properties of programs with procedures - technical report Dilian Gurov 2007 Engelska
15 Concise Guide to Software Verification. - From Model Checking to Annotation Checking Marieke Huisman 2023 Engelska
16-17 Concise Guide to Software Verification : From Model Checking to Annotation Checking / Marieke Huisman and Anton Wijs (flera utgåvor) Marieke Huisman uuuu-uuuu Okänt
18 Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings Marieke. Huisman 2021 Engelska
19 Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings Marieke. Huisman 2023 Engelska
20 Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings Marieke. Huisman uuuu-uuuu Okänt

1 2 Nästa sida

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.