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: Ezio Bartocci 13 träffar

Titel Författare År Språk
1 Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings 2016 Engelska
2 Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings Ezio. Bartocci 2013 Engelska
3 Runtime Verification - 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings 2015 Engelska
4 HSCC '22 : Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control / Ezio Bartocci, Sylvie Putot Ezio Bartocci uuuu-uuuu Okänt
5 Lectures on Runtime Verification - Introductory and Advanced Topics 2018 Engelska
6 Model Checking Software Ezio Bartocci 2013 Okänt
7 Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Ezio Bartocci 2021 Okänt
8 Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Yliès Falcone, Martin Leucker Ezio (Computer scientist) Bartocci uuuu-uuuu Okänt
9 TOOLympics 2019 - An overview of competitions in formal methods Czech Republic Prague April 6–11 TACAS 2019 Ezio Bartocci 2019 Engelska
10 Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday / Ezio Bartocci, Yliès Falcone, Martin Leucker Ezio (Computer scientist) Bartocci uuuu-uuuu Okänt
11 Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings 2016 Okänt
12 Lectures on Runtime Verification 2018 Okänt
13 Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 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.