Cargando…

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

Detalles Bibliográficos
Autores principales:	Beyer, Dirk, Keller, Chantal
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755226

Ejemplares similares

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)

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)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, 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)

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)

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)

Predictive intelligence in medicine: second international workshop, PRIME 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, proceedings
por: Rekik, Islem, et al.
Publicado: (2019)

Proceedings of the Simulation Congress 2019: Liege, Belgium. 28 March 2019
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)

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Proceeding of the International Digital Dentistry Society World Congress, Baden Baden 2019: Baden Baden, Germany. 3-6 October 2019
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)

Services - SERVICES 2019: 15th world congress, held as part of the services conference federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, proceedings
por: Xia, Yunni, 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)

The Second Euro-Asian Congress of Pharmacoepidemiology Recently Held in Tehran 2019
por: Olsson, Sten
Publicado: (2020)

Big data - BigData 2019: 8th international congress, held as part of the services conference federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, proceedings
por: Chen, Keke, et al.
Publicado: (2019)

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

Edge computing - EDGE 2019: third international conference, held as part of the services conference federation, SCF 2019, San Diego, ca, USA, June 25-30, 2019, proceedings
por: Zhang, Tao, et al.
Publicado: (2019)

Cognitive computing - ICCC 2019: third international conference, held as part of the services conference federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, proceedings
por: Xu, Ruifeng, 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)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, et al.
Publicado: (2019)

Proceedings of Réanimation 2019, the French Intensive Care Society International Congress
Publicado: (2019)

Multimodal brain image analysis and mathematical foundations of computational anatomy: 4th international workshop, MBIA 2019, and 7th international workshop, MFCA 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, proceedings
por: Zhu, Dajiang, et al.
Publicado: (2019)

In the literature: October 2019
por: Tarazona, Noelia, et al.
Publicado: (2019)

Theory and applications of satisfiability testing - SAT 2019: 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, proceedings
por: Janota, Mikolás, et al.
Publicado: (2019)

Digital pathology: 15th European congress, ECDP 2019, Warwick, UK, april 10-13, 2019, proceedings
por: Reyes-Aldasoro, Constantino Carlos, et al.
Publicado: (2019)

Telematics and computing: 8th international congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019, proceedings
por: Mata-Rivera, Miguel Felix, et al.
Publicado: (2019)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Dementia Lab 2019 making design work: 4th conference, d-Lab 2019, Eindhoven, The Netherlands, October 21-22, 2019, proceedings
por: Brankaert, Rens, 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)

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

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

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)

MEDINFO 2019: proceedings of the 17th World Congress on Medical and Health Informatics
por: Ohno-Machado, L, et al.
Publicado: (2019)

Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings
por: Ahrendt, Wolfgang, et al.
Publicado: (2019)

Formal concept analysis: 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, proceedings
por: Cristea, Diana, et al.
Publicado: (2019)

The 2019 World Sleep Congress
por: Andersen, Monica Levy
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_i4vb2v9uj0pvsofkpdcdgp26eg