Jump to main content

yr 〜
yr

Search results 30

Distributed applications and interoperable systems : 14th IFIP WG 6.1 international conference, DAIS 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8460)

Distributed applications and interoperable systems : 14th IFIP WG 6.1 international conference, DAIS 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8460)
Paper図書
Springer[2014]<M17-15-1243>
National Diet Library
  • Author Heading...etzuch, Peter. IFIP Working Group 6.1.

Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference, DAIS 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013 : proceedings : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7891)

Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference, DAIS 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013 : proceedings : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7891)
Paper図書
Springerc2013.<M17-13-3339>
National Diet Library
  • Author Heading...ani, François. IFIP Working Group 6.1. International Federated Conf...

Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference, DAIS 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7272)

Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference, DAIS 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7272)
Paper図書
Springerc2012.<M17-13-523>
National Diet Library
  • Author Heading... Haridi, Seif. IFIP Working Group 6.1.

Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference : DAIS 2011 : Reykjavik, Iceland, June 6-9, 2011 : proceedings. : 6th international federated conferences on distributed computing techniques (DisCoTec) : IFIP international working conference on distributed applications and interoperable systems : Jun 2011, Reykjavik, Iceland. (Lecture Notes in Computer Science ; 6723)

Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference : DAIS 2011 : Reykjavik, Iceland, June 6-9, 2011 : proceedings. : 6th international federated conferences on distributed computing techniques (DisCoTec) : IFIP international working conference on distributed applications and interoperable systems : Jun 2011, Reykjavik, Iceland. (Lecture Notes in Computer Science ; 6723)
Paper図書
Springerc2011.<M17-11-3234>
National Diet Library
  • Author HeadingIFIP Working Group 6.1. Felber, Pascal. Rouvoy, Roma...

Distributed applications and interoperable systems : 5th IFIP WG 6.1 international conference, DAIS 2005 : Athens, Greece, June 15-17, 2005 : proceedings. : IFIP WG 6.1 international working conference on distributed applications and interoperable systems 5 : Jun 2005, Athens, Greece. (Lecture Notes in Computer Science ; 3543)

Distributed applications and interoperable systems : 5th IFIP WG 6.1 international conference, DAIS 2005 : Athens, Greece, June 15-17, 2005 : proceedings. : IFIP WG 6.1 international working conference on distributed applications and interoperable systems 5 : Jun 2005, Athens, Greece. (Lecture Notes in Computer Science ; 3543)
Paper図書
Springerc2005.<M17-05-1740>
National Diet Library
  • Note (General)...s organized by IFIP Working Group 6.1." -- preface.
  • Author HeadingIFIP Working Group 6.1.

Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference, DAIS 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : international federated conference on distributed computing techniques (DisCoTec) : IFIP international working conference on distributed applications and interoperable systems : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6115)

Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference, DAIS 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : international federated conference on distributed computing techniques (DisCoTec) : IFIP international working conference on distributed applications and interoperable systems : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6115)
Paper図書
Springerc2010.<M17-10-3355>
National Diet Library
  • Author HeadingIFIP Working Group 6.1. Eliassen, Frank. Kapitza, Rü...

Distributed applications and interoperable systems : 8th IFIP WG 6.1 international conference, DAIS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : DisCoTec (distributed object techniques) federated conference : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5053)

Distributed applications and interoperable systems : 8th IFIP WG 6.1 international conference, DAIS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : DisCoTec (distributed object techniques) federated conference : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5053)
Paper図書
Springerc2008.<M17-09-202>
National Diet Library
  • Author HeadingIFIP Working Group 6.1. Meier, René. Terzis, Sotirio...

Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : DAIS2007 : federated conference DisCoTec (distributed computing techniques) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4531)

Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference, DAIS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : DAIS2007 : federated conference DisCoTec (distributed computing techniques) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4531)
Paper図書
Springerc2007.<M17-07-2831>
National Diet Library
  • Author HeadingIFIP Working Group 6.1. Indulska, Jadwiga. Raymond, ...

Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : IFIP WG 6.1 international working conference on distributed applications and interoperable systems 6 : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4025)

Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : IFIP WG 6.1 international working conference on distributed applications and interoperable systems 6 : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4025)
Paper図書
Springerc2006.<M17-06-2598>
National Diet Library
  • Author HeadingIFIP Working Group 6.1. Eliassen, Frank. Montresor, ...

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
Paper図書
John Derrick, Jüri Vain (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingFORTE IFIP Working Group 6.1 Derrick, John Vain, Jüri

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
Paper図書
David de Frutos-Escrig, Manuel Núñes (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingFORTE Frutos-Escrig, David de Núñes, Manuel IFIP Working Group 6.1

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
Paper図書
Hartmut König, Monika Heiner, Adam Wolisz (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingFORTE König, Hartmut Heiner, Monika Wolisz, Adam IFIP Working Group 6.1

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 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Paper図書
Doron A. Peled, Moshe Y. Vardi (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingFORTE IFIP Working Group 6.1 Peled, Doron Vardi, Moshe

IWPTS VII : 7th IFIP WG 6.1 International Workshop on Protocol Test Systems, Nov. 8-10, 1994, the Hotel Strada, Tokyo, Japan

IWPTS VII : 7th IFIP WG 6.1 International Workshop on Protocol Test Systems, Nov. 8-10, 1994, the Hotel Strada, Tokyo, Japan
Paper図書
edited by Tadanori Mizuno, Teruo Higashino, Norio Shiratori[s.n.][1994]<M15-A9359>
National Diet Library
  • Author Heading水野, 忠則, 1945- 東野, 輝夫, 1956- 白鳥, 則郎, 1946- IFIP Working Group 6.1

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification / organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 ; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini.

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification / organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 ; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini.
Paper図書
North-Holland1985.<M15-A6587>
National Diet Library
  • Author Heading...emini, Shaula. IFIP Working Group 6.1. Columbia University.

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
Paper図書
edited by Dieter Hogrefe and Stefan LeueChapman & Hall on behalf of the International Federation for Information Processing1995
Other Libraries in Japan
  • Author HeadingFORTE Hogrefe, Dieter Leue, Stefan IFIP Working Group 6.1

Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995

Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995
Paper図書
edited by Ana Cavalli and Stan BudkowskiChapman & Hall1996
Other Libraries in Japan
  • Author Heading...al Committee 6 IFIP Working Group 6.1

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 / organized by IBM Research ; edited by Harry Rudin and Colin H. West.

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983 / organized by IBM Research ; edited by Harry Rudin and Colin H. West.
Paper図書
North-Holland1983.<M15-A2920>
National Diet Library
  • Author Heading...ch Laboratory. IFIP Working Group 6.1.

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
Paper図書
edited by Omar RafiqNorth-Holland1994
Other Libraries in Japan
  • Author Heading...al Committee 6 IFIP Working Group 6.1

Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993

Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
Paper図書
edited by Jan de Meer, Bernd Mahr, Silke StorpNorth-Holland1994
Other Libraries in Japan
  • Author Heading...d Storp, Silke IFIP Working Group 6.1
RSS