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.