Cargando…

Numerical software verification: 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers

Detalles Bibliográficos
Autores principales:	Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761480

Ejemplares similares

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)

Numerical software verification: 12th international workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, proceedings
por: Zamani, Majid, et al.
Publicado: (2019)

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)

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)

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)

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

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)

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)

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

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)

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)

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

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)

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)

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

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)

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)

Numerical analysis and its applications: 6th international conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, revised selected papers
por: Dimov, Ivan, 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)

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)

Game theory for networks: 6th international conference, GameNets 2016, Kelowna, BC, Canada, May 11-12, 2016, revised selected papers
por: Cheng, Julian, et al.
Publicado: (2016)

Selected areas in cryptography - SAC 2016: 23rd international conference, St. John's, NL, Canada, August 10-12, 2016, revised selected papers
por: Avanzi, Roberto, et al.
Publicado: (2017)

Foundations and practice of security: 9th international symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, revised selected papers
por: Cuppens, édéric, et al.
Publicado: (2016)

XVIII KKIO 2016 Software Engineering Conference 2016
por: Madeyski, Lech, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_gcit5ugtouf2il8adtgdjt67hg