Cargando…

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Najm, Elie (Editor ), Pradat-Peyre, Jean-Francois (Editor ), Donzeau-Gouge, Véronique Viguié (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:	1st ed. 2006.
Colección:	Programming and Software Engineering, 4229
Temas:	Computer science. Computer networks . Software engineering. Operating systems (Computers). Theory of Computation. Computer Communication Networks. Software Engineering. Computer Science Logic and Foundations of Programming. Operating Systems.
Acceso en línea:	Texto Completo

Ejemplares similares

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /
Publicado: (2007)

Formal Techniques for Networked and Distributed Systems - FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
Publicado: (2008)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /
Publicado: (2005)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
Publicado: (2006)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /
por: Prodan, Radu, et al.
Publicado: (2007)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
Publicado: (2007)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Publicado: (2005)

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 /
Publicado: (2016)

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 /
Publicado: (2006)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /
Publicado: (2006)

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings /
Publicado: (2006)

Distributed Computing - IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings /
Publicado: (2005)

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /
Publicado: (2007)

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Publicado: (2005)

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings /
Publicado: (2006)

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /
Publicado: (2005)

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /
Publicado: (2005)

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 /
Publicado: (2006)

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings /
Publicado: (2007)

Reliable Distributed Systems Technologies, Web Services, and Applications /
por: Birman, Kenneth
Publicado: (2005)

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
Publicado: (2006)

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Publicado: (2008)

Architecture of Computing Systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings /
Publicado: (2008)

SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings /
Publicado: (2007)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /
Publicado: (2006)

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
Publicado: (2006)

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings /
Publicado: (2005)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Publicado: (2006)

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings /
Publicado: (2005)

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings /
Publicado: (2008)

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /
Publicado: (2008)

Rigorous Development of Complex Fault-Tolerant Systems
Publicado: (2006)

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings /
Publicado: (2006)

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings /
Publicado: (2013)

Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings /
Publicado: (2007)

Service Availability Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers /
Publicado: (2006)

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /
Publicado: (2007)

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings /
Publicado: (2013)

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Publicado: (2006)

Model-Driven Architecture - Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_fddfsr8q8ogcdddvtmksc5ufp3