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.