Cargando…

Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Bloem, Roderick, Arbel, Eli
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757742

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: 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)

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)

Conceptual modeling: 35th international conference, ER 2016, Gifu, Japan, November 14-17, 2016, proceedings
por: Comyn-Wattiau, Isabelle, et al.
Publicado: (2016)

Dependable software engineering: second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016, proceedings
por: änzle, Martin, et al.
Publicado: (2016)

Product-focused software process improvement: 17th international conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, proceedings
por: Abrahamsson, Pekka, et al.
Publicado: (2016)

Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
por: Artho, Cyrille, et al.
Publicado: (2016)

Software engineering and methodology for emerging domains: 15th national software application conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, proceedings
por: Zhang, Lu, et al.
Publicado: (2017)

Programming languages and systems: 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, proceedings
por: Igarashi, Atsushi
Publicado: (2016)

Cryptology and network security: 15th international conference, CANS 2016, Milan, Italy, November 14-16, 2016, proceedings
por: Foresti, Sara, et al.
Publicado: (2016)

Mathematical software - ICMS 2016: 5th international conference, Berlin, Germany, July 11-14, 2016, proceedings
por: Greuel, Gert-Martin, et al.
Publicado: (2016)

Social informatics: 8th international conference, SOCINFO 2016, Bellevue, WA, USA, November 11-14, 2016, proceedings, part II
por: Spiro, Emma, et al.
Publicado: (2016)

Wireless mobile communication and healthcare: 6th international conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, proceedings
por: Perego, Paolo, et al.
Publicado: (2017)

FM 2016: 21st international symposium, Limassol, Cyprus, November 9-11, 2016, proceedings
por: Fitzgerald, John, et al.
Publicado: (2016)

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

Theory of cryptography: 14th international conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, proceedings, part II
por: Hirt, Martin, et al.
Publicado: (2016)

International Society for Therapeutic Ultrasound Conference 2016: Tel Aviv, Israel. 14-18 March, 2016
por: Fowlkes, Brian, et al.
Publicado: (2017)

Technologies and innovation: second international conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2016)

Systems, software and services process improvement: 23rd European conference, EUROSPI 2016, Graz, Austria, September 14-16, 2016, proceedings
por: Kreiner, Christian, et al.
Publicado: (2016)

Israel Seminar 2014-2016
por: Klartag, Bo'az, et al.
Publicado: (2017)

Big data technologies and applications: 7th international conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, proceedings
por: Jung, Jason J, et al.
Publicado: (2017)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Secure IT systems: 21st Nordic conference, NORDSEC 2016, Oulu, Finland, November 2-4, 2016 proceedings
por: Brumley, Billy Bob, et al.
Publicado: (2016)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

Provable security: 10th international conference, PROVSEC 2016, Nanjing, China, November 10-11, 2016, proceedings
por: Chen, Liqun, et al.
Publicado: (2016)

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

Numerical software verification: 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Bogomolov, Sergiy, et al.
Publicado: (2017)

Health information science: 5th international conference, HIS 2016, Shanghai, China, November 5-7, 2016, proceedings
por: Yin, Xiaoxia, et al.
Publicado: (2016)

Collaborate computing: 12th international conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, proceedings
por: Wang, Shangguang, et al.
Publicado: (2017)

Future network systems and security: second international conference, FNSS 2016, Paris, France, November 23-25, 2016, proceedings
por: Doss, Robin, et al.
Publicado: (2016)

Logics in artificial intelligence: 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings
por: Michael, Loizos, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_m90ur7u7ugfoh6lrj2mi6lqb78