Cargando…
Hardware and software: 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014, proceedings
Autor principal: | Yahav, Eran |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2014
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2757809 |
Ejemplares similares
-
Hardware and software: 13th international haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings
por: Strichman, Ofer, et al.
Publicado: (2017) -
Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
por: Bloem, Roderick, et al.
Publicado: (2016) -
Concepts of Modern Physics: The Haifa Lectures
por: Sachs, Mendel
Publicado: (2007) -
Haifa International Workshop on Atomic Physics in Nuclear Experiments
por: Kalish, Rafael, et al.
Publicado: (1977) -
Ophthalmologic emergency room visits during COVID-19 lockdown–Characterization from Haifa, Israel
por: Naaman, Efrat, et al.
Publicado: (2022)