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: E. Allen Emerson 7 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Computer aided verification - 12th international conference : proceedings | International Conference on Computer Aided Verification 2000 : Chicago) | cop. 2000 | Engelska |
| 2 | Visual Information and Information Systems | Stéphane. Bres | Engelska | |
| 3-4 | Verification, Model Checking, and Abstract Interpretation (flera utgåvor) | E. Allen. Emerson | 2006 | Engelska |
| 5-6 | Computer Aided Verification (flera utgåvor) | CAV (Conference) | 2000 | Engelska |
| 7 | Verification, Model Checking, and Abstract Interpretation: 7Th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : Proceedings (Lecture notes in computer science, 3855) | E. Allen Emerson | 2006 | 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.