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 Larsen 37 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 Macular recovery recorded by nyctometry in insulin-dependent diabetes mellitus Kim Frost-Larsen 1992 Engelska
3 Kim Larsen - mina unga år Jens Andersen 2020 Svenska
4-5 Automata, Languages and Programming (flera utgåvor) Languages and Programming 1998) Aalborg : International Colloquium on Automata cop. 1998 Engelska
6 Automata, Languages and Programming - 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings 1998 Engelska
7-9 Computer aided verification (flera utgåvor) cop. 2002 Engelska
10-12 Computer Aided Verification (flera utgåvor) CAV (Conference) 2002 Engelska
13-14 CONCUR 2001 - concurrency theory - 12th International Conference, Aalborg, Denmark, August 20 - 25, 2001 : proceedings (flera utgåvor) International Conference on Concurrency Theory 2001 : Aalborg) cop. 2001 Engelska
15 CONCUR 2001, concurrency theory - 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings Denmark) International Conference on Concurrency Theory 2001 : Aalborg 2001 Engelska
16 Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings 2017 Engelska
17 Dependable Software Engineering. Theories, Tools, and Applications 2017 Okänt
18 Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Deepak. D’Souza 2015 Engelska
19 Verification, Model Checking, and Abstract Interpretation D'Souza 2015 Engelska
20 Efficient timed reachability analysis using clock difference diagrams 1999 Engelska

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.