Cargando…

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II

Detalles Bibliográficos
Autores principales:	Chaudhuri, Swarat, Farzan, Azadeh
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756937

Ejemplares similares

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)

Learning and collaboration technologies: third international conference, LCT 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Zaphiris, Panayiotis, et al.
Publicado: (2016)

Cross-cultural design: 8th international conference, CCD 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Rau, Pei-Luen Patrick
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)

Foundations of augmented cognition: 10th international conference, AC 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings, part I
por: Schmorrow, Dylan D, et al.
Publicado: (2016)

HCI in business, government, and organizations: third international conference, HCIBGO 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part II
por: Nah, Fiona Fui-Hoon, et al.
Publicado: (2016)

Foundations of augmented cognition: 10th international conference, AC 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings, part II
por: Schmorrow, Dylan D, et al.
Publicado: (2016)

Virtual, augmented and mixed reality: 8th international conference, VAMR 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016 proceedings
por: Lackey, Stephanie, et al.
Publicado: (2016)

HCI international 2016 - posters' extended abstracts: 18th international conference, HCI international 2016 Toronto, Canada, July 17-22, 2016 proceedings, part II
por: Stephanidis, Constantine
Publicado: (2016)

HCI international 2016 - posters' extended abstracts: 18th international conference, HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part I
por: Stephanidis, Constantine
Publicado: (2016)

Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
por: Majumdar, Rupak, et al.
Publicado: (2017)

Human interface and the management of information: 18th international conference, HCI international 2016 Toronto, Canada, July 17-22, 2016, proceedings, part I
por: Yamamoto, Sakae
Publicado: (2016)

Design, user experience, and usability: 5th international conference, DUXU 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part I
por: Marcus, Aaron
Publicado: (2016)

Design, user experience, and usability: 5th international conference, DUXU 2016, held as part of HCI international 2016, Toronto, Canada, July 17-22, 2016, proceedings, part III
por: Marcus, Aaron
Publicado: (2016)

Human aspects of IT for the aged population design for aging: second international conference, ITAP 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings, part I
por: Zhou, Jia, et al.
Publicado: (2016)

Human aspects of information security, privacy, and trust: 4th international conference, HAS 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Tryfonas, Theo
Publicado: (2016)

Developments in language theory: 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016, proceedings
por: Brlek, Srečko, et al.
Publicado: (2016)

Human-computer interaction theory, design, development and practice: 18th international conference, HCI international 2016, Toronto, ON, Canada, July 17-22, 2016 proceedings, part I
por: Kurosu, Masaaki
Publicado: (2016)

Proceedings of the 2016 Childhood Arthritis and Rheumatology Research Alliance (CARRA) Scientific Meeting: Toronto, Canada. 14-17 April 2016
por: Fotis, Lampros, et al.
Publicado: (2016)

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II
por: Kroening, Daniel, et al.
Publicado: (2015)

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Blazy, Sandrine, 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)

Tests and proofs: 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016, proceedings
por: Aichernig, Bernhard K, et al.
Publicado: (2016)

Advances in soft computing: 15th mexican international conference on artificial intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, proceedings, part II
por: Pichardo-Lagunas, Obdulia, et al.
Publicado: (2017)

Advances in computational intelligence: 15th Mexican international conference on artificial intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, proceedings, part I
por: Sidorov, Grigori, et al.
Publicado: (2017)

IAIS Symposium on Novel Molecular Approaches to Anti-inflammatory Therapy 22–23 July 1994 Toronto Canada
Publicado: (1994)

Haptics: 10th international conference, EuroHaptics 2016, London, UK, July 4-7, 2016, proceedings, part II
por: Bello, Fernando, et al.
Publicado: (2016)

Haptics: 10th international conference, EuroHaptics 2016, London, UK, July 4-7, 2016, proceedings, part I
por: Bello, Fernando, et al.
Publicado: (2016)

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification: first international conference, RSSRAIL 2016, Paris, France, June 28-30, 2016, proceedings
por: Lecomte, Thierry, et al.
Publicado: (2016)

Quantitative evaluation of systems: 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, proceedings
por: Agha, Gul, et al.
Publicado: (2016)

SESAME July 2016
por: Bennett, Sophia Elizabeth
Publicado: (2016)

Graph transformation: 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016, proceedings
por: Echahed, Rachid, et al.
Publicado: (2016)

Proceedings of the 23(rd) Paediatric Rheumatology European Society Congress: part three: Genoa, Italy. 28 September – 01 October 2016
por: Papa, Riccardo, et al.
Publicado: (2017)

Proceedings of the 23(rd) Paediatric Rheumatology European Society Congress: part one: Genoa, Italy. 28 September–01 October 2016
por: De Benedetti, F., et al.
Publicado: (2017)

Proceedings of the 23(rd) Paediatric Rheumatology European Society Congress: part two: Genoa, Italy. 28 September – 01 October 2016
por: Lomakina, Olga, et al.
Publicado: (2017)

Reversible computation: 8th international conference, RC 2016, Bologna, Italy, July 7-8, 2016, proceedings
por: Devitt, Simon, 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)

Proceedings of the IX International Symposium on Phlebotomine Sandflies (ISOPS IX), Reims, France, June 28th–July 1st, 2016
por: Depaquit, Jérôme, et al.
Publicado: (2016)

SOFSEM 2016: 42nd international conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 23-28, 2016, proceedings
por: Freivalds, Rūsiņs Mārtiņs, et al.
Publicado: (2016)

Information security and privacy: 21st australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, proceedings, part II
por: Liu, Joseph K, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_7nod0vi9p47qjah73sa2g4ml2e