Skip to contents Carver, Richard H. [Author]; Tai, Kuo-Chung [Author] Modern multithreading : implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, N.J. [u.a.]: Wiley, 2006 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 Schließen 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 Ur, Shmuel [Other] ; International Haifa Verification Conference 1 2005 Haifa Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3875 Carver, Richard H. [Other]; Tai, Kuo-Chung [Other] Modern multithreading : implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs Books View online Schließen > Access ... to E-book via Wiley Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ: Wiley, 2006 ; Online-Ausg., 2005 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 Schließen > Access ... to E-book via DOI 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 Ur, Shmuel [Other]; Bin, Eyal [Other]; Wolfsthal, Yaron [Other] Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3875
Carver, Richard H. [Author]; Tai, Kuo-Chung [Author] Modern multithreading : implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, N.J. [u.a.]: Wiley, 2006
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 Schließen 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
Ur, Shmuel [Other] ; International Haifa Verification Conference 1 2005 Haifa Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3875
Carver, Richard H. [Other]; Tai, Kuo-Chung [Other] Modern multithreading : implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs Books View online Schließen > Access ... to E-book via Wiley Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ: Wiley, 2006 ; Online-Ausg., 2005
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 Schließen > Access ... to E-book via DOI 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
Ur, Shmuel [Other]; Bin, Eyal [Other]; Wolfsthal, Yaron [Other] Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3875
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Language Skip to next facet English (5) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (6) Wert ausschließen Mathmatics (5) Wert ausschließen Show more show less
> Creator Skip to next facet Ur, Shmuel (4) Wert ausschließen Bin, Eyal (3) Wert ausschließen Carver, Richard H. (2) Wert ausschließen Tai, Kuo-Chung (2) Wert ausschließen Ziv, Avi (2) Wert ausschließen International Haifa Verification Conference 1 2005 Haifa (1) Wert ausschließen International Haifa Verification Conference 2 2006 Haifa (1) Wert ausschließen Wolfsthal, Yaron (1) Wert ausschließen Show more show less