Cargando…

Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Artho, Cyrille, Legay, Axel, Peled, Doron
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761683

Ejemplares similares

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings
por: Chen, Yu-Fang, et al.
Publicado: (2019)

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)

Formal techniques for safety-critical systems: 5th international workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, revised selected papers
por: Artho, Cyrille, et al.
Publicado: (2017)

Search based software engineering: 8th international symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, proceedings
por: Sarro, Federica, et al.
Publicado: (2016)

OpenMP: 12th international workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, proceedings
por: Maruyama, Naoya, et al.
Publicado: (2016)

Neural information processing: 23rd international conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, proceedings, part II
por: Hirose, Akira, et al.
Publicado: (2016)

Neural information processing: 23rd international conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, proceedings, part IV
por: Hirose, Akira, et al.
Publicado: (2016)

Neural information processing: 23rd international conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, proceedings, part III
por: Hirose, Akira, et al.
Publicado: (2016)

Neural information processing: 23rd international conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, proceedings, part I
por: Hirose, Akira, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part I
por: Leibe, Bastian, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part V
por: Leibe, Bastian, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part VI
por: Leibe, Bastian, et al.
Publicado: (2016)

The semantic web - ISWC 2016: 15th international semantic web conference, Kobe, Japan, October 17-21, 2016, proceedings, part I
por: Groth, Paul, et al.
Publicado: (2016)

Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
por: Bloem, Roderick, et al.
Publicado: (2016)

42-October 2016
Publicado: (2016)

In the literature: October 2016
por: Cervantes, Andres
Publicado: (2016)

Programming languages and systems: 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, proceedings
por: Igarashi, Atsushi
Publicado: (2016)

Knowledge engineering and semantic web: 7th international conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, proceedings
por: Ngonga Ngomo, Axel-Cyrille, et al.
Publicado: (2016)

Conceptual modeling: 35th international conference, ER 2016, Gifu, Japan, November 14-17, 2016, proceedings
por: Comyn-Wattiau, Isabelle, et al.
Publicado: (2016)

FM 2016: 21st international symposium, Limassol, Cyprus, November 9-11, 2016, proceedings
por: Fitzgerald, John, et al.
Publicado: (2016)

Human behavior understanding: 7th international workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, proceedings
por: Chetouani, Mohamed, et al.
Publicado: (2016)

Brain informatics and health: international conference, BIH 2016, Omaha, NE, USA, October 13-16, 2016 proceedings
por: Ascoli, Giorgio A, et al.
Publicado: (2016)

Intelligent visual surveillance: 4th chinese conference, IVS 2016, Beijing, China, October 19, 2016, proceedings
por: Zhang, Zhang, 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)

Characterization of large and small-plaque variants in the Zika virus clinical isolate ZIKV/Hu/S36/Chiba/2016
por: Kato, Fumihiro, et al.
Publicado: (2017)

EAPS Congress 2016: October 21-25, 2016
Publicado: (2016)

Simulation and synthesis in medical imaging: first international workshop, SASHIMI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, proceedings
por: Tsaftaris, Sotirios A, et al.
Publicado: (2016)

Theory of cryptography: 14th international conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, proceedings, part II
por: Hirt, Martin, et al.
Publicado: (2016)

Latin 2016: 12th Latin American symposium, Ensenada, Mexico, April 11-15, 2016, proceedings
por: Kranakis, Evangelos, et al.
Publicado: (2016)

Computer vision - ECCV 2016 workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, proceedings, part II
por: Hua, Gang, et al.
Publicado: (2016)

Computer performance engineering: 13th European workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, proceedings
por: Fiems, Dieter, et al.
Publicado: (2016)

Social media processing: 5th national conference, SMP 2016, Nanchang, China, October 29-30, 2016, proceedings
por: Xiang, Guoxiong, et al.
Publicado: (2016)

Helix: October 2016 issue
por: Pulst, Stefan M.
Publicado: (2016)

Patch-based techniques in medical imaging: second international workshop, Patch-MI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, proceedings
por: Wu, Guorong, et al.
Publicado: (2016)

Computational color imaging: 7th international workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019, proceedings
por: Tominaga, Shoji, et al.
Publicado: (2019)

Evaluating the antimicrobial use on dairy farms in Chiba Prefecture in Japan using the antimicrobial treatment incidence, an indicator based on Japanese defined daily doses from 2014–2016
por: KIKUCHI, Masato, et al.
Publicado: (2022)

Knowledge science, engineering and management: 9th international conference, KSEM 2016, Passau, Germany, October 5-7, 2016, proceedings
por: Lehner, Franz, et al.
Publicado: (2016)

Electronic voting: first international joint conference, E-VOTE-ID 2016, Bregenz, Austria, October 18-21, 2016, proceedings
por: Krimmer, Robert, et al.
Publicado: (2017)

Dependable software engineering: second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016, proceedings
por: änzle, Martin, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_foij8uiubipp05mcjhd1leefbh