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 7 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 : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (editor) Israel) 2007 : (3rd International Haifa Verification Conference Haifa uuuu-uuuu Okänt
3 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
4 Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (editors) Israel) 2006 : (2nd International Haifa Verification Conference Haifa uuuu-uuuu Okänt
5 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
6 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
7 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.