Cargando…

Numerical software verification: 12th international workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Zamani, Majid, Zufferey, Damien
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755218

Ejemplares similares

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)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part IV
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part II
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part I
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part III
por: Sun, Xingming, et al.
Publicado: (2019)

Information security: 22nd international conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, proceedings
por: Lin, Zhiqiang, et al.
Publicado: (2019)

Advances in data mining applications and theoretical aspects: 18th industrial conference, ICDM 2018, New York, NY, USA, July 11-12, 2018, proceedings
por: Perner, Petra
Publicado: (2018)

Machine learning and data mining in pattern recognition: 13th international conference, MLDM 2017, New York, NY, USA, July 15-20, 2017, proceedings
por: Perner, Petra
Publicado: (2017)

Advances in data mining applications and theoretical aspects: 16th industrial conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 proceedings
por: Perner, Petra
Publicado: (2016)

Machine learning and data mining in pattern recognition: 12th international conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, proceedings
por: Perner, Petra
Publicado: (2016)

Security, privacy, and anonymity in computation, communication, and storage: SPACCS 2019 international workshops, Atlanta, GA, USA, July 14-17, 2019, proceedings
por: Wang, Guojun, et al.
Publicado: (2019)

Proceedings of the 14th annual conference of INEBRIA: New York, NY, USA, September 14–15, 2017
por: Holloway, Aisha S., et al.
Publicado: (2017)

Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
por: Beyer, Dirk, et al.
Publicado: (2020)

Lymphocytic Choriomeningitis Virus Meningitis, New York, NY, USA, 2009
por: Asnis, Deborah S., et al.
Publicado: (2010)

Machine learning and data mining in pattern recognition: 14th international conference, MLDM 2018, New York, NY, USA, July 15-19, 2018, proceedings, part II
por: Perner, Petra
Publicado: (2018)

Machine learning and data mining in pattern recognition: 14th international conference, MLDM 2018, New York, NY, USA, July 15-19, 2018, proceedings, part I
por: Perner, Petra
Publicado: (2018)

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
por: Biondi, Fabrizio, et al.
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part III
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part I
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part II
por: Stephanidis, Constantine
Publicado: (2019)

Business modeling and software design: 9th international symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, proceedings
por: Shishkov, Boris
Publicado: (2019)

HCI international 2019 - late breaking posters: 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Stephanidis, Constantine, et al.
Publicado: (2019)

HCI international 2019 - late breaking papers: 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Stephanidis, Constantine
Publicado: (2019)

Combinatorial algorithms: 30th international workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, proceedings
por: Colbourn, Charles J, et al.
Publicado: (2019)

Surveillance for Mosquitoborne Transmission of Zika Virus, New York City, NY, USA, 2016
por: Wahnich, Amanda, et al.
Publicado: (2018)

Network and system security: 9th international conference, NSS 2015, New York, NY, USA, November 3-5, 2015, proceedings
por: Qiu, Meikang, et al.
Publicado: (2015)

Advances in human factors in cybersecurity: proceedings of the AHFE 2019 international conference on human factors in cybersecurity, July 24-28, 2019, Washington D.C., USA
por: Ahram, Tareq, et al.
Publicado: (2019)

Security, privacy, and anonymity in computation, communication, and storage: 12th international conference, SpaCCS 2019, Atlanta, GA, USA, July 14-17, 2019, proceedings
por: Wang, Guojun, et al.
Publicado: (2019)

HCI in games: first international conference, HCI-games 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Fang, Xiaowen
Publicado: (2019)

Proceedings of the 2019 MPP Workshop
por: Strachinescu, Sabina-Ioana, et al.
Publicado: (2019)

Advances in human factors and systems interaction: proceedings of the AHFE 2019 international conference on human factors and systems interaction, July 24-28, 2019, Washington D.C., USA
por: Nunes, Isabel L
Publicado: (2019)

Logic, language, information, and computation: 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings
por: Iemhoff, Rosalie, et al.
Publicado: (2019)

Data and applications security and privacy XXXIII: 33rd annual IFIP WG 11. 3 conference, DBSec 2019, Charleston, SC, USA, July 15-17, 2019, proceedings
por: Foley, Simon N
Publicado: (2019)

HCI for cybersecurity, privacy and trust: first international conference, HCI-CPT 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Moallem, Abbas
Publicado: (2019)

Distributed, ambient and pervasive interactions: 7th international conference, DAPI 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Streitz, Norbert, et al.
Publicado: (2019)

Software engineering for resilient systems: 11th international workshop, SERENE 2019, Naples, Italy, September 17, 2019, proceedings
por: Calinescu, Radu, et al.
Publicado: (2019)

Computing and combinatorics: 25th international conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Human-computer interaction perspectives on design: thematic area, HCI 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part I
por: Kurosu, Masaaki
Publicado: (2019)

Advances in usability and user experience: proceedings of the AHFE 2019 international conferences on usability and user experience, and human factors and assistive technology, July 24-28, 2019, Washington D.C., USA
por: Ahram, Tareq, et al.
Publicado: (2019)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_qom41ncv3j97a392nu9bqm14e6