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: Roderick Bloem 11 träffar

Titel Författare År Språk
1 Computer Aided Verification Armin Biere 2014 Okänt
2 Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings Armin. Biere 2014 Engelska
3 Decidability of Parameterized Verification Roderick Bloem 2015 Engelska
4-5 Handbook of Model Checking (flera utgåvor) 2018 Engelska
6 Handbook of Model Checking 2018 Okänt
7 Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings 2016 Engelska
8 Hardware and Software: Verification and Testing 2016 Okänt
9 Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers Roderick Bloem uuuu-uuuu Okänt
10 Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings Roderick Bloem uuuu-uuuu Okänt
11 Decidability of Parameterized Verification Swen Jacobs 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.