Skip to contents

  1. Bin, Eyal [Editor]; Ziv, Avi [Other]; Ur, Shmuel [Other] ; International Haifa Verification Conference 2 2006 Haifa

    Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4383

  2. Namjoshi, Kedar S. [Author] ; Zeller, Andreas [Editor]; Ziv, Avi [Editor]

    Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6405

  3. Bin, Eyal [Other]; Ur, Shmuel [Other]; Ziv, Avi [Other]

    Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4383

  4. Fishman, Arthur [Author]; Hellman, Ziv [Author]; Weiss, Avi [Author]

    Investing in long-term customer relationships

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Ramat-Gan, Israel]: [Bar Ilan University, Department of Economics], 2016

    Published in: Universiṭat Bar-Ilan: Department working papers ; 20160700