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: International Haifa Verification Conference 14 träffar

Titel Författare År Språk
1 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
2 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
3 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
4 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
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 : 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
7 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
8 "Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers" International Haifa Verification Conference 2009 Okänt
9 "Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers" International Haifa Verification Conference 2012 Okänt
10 "Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers" International Haifa Verification Conference 2006 Okänt
11 "Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers" International Haifa Verification Conference 2007 Okänt
12 "Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings" International Haifa Verification Conference 2008 Okänt
13 Formal Verification of Secure User Mode Device Execution with DMA HVC 2014 10th International Haifa Verification Conference Oliver Schwarz 2014 Engelska
14 Computer aided verification - 9th international conference : proceedings International Conference on Computer Aided Verification 1997) Haifa : cop. 1997 Engelska

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.