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: Rajeev Joshi
6 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
|
Mihaela. Bobaru
|
2011 |
Engelska |
| 2 |
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
|
Rajeev. Joshi
|
2012 |
Engelska |
| 3 |
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
|
Klaus Havelund
|
2015 |
Okänt |
| 4 |
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
|
|
2015 |
Engelska |
| 5 |
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
|
|
2011 |
Okänt |
| 6 |
Verified Software: Theories, Tools, Experiments
|
Rajeev Joshi
|
2012 |
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.