Cargando…

Hardware and software: 13th international haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Strichman, Ofer, Tzoref-Brill, Rachel
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756959

Ejemplares similares

Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
por: Bloem, Roderick, et al.
Publicado: (2016)

Hardware and software: 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014, proceedings
por: Yahav, Eran
Publicado: (2014)

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)

Environmental exposures and fetal growth: the Haifa pregnancy cohort study
por: Golan, Rachel, et al.
Publicado: (2018)

Prevalence of respiratory conditions among schoolchildren exposed to different levels of air pollutants in the Haifa Bay area, Israel.
por: Goren, A I, et al.
Publicado: (1990)

1st Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms
por: Golumbic, Martin Charles, et al.
Publicado: (2005)

Characterization of the complete mitogenome of Haifa grouper, Hyporthodus haifensis (Perciformes: Serranidae), and its phylogenetic position within Epinephelini
por: Vella, Noel, et al.
Publicado: (2021)

The 1st International Summit on predictive, preventive, participatory & personalized health (P4H): Thinking global—treating personal: will be held in Haifa, Israel on October 10–11, 2010
Publicado: (2010)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

In commemoration of Prof. M.R. Warburg and of his contribution to terrestrial Isopod biology (31 May 1931, Berlin–9 February 2014, Haifa)
por: Hornung, Elisabeth
Publicado: (2015)

Simulated evolution and learning: 11th international conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, proceedings
por: Shi, Yuhui, et al.
Publicado: (2017)

Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
por: Lahiri, Shuvendu, et al.
Publicado: (2017)

Digital libraries: 19th international conference on Asia-Pacific digital libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, proceedings
por: Choemprayong, Songphan, et al.
Publicado: (2017)

Software business: 8th international conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, proceedings
por: Ojala, Arto, et al.
Publicado: (2017)

Informatics in schools: 10th international conference on informatics in schools situation, evolution, and perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, proceedings
por: Dagienė, Valentina, et al.
Publicado: (2017)

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

Information security practice and experience: 13th international conference, ISPEC 2017, Melbourne, VIC, Australia, December 13-15, 2017, proceedings
por: Liu, Joseph K, et al.
Publicado: (2017)

Announcement: U.S. Antibiotic Awareness Week — November 13–19, 2017
Publicado: (2017)

Collaborative computing: 13th international conference, CollaborateCom 2017, Edinburgh, UK, December 11-13, 2017, proceedings
por: Romdhani, Imed, et al.
Publicado: (2018)

Distributed computing and internet technology: 13th international conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, proceedings
por: Krishnan, Padmanabhan, et al.
Publicado: (2016)

Mobile networks and management: 9th international conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, proceedings
por: Hu, Jiankun, et al.
Publicado: (2018)

Product-focused software process improvement: 18th international conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, proceedings
por: Felderer, Michael, et al.
Publicado: (2017)

Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2017)

Brain informatics: international conference, BI 2017, Beijing, China, November 16-18, 2017, proceedings
por: Zeng, Yi, et al.
Publicado: (2017)

Mining intelligence and knowledge exploration: 5th international conference, MIKE 2017, Hyderabad, India, December 13-15, 2017, proceedings
por: Ghosh, Ashish, et al.
Publicado: (2017)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

PRIMA 2017: 20th international conference, Nice, France, October 30 - November 3, 2017, proceedings
por: An, Bo, et al.
Publicado: (2017)

Proceedings of the 2017 International Conference of Precision Health and Precision Nutrition: Shanghai, China. 6-7 November 2017
Publicado: (2018)

Information retrieval: 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, proceedings
por: Wen, Jirong, et al.
Publicado: (2017)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, et al.
Publicado: (2018)

Wireless mobile communication and healthcare: 7th international conference, MobiHealth 2017, Vienna, Austria, November 14-15, 2017, proceedings
por: Perego, Paolo, et al.
Publicado: (2018)

Mathematical aspects of computer and information sciences: 7th international conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, proceedings
por: Blömer, Johannes, et al.
Publicado: (2017)

Geometric science of information: third international conference, GSI 2017, Paris, France, November 7-9, 2017, proceedings
por: Nielsen, Frank, et al.
Publicado: (2017)

Secure IT systems: 22nd Nordic conference, NORDSEC 2017, Tartu, Estonia, November 8-10, 2017, proceedings
por: Lipmaa, Helger, et al.
Publicado: (2017)

Fundamentals of computation theory: 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, proceedings
por: Klasing, Ralf, et al.
Publicado: (2017)

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017)

Security in computing and communications: 5th international symposium, SSCC 2017, Manipal, India, september 13-16, 2017, proceedings
por: Thampi, Sabu M, et al.
Publicado: (2017)

Web and internet economics: 13th international conference, WINE 2017, Bangalore, India, December 17-20, 2017, proceedings
por: R Devanur, Nikhil, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_e8hisn0rknmpp0mf3081tmavkf