Cargando…

Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6. 1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Baier, Christel, Caires, Luís
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2763932

Ejemplares similares

Coordination models and languages: 20th IFIP WG 6. 1 international conference, COORDINATION 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 proceedings
por: Di Marzo Serugendo, Giovanna, et al.
Publicado: (2018)

Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6. 1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
por: Graf, Susanne, et al.
Publicado: (2015)

Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
por: Albert, Elvira, et al.
Publicado: (2016)

Distributed applications and interoperable systems: 15th IFIP WG 6. 1 international conference, DAIS 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, june 2-4, 2015, proceedings
por: Bessani, Alysson, et al.
Publicado: (2015)

Distributed applications and interoperable systems: 17th IFIP WG 6. 1 international conference, DAIS 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, proceedings
por: Chen, Lydia Y, et al.
Publicado: (2017)

Distributed applications and interoperable systems: 19th IFIP WG 6 1 international conference, DAIS 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Pereira, José, et al.
Publicado: (2019)

Distributed applications and interoperable systems: 16th ifip wg 6 1 international conference, DAIS 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings
por: Jelasity, Márk, et al.
Publicado: (2016)

Coordination models and languages: 19th IFIP WG 6. 1 international conference, COORDINATION 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, proceedings
por: Jacquet, Jean-Marie, et al.
Publicado: (2017)

Coordination models and languages: 17th IFIP WG 6. 1 international conference, COORDINATION 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, proceedings
por: Holvoet, Tom, et al.
Publicado: (2015)

Coordination models and languages: 18th IFIP WG 6. 1 international conference, coordination 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings
por: Lluch Lafuente, Alberto, et al.
Publicado: (2016)

Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Pérez, Jorge A, et al.
Publicado: (2019)

Coordination models and languages: 21st IFIP WG 6. 1 international conference, COORDINATION 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Riis Nielson, Hanne, et al.
Publicado: (2019)

Open source systems: 14th IFIP WG 2. 13 international conference, OSS 2018, Athens, Greece, June 8-10, 2018, proceedings
por: Stamelos, Ioannis, et al.
Publicado: (2018)

Testing software and systems: 30th IFIP WG 6. 1 international conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, proceedings
por: Medina-Bulo, Inmaculada, et al.
Publicado: (2018)

Trust management XII: 12th IFIP WG 11. 11 international conference, IFIPTM 2018, Toronto, ON, Canada, July 10-13, 2018, proceedings
por: Gal-Oz, Nurit, et al.
Publicado: (2018)

Artificial intelligence applications and innovations: 14th IFIP WG 12. 5 international conference, AIAI 2018, Rhodes, Greece, May 25-27, 2018, proceedings
por: Iliadis, Lazaros, et al.
Publicado: (2018)

Network and parallel computing: 15th IFIP WG 10. 3 international conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018, proceedings
por: Zhang, Feng, et al.
Publicado: (2018)

Wired/wireless internet communications: 16th IFIP WG 6. 2 international conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018, proceedings
por: Chowdhury, Kaushik Roy, et al.
Publicado: (2018)

34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Publicado: (2014)

Digitalisation, innovation, and transformation: 18th IFIP WG 8. 1 international conference on informatics and semiotics in organisations, ICISO 2018, Reading, UK, July 16-18, 2018, proceedings
por: Liu, Kecheng, et al.
Publicado: (2018)

Information security theory and practice: 12th IFIP WG 11. 2 international conference, WISTP 2018, Brussels, Belgium, December 10-11, 2018, revised selected papers
por: Blazy, Olivier, et al.
Publicado: (2019)

Critical infrastructure protection xii: 12th IFIP WG 11. 10 international conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, revised selected papers
por: Staggs, Jason, et al.
Publicado: (2018)

Product lifecycle management to support industry 4.0: 15th IFIP WG 5. 1 international conference, PLM 2018, Turin, Italy, July 2-4, 2018, proceedings
por: Chiabert, Paolo, et al.
Publicado: (2018)

Entertainment computing - ICEC 2018: 17th IFIP TC 14 international conference, held at the 24th IFIP world computer congress, WCC 2018, Poznan, Poland, September 17-20, 2018, proceedings
por: Clua, Esteban, et al.
Publicado: (2018)

Human-centered software engineering: 7th IFIP WG 13. 2 international working conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, revised selected papers
por: Bogdan, Cristian, et al.
Publicado: (2018)

Research and practical issues of enterprise information systems: 12th IFIP WG 8. 9 working conference, CONFENIS 2018, held at the 24th IFIP world computer congress, WCC 2018, Poznan, Poland, September 18-19, 2018, proceedings
por: Tjoa, A Min, et al.
Publicado: (2018)

Smart working, living and organising: IFIP WG 8. 6 international conference on transfer and diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, proceedings
por: Elbanna, Amany, et al.
Publicado: (2018)

12th ACM International Conference on Distributed and Event-based Systems (DEBS 2018)
por: Collective
Publicado: (2018)

Post-quantum cryptography: 9th international conference, PQCRYPTO 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, proceedings
por: Lange, Tanja, et al.
Publicado: (2018)

The 8th International Conference "Distributed Computing and Grid-technologies in Science and Education" (GRID 2018)
Publicado: (2018)

27th International Cryogenic Engineering Conference - International Cryogenic Materials Conference 2018
por: Bradshaw, T, et al.
Publicado: (2018)

Advances in digital forensics XIV: 14th IFIP WG 11. 9 international conference, New Delhi, India, January 3-5, 2018, revised selected papers
por: Peterson, Gilbert, et al.
Publicado: (2018)

Cellular automata and discrete complex systems: 24th IFIP WG 1. 5 international workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, proceedings
por: Baetens, Jan M, et al.
Publicado: (2018)

6th International Conference on Superconductivity and Magnetism (ICSM 2018)
Publicado: (2018)

Euro-Par 2018: 24th international conference on parallel and distributed computing, Turin, Italy, August 27 - 31, 2018, proceedings
por: Aldinucci, Marco, et al.
Publicado: (2018)

Internet and distributed computing systems: 11th international conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018, proceedings
por: Xiang, Yang, et al.
Publicado: (2018)

Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers
por: Cîrstea, Corina
Publicado: (2018)

Intelligent information processing ix: 10th IFIP TC 12 international conference, IIP 2018, Nanning, China, October 19-22, 2018, proceedings
por: Shi, Zhongzhi, et al.
Publicado: (2018)

Computational intelligence and its applications: 6th IFIP TC 5 international conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, proceedings
por: Amine, Abdelmalek, et al.
Publicado: (2018)

Applications and techniques in information security: 9th international conference, ATIS 2018, Nanning, China, November 9-11, 2018, proceedings
por: Chen, Qingfeng, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_d74c25irdkoe8fgneufe7u5ift