Cargando…

34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems

Detalles Bibliográficos
Lenguaje:	eng
Publicado:	2014
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/1746328

Ejemplares similares

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)

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: 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
por: Baier, Christel, et al.
Publicado: (2018)

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)

6th IFIP Conference on Intelligence in Networks
Publicado: (2000)

IFIP International Conference on Network and Parallel Computing
por: Jin, Hai
Publicado: (2005)

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

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)

8th IFIP Conference on Optimization Techniques
por: Stör, Josef
Publicado: (1978)

8th IFIP Conference on Optimization Techniques
por: Stör, Josef
Publicado: (1978)

IFIP Working Conference on Formal Description of Programming Concepts
por: Neuhold, Erich J
Publicado: (1978)

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)

The IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
por: Spicer, Tom
Publicado: (1999)

Proceedings of the IFIP TC 11 23rd international information security conference: IFIP 20th world computer congress, IFIP SEC'08, September 7-10, 2008, Milano, Italy
por: Jajodia, Sushil, et al.
Publicado: (2008)

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)

IFIP Working Conference on Formal Models and Practical Tools for Information Systems Design
por: Schneider, H J
Publicado: (1979)

5th IFIP Conference
por: Conti, R, et al.
Publicado: (1973)

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: 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 methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures
por: Bonsangue, Marcello M, et al.
Publicado: (2008)

IFIP 6th International Conference on High performance Networking
por: Puigjaner, R
Publicado: (1995)

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)

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)

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)

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)

IFIP International Conference on Intelligence in Communication System
por: Glitho, Roch, et al.
Publicado: (2005)

Artificial intelligence and innovations 2007: proceedings of the 4th IFIP international conference on artificial intelligence applications and innovations (AIAI2007)
por: Boukis, Christos, et al.
Publicado: (2007)

4th IFIP Conference on Stochastic Differential Systems
por: Métivier, Michel, et al.
Publicado: (1985)

11th IFIP Conference on System Modelling and Optimization
por: Thoft-Christensen, P
Publicado: (1984)

Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
por: Bae, Kyungmin, et al.
Publicado: (2018)

21st IFIP International Information Security Conference on Security and Privacy in Dynamic Environments
Publicado: (2006)

23rd IFIP TC 7 Conference on System Modelling and Optimization
Publicado: (2007)

13th International Conference on Information Security : IFIP SEC '97
por: Highland, H J
Publicado: (1997)

4th IFIP International Conference on Very Large-scale Integration
por: Séquin, Carlo H
Publicado: (1988)

Enterprise interoperability: 6th international IFIP working conference, IWEI 2015, Nîmes, France, May 28-29, 2015, proceedings
por: van Sinderen, Marten, et al.
Publicado: (2015)

Middleware 2012: ACM/IFIP/USENIX 13th international middleware conference, Montreal, Canada, December 3-7, 2012 proceedings
por: Narasimhan, Priya, et al.
Publicado: (2012)

Middleware 2011: ACM/IFIP/USENIX 12th international middleware conference, Lisbon, Portugal, December 12-16, 2011, proceedings
por: Kon, Fabio, et al.
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_c3ut7b5ql0ab8ma8is8ko54gsa