Formal techniques for networked and distributed systems : :: SCD d'Orléans

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Bewaard in:

Bibliografische gegevens
Coauteur:	International Conference on Formal Techniques for Networked and Distributed Systems :Madrid, Spain
Andere auteurs:	Frutos-Escrig, David de (Publishing director), Nùñez, Manuel, 19..- (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 3235
Onderwerpen:	Génie logiciel Informatique Traitement réparti Systèmes d'exploitation (ordinateurs) Protocoles de réseaux d'ordinateurs Réseaux d'ordinateurs Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal techniques for networked and distributed systems, FORTE 2004, 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004, proceedings, David de Frutos-Escrig, Manuel Núñez (eds.), Berlin, Springer, 2004, 1 vol. (X-375 p.), Lecture notes in computer science, 3-540-23252-4 • Formal Techniques for Networked and Distributed Systems - FORTE 2004, Texte imprimé, 9783662166727

Gelijkaardige items

Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

The MOSIX distributed operating system : load balancing for UNIX
door: Barak, Amnon, et al.

Universal routing strategies for interconnection networks
door: Scheideler, Christian, 19..-

Advances in distributed systems : advanced distributed computing : from algorithms to systems
door: Krakowiak, Sacha, 1937-...., informaticien

Distributed computing : 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004 : proceedings

Distributed algorithms : 7th International Workshop, WDAG'93, Lausanne, Switzerland, September 27 29, 1993 : proceedings

Distributed computing : 13th International Symposium, DISC 99 Bratislava, Slovak Republic September 27 29, 1999 : proceedings

Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings

Distributed computing : 14th International Conference, DISC 2000 Toledo, Spain, October 4 6, 2000 : proceedings

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24 26, 1997 : proceedings

Distributed computing : 12th international symposium, DISC 98 Andros, Greece, September 24 26, 1998 : proceedings

Distributed algorithms : 8th International Workshop, WDAG '1994, Terschelling, The Netherlands, September 29 October 1, 1994 : proceedings

Distributed computing : 16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings

Administration réseau sous Linux
door: Kirch, Olaf
Gepubliceerd in: (1995)

Future directions in distributed computing : research and position papers
door: Schiper, André, 1949-

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18-19, 1989 : proceedings

Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003 : proceedings

Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers

Services management in intelligent networks : 11th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2000, Austin, TX, USA, December 4 6, 2000 : proceedings

Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings

Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings

Distributed computing : 17th international conference, DISC 2003, Sorrento, Italy, October 1-3, 2003 : proceedings

Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Pratique de NFS et NIS
door: Stern, Hal
Gepubliceerd in: (1995)

Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems : operations and management, DSOM 99, Zurich, Switzerland, October 11 13, 1999 : proceedings

Technique des réseaux locaux sous Unix : des protocoles à l'interconnexion
door: Toutain, Laurent
Gepubliceerd in: (1994)

TCP/IP : administration de réseau
door: Hunt, Craig
Gepubliceerd in: (1998)

Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings

Power programming with RPC
door: Bloomer, John
Gepubliceerd in: (1992)

Protocols for high speed networks : 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings

TCP/IP sous Linux
door: Bouchaudy, Jean-François
Gepubliceerd in: (2003)

Trends in distributed systems : CORBA and beyond : International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996 : proceedings

Fault-tolerant distributed computing
door: Simons, Barbara

Disconnected operation in a distributed file system
door: Kistler, James Jay, 19..-

Networked group communication : Third International COST264 Workshop, NGC 2001, London, UK, November 7 9, 2001 : proceedings

Communication and architectural support for network-based parallel computing : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1 2, 1997 : proceedings

Advanced distributed systems : Third international school and symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004 : revised selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales