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: Deepak. D’Souza 8 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 | Marijuana and madness (flera utgåvor) | 2012 | Engelska | |
| 4 | Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings | 2017 | Engelska | |
| 5 | Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings | Deepak. D’Souza | 2015 | Engelska |
| 6 | Verification, Model Checking, and Abstract Interpretation | D'Souza | 2015 | Engelska |
| 7 | Automated Technology for Verification and Analysis | D'Souza | 2017 | Engelska |
| 8 | Marijuana and Madness | 2011 | 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.