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: Kim Guldstrand Larsen 15 träffar

Titel Författare År Språk
1 Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Deepak D'Souza 2015 Okänt
2-3 Computer aided verification - proceedings : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2000 (flera utgåvor) cop. 2002 Engelska
4 Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings 2017 Engelska
5 Dependable Software Engineering. Theories, Tools, and Applications 2017 Okänt
6 Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Deepak. D’Souza 2015 Engelska
7 Verification, Model Checking, and Abstract Interpretation D'Souza 2015 Engelska
8-9 Tools and Algorithms for the Construction and Analysis of Systems (flera utgåvor) Jan Friso Groote 2021 Engelska
10 Formal Methods for Industrial Critical Systems Kim Guldstrand Larsen uuuu-uuuu Okänt
11 Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003 Kim Guldstrand Larsen uuuu-uuuu Okänt
12 Sustainable Energy Systems Planning, Integration and Management Kim Guldstrand Larsen 2020 Okänt
13 Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 2016 Engelska
14 Reachability Problems 2016 Okänt
15 Reactive Systems - Modelling, Specification and Verification 2007 Engelska

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.