Cargando…

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers

Detalles Bibliográficos
Autores principales:	Blazy, Sandrine, Chechik, Marsha
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757905

Ejemplares similares

Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

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)

Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
por: Gurfinkel, Arie, et al.
Publicado: (2016)

Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
por: Paskevich, Andrei, et al.
Publicado: (2017)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Business information systems workshops: BIS 2016 international workshops, Leipzig, Germany, July 6-8, 2016, revised papers
por: Abramowicz, Witold, et al.
Publicado: (2017)

Software technologies: STAF 2016 collocated workshops DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, revised selected papers
por: Milazzo, Paolo, et al.
Publicado: (2016)

Mobile internet security: first international symposium, MOBISEC 2016, Taichung, Taiwan, July 14-15, 2016, revised selected papers
por: You, Ilsun, et al.
Publicado: (2018)

CONCUR 2008 - concurrency theory: 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, proceedings
por: van Breugel, Franck, et al.
Publicado: (2008)

Data management technologies and applications: 5th international conference, DATA 2016, Colmar, France, July 24-26, 2016, revised selected papers
por: Francalanci, Chiara, et al.
Publicado: (2017)

Structural information and communication complexity: 23rd international colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, revised selected papers
por: Suomela, Jukka
Publicado: (2016)

Quantum interaction: 10th international conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, revised selected papers
por: de Barros, Jose Acacio, et al.
Publicado: (2017)

116th Annual Meeting, Medical Library Association, Inc., Toronto, ON, Canada, May 13–18, 2016
por: Mitchell, Nicole
Publicado: (2017)

A Fast Verified Liveness Analysis in SSA Form
por: Léchenet, Jean-Christophe, et al.
Publicado: (2020)

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

Fast software encryption: 23rd international conference, FSE 2016, Bochum, Germany, March 20-23, 2016, revised selected papers
por: Peyrin, Thomas
Publicado: (2016)

Ad hoc networks: 8th international conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, revised selected papers
por: Zhou, Yifeng, et al.
Publicado: (2016)

Reconstruction, segmentation, and analysis of medical images: first international workshops, RAMBO 2016 and HVSMR 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, revised selected papers
por: Zuluaga, Maria A, et al.
Publicado: (2017)

Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
por: Seidl, Martina, et al.
Publicado: (2018)

Digital forensics and watermarking: 15th international workshop, IWDW 2016, Beijing, China, September 17-19, 2016, revised selected papers
por: Shi, Yun Qing, et al.
Publicado: (2017)

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

ALICE week July 2016
por: Caraban Gonzalez, Noemi
Publicado: (2016)

Summer Camp, July 2016
por: Staff Association
Publicado: (2016)

Model-driven engineering and software development: 4th international conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, revised selected papers
por: Hammoudi, Slimane, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_913sr8ldil2evv3k5po47mg026