Cargando…

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings

Detalles Bibliográficos
Autor principal:	Chang, Bor-Yuh Evan
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755928

Ejemplares similares

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

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: Soares Barbosa, Luís, et al.
Publicado: (2020)

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
por: Ribeiro, Pedro, et al.
Publicado: (2019)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, 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)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Proceedings of the Sergio Porto Memorial Symposium
por: Guimaraes, Wladimir, et al.
Publicado: (1981)

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

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

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
por: Podelski, Andreas
Publicado: (2018)

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

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)

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

E-infrastructure and e-services for developing countries: 11th EAI international conference, AFRICOMM 2019, Porto-Novo, Benin, December 3-4, 2019, proceedings
por: Zitouni, Rafik, et al.
Publicado: (2020)

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

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

Static analysis: 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, proceedings
por: Riis Nielson, Hanne, et al.
Publicado: (2007)

Pattern recognition: 11th Mexican conference, MCPR 2019, Querétaro, Mexico, June 26-29, 2019, proceedings
por: Carrasco-Ochoa, Jesús Ariel, et al.
Publicado: (2019)

CAS Proceedings of the 2019 course on High Gradient Wakeﬁeld Accelerators, Sesimbra, Portugal, 11–22 March 2019
por: Schmickler, Hermann
Publicado: (2020)

Applied reconfigurable computing: 15th international symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, proceedings
por: Hochberger, Christian, et al.
Publicado: (2019)

Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2017)

NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, proceedings
por: Badger, Julia M, et al.
Publicado: (2019)

Proceedings 26th Symposium ESVN‐ECVN
Publicado: (2014)

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)

Static analysis: 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings
por: Rival, Xavier
Publicado: (2016)

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

Exploring service science: 10th international conference, IESS 2020, Porto, Portugal, February 5-7, 2020, proceedings
por: Nóvoa, Henriqueta, et al.
Publicado: (2020)

Architecture of computing systems - ARCS 2015: 28th international conference, Porto, Portugal, March 24-27, 2015, proceedings
por: Karl, Wolfgang, et al.
Publicado: (2015)

Smart blockchain: second international conference, SmartBlock 2019, Birmingham, UK, October 11-13, 2019, proceedings
por: Qiu, Meikang
Publicado: (2019)

Cyberspace safety and security: 11th international symposium, CSS 2019, Guangzhou, China, December 1-3, 2019, proceedings, part I
por: Vaidya, Jaideep, et al.
Publicado: (2020)

Cyberspace safety and security: 11th international symposium, CSS 2019, Guangzhou, China, December 1-3, 2019, proceedings, part II
por: Vaidya, Jaideep, et al.
Publicado: (2020)

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

Collaboration in a hyperconnected world: 17th IFIP WG 5. 5 working conference on virtual enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, proceedings
por: Afsarmanesh, Hamideh, et al.
Publicado: (2016)

Biometric recognition: 14th Chinese conference, CCBR 2019, Zhuzhou, China, October 12-13, 2019, proceedings
por: Sun, Zhenan, 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)

Advances in visual computing: 14th international symposium on visual computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, proceedings, part I
por: Bebis, George, et al.
Publicado: (2019)

Advances in visual computing: 14th international symposium on visual computing, ISVC 2019, Lake Tahoe, NV, USA, October 7-9, 2019, proceedings, part II
por: Bebis, George, et al.
Publicado: (2019)

ICT systems security and privacy protection: 34th IFIP TC 11 international conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, proceedings
por: Dhillon, Gurpreet, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_lrcurrlg0vgt5rle9rouv8ok99