Cargando…

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Soares Barbosa, Luís, Baltag, Alexandru
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2020
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2760754

Ejemplares similares

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)

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)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
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)

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)

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)

Logic, rationality, and interaction: 7th international workshop, LORI 2019, Chongqing, China, October 18-21, 2019, proceedings
por: Blackburn, Patrick, 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)

Smart blockchain: second international conference, SmartBlock 2019, Birmingham, UK, October 11-13, 2019, proceedings
por: Qiu, Meikang
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)

Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings
por: Madeira, Alexandre, et al.
Publicado: (2018)

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

Proceedings of the 2019 MPP Workshop
por: Strachinescu, Sabina-Ioana, 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)

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)

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)

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)

Logics in artificial intelligence: 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019, proceedings
por: Calimeri, Francesco, et al.
Publicado: (2019)

Logic, language, information, and computation: 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings
por: Iemhoff, Rosalie, et al.
Publicado: (2019)

The Incidence, Mortality, and DALYs Trends Associated with Esophageal Cancer — China, 1990–2019
por: Ma, Li, et al.
Publicado: (2022)

Trends in the Incidence and DALYs of Urolithiasis From 1990 to 2019: Results From the Global Burden of Disease Study 2019
por: Li, Shasha, et al.
Publicado: (2022)

Hybrid metaheuristics: 11th international workshop, HM 2019, Concepción, Chile, January 16-18, 2019, proceedings
por: Blesa Aguilera, María J, et al.
Publicado: (2018)

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

Emerging technologies for authorization and authentication: second international workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, proceedings
por: Saracino, Andrea, et al.
Publicado: (2020)

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)

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

Dalí --- Dalí --- Dalí
por: Dalí, Salvador, 1904-1989
Publicado: (1974)

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)

Software engineering for resilient systems: 11th international workshop, SERENE 2019, Naples, Italy, September 17, 2019, proceedings
por: Calinescu, Radu, et al.
Publicado: (2019)

Data analytics for renewable energy integration: third ECML PKDD workshop, DARE 2015, Porto, Portugal, September 11, 2015 revised selected papers
por: Woon, Wei Lee, et al.
Publicado: (2015)

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)

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)

Computational neuroscience: second Latin American workshop, LAWCN 2019, São João Del-Rei, Brazil, September 18-20, 2019, proceedings
por: Cota, Vinícius Rosa, 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)

Blockchain technology and application: second CCF China blockchain conference, CBCC 2019, Chengdu, China, October 11-13, 2019, revised selected papers
por: Si, Xueming, et al.
Publicado: (2020)

Machine learning and medical engineering for cardiovascular health and intravascular imaging and computer assisted stenting: first international workshop, MLMECH 2019, and 8th joint international workshop, CVII-STENT 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, proceedings
por: Liao, Hongen, et al.
Publicado: (2019)

Biometric recognition: 14th Chinese conference, CCBR 2019, Zhuzhou, China, October 12-13, 2019, proceedings
por: Sun, Zhenan, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_15fpclrh5d3dhciq2tpjgivgpv