Jump to main content

yr 〜
yr

Search results 13

Middleware 2000 -- : Distributed systems platforms and open distributed processing : International conference : Apr 2000, New York, NY. (Lecture Notes in Computer Science ; 1795)

Middleware 2000 -- : Distributed systems platforms and open distributed processing : International conference : Apr 2000, New York, NY. (Lecture Notes in Computer Science ; 1795)
Paper図書
Springer2000.<M17-01-1082>
National Diet Library

Testing of communicating systems : 11th International workshop : Aug 1998, Tomsk, Russia.

Testing of communicating systems : 11th International workshop : Aug 1998, Tomsk, Russia.
Paper図書
Kluwer Academic1998.<M17-99-0627>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Building QoS into distributed systems : 5th International workshop on quality of service : May 1997, New York, NY.

Building QoS into distributed systems : 5th International workshop on quality of service : May 1997, New York, NY.
Paper図書
Chapman & Hall1997.<M17-98-0886>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1. Columbia University. Center f...

Protocols for high-speed networks 5 : 5th International workshop : Oct 1996, ------.

Protocols for high-speed networks 5 : 5th International workshop : Oct 1996, ------.
Paper図書
Chapman & Hall1997.<M17-97-0712>
National Diet Library

Formal methods for distributed system development : Joint international conference : Oct 2000, Pisa, Italy. (International Federation for Information Processing ; 55)

Formal methods for distributed system development : Joint international conference : Oct 2000, Pisa, Italy. (International Federation for Information Processing ; 55)
Paper図書
<M17-01-0084>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Testing of communicating systems : tools and techniques : 13th International conference : Sep 2000, Ottawa, Canada. (International Federation for Information Processing ; 48)

Testing of communicating systems : tools and techniques : 13th International conference : Sep 2000, Ottawa, Canada. (International Federation for Information Processing ; 48)
Paper図書
<M17-00-1836>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Formal methods for protocol engineering and distributed systems : Joint international conference : Oct 1999, Beijing, China.

Formal methods for protocol engineering and distributed systems : Joint international conference : Oct 1999, Beijing, China.
Paper図書
<M17-00-0253>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Formal description techniques and protocol specification, testing and verification : Joint international conference : Nov 1998, Paris, France.

Formal description techniques and protocol specification, testing and verification : Joint international conference : Nov 1998, Paris, France.
Paper図書
<M17-99-0253>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Formal methods for open object-based distributed systems 4 : 4th International conference : Sep 2000, Stanford, CA. (International Federation for Information Processing ; 49)

Formal methods for open object-based distributed systems 4 : 4th International conference : Sep 2000, Stanford, CA. (International Federation for Information Processing ; 49)
Paper図書
<M17-00-2052>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Testing of communicating systems : methods and applications : 12th International workshop : Sep 1999, Budapest, Hungary.

Testing of communicating systems : methods and applications : 12th International workshop : Sep 1999, Budapest, Hungary.
Paper図書
<M17-99-2011>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1.

Distributed applications and interoperable systems : International working conference : Sep 1997, Cottbus, Germany.

Distributed applications and interoperable systems : International working conference : Sep 1997, Cottbus, Germany.
Paper図書
<M17-98-0888>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1. German Association of Compute...

Distributed applications and interoperable systems 2 : 2nd International working conference : Jun 1999, Helsinki, Finland.

Distributed applications and interoperable systems 2 : 2nd International working conference : Jun 1999, Helsinki, Finland.
Paper図書
<M17-99-1597>
National Diet Library
  • Author HeadingInternational Federation for Information Processing. TC 6. WG 6.1. University of Helsinki. Helsi...

Protocols for high-speed networks 4 : 6th International workshop : Aug 1999, Salem, MA.

Protocols for high-speed networks 4 : 6th International workshop : Aug 1999, Salem, MA.
Paper図書
<M17-00-0763>
National Diet Library

Reached to the end of result.

RSS