Cargando…

Static analysis: 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings

Detalles Bibliográficos
Autor principal:	Rival, Xavier
Lenguaje:	eng
Publicado:	Springer 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757909

Ejemplares similares

Programming languages: 20th Brazilian symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings
por: Castor, Fernando, et al.
Publicado: (2016)

Proceedings 29th Symposium ESVN‐ECVN Edinburgh, United Kingdom 16th–17th September 2016
Publicado: (2016)

Algorithmic game theory: 9th international symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, proceedings
por: Gairing, Martin, et al.
Publicado: (2016)

Systems, software and services process improvement: 23rd European conference, EUROSPI 2016, Graz, Austria, September 14-16, 2016, proceedings
por: Kreiner, Christian, et al.
Publicado: (2016)

Static analysis: 21st international symposium, SAS 2014, Munich, Germany, September 11-13, 2014 proceedings
por: Müller-Olm, Markus, et al.
Publicado: (2014)

Scalable uncertainty management: 10th international conference, SUM 2016, Nice, France, September 21-23, 2016, proceedings
por: Schockaert, Steven, et al.
Publicado: (2016)

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

Analytical and stochastic modelling techniques and applications: 23rd international conference, AMSTA 2016, Cardiff, UK, August 24-26, 2016, proceedings
por: Wittevrongel, Sabine, et al.
Publicado: (2016)

In September 2016 (21st to 23rd) CERN host "Cryogenic Safety" seminar
por: Ordan, Julien
Publicado: (2016)

Distributed computing: 30th international symposium, DISC 2016, Paris, France, September 27-29, 2016 proceedings
por: Gavoille, Cyril, et al.
Publicado: (2016)

Parallel problem solving from nature - PPSN XIV: 14th international conference, Edinburgh, UK, September 17-21, 2016, proceedings
por: Handl, Julia, et al.
Publicado: (2016)

Proceedings of the 23(rd) Paediatric Rheumatology European Society Congress: part three: Genoa, Italy. 28 September – 01 October 2016
por: Papa, Riccardo, et al.
Publicado: (2017)

Proceedings of the 23(rd) Paediatric Rheumatology European Society Congress: part one: Genoa, Italy. 28 September–01 October 2016
por: De Benedetti, F., et al.
Publicado: (2017)

Proceedings of the 23(rd) Paediatric Rheumatology European Society Congress: part two: Genoa, Italy. 28 September – 01 October 2016
por: Lomakina, Olga, et al.
Publicado: (2017)

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

Security in computing and communications: 4th international symposium, SSCC 2016, Jaipur, India, September 21-24, 2016, proceedings
por: Mueller, Peter, et al.
Publicado: (2016)

Hybrid metaheuristics: 10th international workshop, HM 2016, Plymouth, UK, June 8-10, 2016, proceedings
por: Blesa, Maria J, et al.
Publicado: (2016)

Web technologies and applications: APWeb 2016 workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, proceedings
por: Morishima, Atsuyuki, et al.
Publicado: (2016)

Model and data engineering: 6th international conference, MEDI 2016, Almería, Spain, September 21-23, 2016, proceedings
por: Bellatreche, Ladjel, et al.
Publicado: (2016)

Belief functions: 4th international conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, proceedings
por: Vejnarová, Jiřina, et al.
Publicado: (2016)

Research in attacks, intrusions, and defenses: 19th international symposium, RAID 2016, Paris, France, September 19-21, 2016, proceedings
por: Monrose, Fabian, et al.
Publicado: (2016)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

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

Swarm intelligence: 10th international conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, proceedings
por: Dorigo, Marco, et al.
Publicado: (2016)

Computer algebra in scientific computing: 18th international workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, proceedings
por: Gerdt, Vladimir P, et al.
Publicado: (2016)

Discrete optimization and operations research: 9th international conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, proceedings
por: Kochetov, Yury, et al.
Publicado: (2016)

Algorithms - ESA 2015: 23rd annual European symposium, Patras, Greece, September 14-16, 2015, proceedings
por: Bansal, Nikhil, et al.
Publicado: (2015)

Engineering applications of neural networks: 17th international conference, EANN 2016, Aberdeen, UK, September 2-5, 2016, proceedings
por: Jayne, Chrisina, et al.
Publicado: (2016)

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

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

Proceedings of the World Molecular Imaging Congress 2016, New York, New York, September 7-10, 2016: General Abstracts
Publicado: (2016)

Search based software engineering: 8th international symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, proceedings
por: Sarro, Federica, et al.
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)

Abstracts of the 3(rd) International Conference on Cancer Cachexia, September 23–25, 2016 in Washington, DC, USA
Publicado: (2017)

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 security - ESORICS 2016: 21st European symposium on research in computer security, Heraklion, Greece, September 26-30, 2016, proceedings, part II
por: Askoxylakis, Ioannis, et al.
Publicado: (2016)

Proceedings of the 23rd Asia Pacific symposium on intelligent and evolutionary systems
por: Sato, Hiroshi, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_nmguoqrbo8ueicetundhji3mnc