Distributed systems : :: SCD d'Orléans

Distributed systems : methods and tools for specification : an advanced course

Distributed systems : methods and tools for specification : an advanced course

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Alford, Mack W. (Autor), Ansart, Jean-Pierre, 19..-...., auteur en sciences appliquées (Autor), Hommel, Günter (Autor)
Korporativní autor:	Advanced course on distributed systems : methods and tools for specification :Munich
Další autoři:	Paul, M., 19..- (Šéfredaktor, odpovědný redaktor), Siegert, H.J (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 190
Témata:	Informatique Traitement réparti Réseaux d'ordinateurs Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Distributed systems, methods and tools for specification, an advanced course, M.W. Alford ... [et al.], Berlin, Springer-Verlag, 1985, 1 vol. (VI-573 p.), Lecture notes in computer science, 3-540-15216-4 • Distributed Systems, Texte imprimé, 9783662194232

Podobné jednotky

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings

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

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

Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings

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

Cooperative environments for distributed systems engineering : the distributed systems environment report
Autor: Drira, Khalil, 19..-

Protocols and systems for interactive distributed multimedia : joint international workshops on interactive distributed multimedia systems and protocols for multimedia systems, IDMS/PROMS 2002, Coimbra, Portugal, November 26-29, 2002 : proceedings

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

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

Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : 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

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

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

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

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

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

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

Distributed computing : 12th international symposium, DISC 98 Andros, Greece, September 24 26, 1998 : 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

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

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

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

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

The MOSIX distributed operating system : load balancing for UNIX
Autor: Barak, Amnon, a další

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

Distributed systems - architecture and implementation : an advanced course
Autor: Lampson, Butler W., 1943-...., chercheur en informatique

Fault-tolerant distributed computing
Autor: Simons, Barbara

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

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

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

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

Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings
Autor: Cosnard, Michel, 1952-...., informaticien

Distributed communities on the Web : Third International Workshop, DCW 2000, Quebec City, Quebec, Canada, June 19-21, 2000 : proceedings

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

Scientific engineering of distributed Java applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
Autor: Guelfi, Nicolas, 1965-

Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : 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

Formal systems specification : the RPC-memory specification case study
Autor: Broy, Manfred, 1949-

© 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