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: Israel) (2008 International Haifa Verification Conference Haifa
5 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Hardware and Software: Verification and Testing electronic resource : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers / edited by Hana Chockler, Alan J. Hu
|
Israel) (2008 International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
2 |
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
|
Israel) 2005 : (1st International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
3 |
Hardware and Software: Verification and Testing electronic resource : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
|
Israel) 2009 : (5th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
4 |
Hardware and Software: Verification and Testing electronic resource : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenҫo, Onn Shehory
|
Israel) 2011 : (7th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
5 |
Hardware and Software: Verification and Testing electronic resource : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
|
Israel) 2010 : (6th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
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.