Cargando…

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Chen, Yu-Fang, Cheng, Chih-Hong, Esparza, Javier
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755888

Ejemplares similares

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)

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
por: Lahiri, Shuvendu K, et al.
Publicado: (2018)

Automated technology for verification and analysis: 12th international symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, proceedings
por: Cassez, Franck, et al.
Publicado: (2014)

Service-oriented computing: 17th international conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Yangui, Sami, et al.
Publicado: (2019)

PRIMA 2019: 22nd international conference, Turin, Italy, October 28-31, 2019, proceedings
por: Baldoni, Matteo, et al.
Publicado: (2019)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Model and data engineering: 9th international conference, MEDI 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Schewe, Klaus-Dieter, et al.
Publicado: (2019)

Future trends in biomedical and health informatics and cybersecurity in medical devices: proceedings of the international conference on biomedical and health informatics, ICBHO 2019, 17-20 April 2019, Taipei, Taiwan
por: Lin, Kang-Ping, et al.
Publicado: (2019)

New trends in model and data engineering: MEDI 2019 international workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, proceedings
por: Attiogbé, Christian, 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)

Progress in pattern recognition, image analysis, computer vision, and applications: 24th Iberoamerican congress, CIARP 2019, Havana, Cuba, October 28-31, 2019, proceedings
por: Nyström, Ingela, et al.
Publicado: (2019)

Testing software and systems: 31st IFIP WG 6. 1 international conference, ICTSS 2019, Paris, France, October 15-17, 2019, proceedings
por: Gaston, Christophe, et al.
Publicado: (2019)

Discovery science: 22nd international conference, DS 2019, Split, Croatia, October 28-30, 2019, proceedings
por: Kralj Novak, Petra, et al.
Publicado: (2019)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

Smart graphics: 12th international symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014, proceedings
por: Christie, Marc, et al.
Publicado: (2014)

Wireless internet: 11th EAI international conference, WiCON 2018, Taipei, Taiwan, October 15-16, 2018, proceedings
por: Chen, Jiann-Liang, et al.
Publicado: (2019)

The status of hospital dentistry in Taiwan in October 2019
por: Cheng, Feng-Chou, et al.
Publicado: (2020)

Network and system security: 10th international conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, proceedings
por: Chen, Jiageng, et al.
Publicado: (2016)

Software technology: 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings
por: Mazzara, Manuel, et al.
Publicado: (2019)

Artificial intelligence: 17th Russian conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2019)

Theoretical aspects of computing - ICTAC 2019: 16th international colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, proceedings
por: Hierons, Robert Mark, et al.
Publicado: (2019)

Risks and security of internet and systems: 14th international conference, CRISIS 2019, Hammamet, Tunisia, October 29-31, 2019, proceedings
por: Kallel, Slim, et al.
Publicado: (2020)

Algorithmic game theory: 12th international symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019, proceedings
por: Fotakis, Dimitris, et al.
Publicado: (2019)

String processing and information retrieval: 26th international symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, proceedings
por: Brisaboa, Nieves R, et al.
Publicado: (2019)

Model-based safety and assessment: 6th international symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, proceedings
por: Papadopoulos, Yiannis, et al.
Publicado: (2019)

Abstracts from the International Science Symposium on HIV and Infectious Diseases (ISSHID 2019): Proceedings: Chennai, India. 12-14 October 2019
Publicado: (2020)

ESICM LIVES 2019: Berlin, Germany. 28 September - 2 October 2019
Publicado: (2019)

Cryptographic hardware and embedded systems - CHES 2017: 19th international conference, Taipei, Taiwan, September 25-28, 2017, proceedings
por: Fischer, Wieland, et al.
Publicado: (2017)

Metadata and semantic research: 13th international conference, MTSR 2019, Rome, Italy, October 28-31, 2019, revised selected papers
por: Garoufallou, Emmanouel, et al.
Publicado: (2019)

Arabic language processing: 7th international conference, ICALP 2019, Nancy, France, October 16-17, 2019, proceedings
por: Smaïli, Kamel
Publicado: (2019)

Artificial intelligence in radiation therapy: first international workshop, AIRT 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, proceedings
por: Nguyen, Dan, et al.
Publicado: (2019)

Broadband communications, networks, and systems: 10th eai international conference, Broadnets 2019, Xi'an, China, October 27-28, 2019, proceedings
por: Li, Qingshan, et al.
Publicado: (2019)

Proceedings of the Simulation Congress 2019: Liege, Belgium. 28 March 2019
Publicado: (2019)

Stabilization, safety, and security of distributed systems: 21st international symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, proceedings
por: Ghaffari, Mohsen, et al.
Publicado: (2019)

Machine learning for medical image reconstruction: second international workshop, MLMIR 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, proceedings
por: Knoll, Florian, et al.
Publicado: (2019)

Search-based software engineering: 11th international symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, proceedings
por: Nejati, Shiva, et al.
Publicado: (2019)

Information retrieval technology: 14th Asia information retrieval societies conference, AIRS 2018, Taipei, Taiwan, November 28-30, 2018, proceedings
por: Tseng, Yuen-Hsien, et al.
Publicado: (2018)

Cyber security cryptography and machine learning: third international symposium, CSCML 2019, Beer-Sheva, Israel, June 27-28, 2019, proceedings
por: Dolev, Shlomi, et al.
Publicado: (2019)

Advances in artificial intelligence: 32nd Canadian conference on artificial intelligence, Canadian AI 2019, Kingston, ON, Canada, May 28-31, 2019, proceedings
por: Meurs, Marie-Jean, et al.
Publicado: (2019)

ICT innovations 2019 big data processing and mining: 11th international conference, ICT innovations 2019, Ohrid, North Macedonia, October 17-19, 2019, proceedings
por: Gievska, Sonja, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_knoht5sti1nn5pmeplba6cbia5