Jump to main content

yr 〜
yr

Search results 10

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)
Paper図書
Springerc2013.<M17-13-3340>
National Diet Library

Principles of distributed systems : 14th international conference, OPODIS 2010 : Tozeur, Tunisia, December 14-17, 2010 : proceedings. : Dec 2010, Tozeur, Tunisia. (Lecture Notes in Computer Science ; 6490)

Principles of distributed systems : 14th international conference, OPODIS 2010 : Tozeur, Tunisia, December 14-17, 2010 : proceedings. : Dec 2010, Tozeur, Tunisia. (Lecture Notes in Computer Science ; 6490)
Paper図書
Springerc2010.<M17-11-2113>
National Diet Library
  • Subject Heading...-- Congresses. Distributed operating systems (Computers) -- Congresses.

Stabilization, safety, and security of distributed systems : 21st international symposium, SSS 2019 : Pisa, Italy, October 22-25, 2019 : proceedings : Oct 2019, Pisa, Italy. (Lecture Notes in Computer Science ; 11914)

Stabilization, safety, and security of distributed systems : 21st international symposium, SSS 2019 : Pisa, Italy, October 22-25, 2019 : proceedings : Oct 2019, Pisa, Italy. (Lecture Notes in Computer Science ; 11914)
Paper図書
Springer[2019]<M17-21-704>
National Diet Library

Principles of distributed systems : 13th international conference, OPODIS 2009 : Nimes, France, December 15-18, 2009 : proceedings. : Dec 2009, Nimes, France. (Lecture Notes in Computer Science ; 5923)

Principles of distributed systems : 13th international conference, OPODIS 2009 : Nimes, France, December 15-18, 2009 : proceedings. : Dec 2009, Nimes, France. (Lecture Notes in Computer Science ; 5923)
Paper図書
Springerc2009.<M17-10-2380>
National Diet Library
  • Subject Heading...-- Congresses. Distributed operating systems (Computers) -- Congresses.

Principles of distributed systems : 11th international conference, OPODIS 2007 : Guadeloupe, French West Indies, December 17-20, 2007 : proceedings. : Dec 2007, Guadeloupe, Frence. (Lecture Notes in Computer Science ; 4878)

Principles of distributed systems : 11th international conference, OPODIS 2007 : Guadeloupe, French West Indies, December 17-20, 2007 : proceedings. : Dec 2007, Guadeloupe, Frence. (Lecture Notes in Computer Science ; 4878)
Paper図書
Springerc2007.<M17-08-2028>
National Diet Library
  • Subject Heading...-- Congresses. Distributed operating systems (Computers) -- Congresses.

Principles of distributed systems : 9th international conference, OPODIS 2005 : Pisa, Italy, December 12-14, 2005 : revised selected papers. : Dec 2005, Pisa, Italy. (Lecture Notes in Computer Science ; 3974)

Principles of distributed systems : 9th international conference, OPODIS 2005 : Pisa, Italy, December 12-14, 2005 : revised selected papers. : Dec 2005, Pisa, Italy. (Lecture Notes in Computer Science ; 3974)
Paper図書
Springerc2006.<M17-07-1537>
National Diet Library
  • Subject Heading...-- Congresses. Distributed operating systems (Computers) -- Congresses.

Principles of distributed systems : 10th international conference, OPODIS 2006 : Bordeaux, France, December 12-15, 2006 : proceedings. : Dec 2006, Bordeaux, France. (Lecture Notes in Computer Science ; 4305)

Principles of distributed systems : 10th international conference, OPODIS 2006 : Bordeaux, France, December 12-15, 2006 : proceedings. : Dec 2006, Bordeaux, France. (Lecture Notes in Computer Science ; 4305)
Paper図書
Springerc2006.<M17-07-1056>
National Diet Library
  • Subject Heading...-- Congresses. Distributed operating systems (Computers) -- Congresses. OPODIS.

Advances in parallel and distributed computing and ubiquitous services : UCAWSN & PDCAT 2015

Advances in parallel and distributed computing and ubiquitous services : UCAWSN & PDCAT 2015
Paper図書
James J. (Jong Hyuk) Park ... [et al.], editorsSpringerc2016
Other Libraries in Japan

Principles of distributed systems : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings

Principles of distributed systems : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings
Paper図書
Tarek Abdelzaher, Michel Raynal, Nicola Santoro (eds.)Springerc2009
Other Libraries in Japan

Distributed platforms : proceedings of the IFIP/IEEE International Conference on Distributed Platforms : client/server and beyond : DCE, CORBA, ODP and advanced distributed applications

Distributed platforms : proceedings of the IFIP/IEEE International Conference on Distributed Platforms : client/server and beyond : DCE, CORBA, ODP and advanced distributed applications
Paper図書
edited by Alexander Schill ... [et al.]Chapman & Hall on behalf of the International Federation for Information Processing1996
Other Libraries in Japan

Reached to the end of result.

RSS