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: Kedar S. Namjoshi 6 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1-2 | Verification, Model Checking, and Abstract Interpretation (flera utgåvor) | E. Allen. Emerson | 2006 | Engelska |
3-4 | Automated Technology for Verification and Analysis (flera utgåvor) | Kedar S. Namjoshi | 2007 | Engelska |
5 | Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 2225, 2007 Proceedings | Kedar S. Namjoshi | 2007 | Okänt |
6 | 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.