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 7 träffar

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