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

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 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29 October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	FORTE 2003 :Berlin, Germany
Awduron Eraill:	Wolisz, Adam, 1950- (Cyfarwyddwr cyhoeddi), König, Hartmut, 1939- (Cyfarwyddwr cyhoeddi), Heiner, Monika (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 2767
Pynciau:	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
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	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 2003, 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003, proceedings, ed.by Hartmut König, Monika Heiner, Adam Wolisz, Berlin, Springer, 2003, 1 vol. (XII-429 p.), Lecture notes in computer science, 3-540-20175-0 • Formal Techniques for Networked and Distributed Systems - FORTE 2003, Texte imprimé, 9783662190128

Eitemau Tebyg

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 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

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

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

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

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

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

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

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

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

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

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18-19, 1989 : 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 : 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

Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : 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 : 14th International Conference, DISC 2000 Toledo, Spain, October 4 6, 2000 : proceedings

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

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

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

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

Pratique de NFS et NIS
gan: Stern, Hal
Cyhoeddwyd: (1995)

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

Administration réseau sous Linux
gan: Kirch, Olaf
Cyhoeddwyd: (1995)

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

Gestion des données réparties : problèmes et protocoles
gan: Raynal, Michel, 1949-...., informaticien
Cyhoeddwyd: (1992)

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

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

Self-managing distributed systems : 14th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003 : proceedings

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

TCP/IP : administration de réseau
gan: Hunt, Craig
Cyhoeddwyd: (1998)

DCE - the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings

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

Power programming with RPC
gan: Bloomer, John
Cyhoeddwyd: (1992)

TCP/IP sous Linux
gan: Bouchaudy, Jean-François
Cyhoeddwyd: (2003)

Fault-tolerant distributed computing
gan: Simons, Barbara

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

© 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