Cargando…

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings

Detalles Bibliográficos
Autor principal:	Hutton, Graham
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755877

Ejemplares similares

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

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
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)

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)

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

Provable security: 13th international conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, proceedings
por: Steinfeld, Ron, et al.
Publicado: (2019)

Trust, privacy and security in digital business: 13th international conference, TRUSTBUS 2016, Porto, Portugal, September 7-8, 2016, proceedings
por: Katsikas, Sokratis, et al.
Publicado: (2016)

Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
por: Enea, Constantin, et al.
Publicado: (2019)

Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
por: Hinze, Ralf, et al.
Publicado: (2015)

Model and data engineering: 9th international conference, MEDI 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Schewe, Klaus-Dieter, et al.
Publicado: (2019)

Software architecture: 13th European conference, ECSA 2019, Paris, France, September 9-13, 2019, proceedings
por: Bures, Tomas, et al.
Publicado: (2019)

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

Artificial intelligence: 17th Russian conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, proceedings
por: Kuznetsov, Sergei O, 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)

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)

Arabic language processing: 7th international conference, ICALP 2019, Nancy, France, October 16-17, 2019, proceedings
por: Smaïli, Kamel
Publicado: (2019)

Cryptology and network security: 18th international conference, CANS 2019, Fuzhou, China, October 25-27, 2019, proceedings
por: Mu, Yi, et al.
Publicado: (2019)

Health information science: 8th international conference, HIS 2019, Xi'an, China, October 18-20, 2019, proceedings
por: Wang, Hua, et al.
Publicado: (2019)

Service-oriented computing: 17th international conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Yangui, Sami, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part IV
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part V
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part I
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part III
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part II
por: Rodrigues, João M F, 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)

Reachability problems: 13th international conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings
por: Filiot, Emmanuel, et al.
Publicado: (2019)

SCS 4th Annual Conference: Strength and Conditioning for Human Performance, Porto, Portugal, 2021
por: Alcaraz, Pedro E., et al.
Publicado: (2022)

Progress in artificial intelligence: 18th EPIA conference on artificial intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, proceedings
por: Oliveira, Eugénio, et al.
Publicado: (2017)

Evolutionary computation in combinatorial optimization: 16th European conference, EVOCOP 2016, Porto, Portugal, March 30 - April 1, 2016, proceedings
por: Chicano, Francisco, et al.
Publicado: (2016)

Internet and distributed computing systems: 12th international conference, IDCS 2019, Naples, Italy, October 10-12, 2019, proceedings
por: Montella, Raffaele, 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)

Similarity search and applications: 12th international conference, SISAP 2019, Newark, NJ, USA, October 2-4, 2019, proceedings
por: Amato, Giuseppe, et al.
Publicado: (2019)

Risks and security of internet and systems: 14th international conference, CRISIS 2019, Hammamet, Tunisia, October 29-31, 2019, proceedings
por: Kallel, Slim, et al.
Publicado: (2020)

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

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

Cannot write session to /tmp/vufind_sessions/sess_pse6p5qsbrgk2hvl7h6tl4r3gu