Showing 421 - 434 results of 434 for search '', query time: 0.16s Refine Results
  1. 421
    Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings /
    Published 2002
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 422
    Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings /
    Published 2000
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 423
    Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
    Published 2002
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 424
    Multi-agent systems : methodologies and applications : Second Australian Workshop on Distributed Artificial Intelligence, Cairns, Qld., Australia, August 27, 1996 : selected papers /
    Published 1997
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 425
    Cooperative Internet computing /
    Published 2003
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 426
    Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 427
    Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan /
    Published 1997
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 428
    Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 429
    Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 430
    Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC/WG 6.1 international conference on open distributed processing, 1994 /
    Published 1995
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 431
    Building QoS into distributed systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA /
    Published 1997
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  12. 432
    Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003 : proceedings /
    Published 2003
    Conference Proceeding Book
  13. 433
    Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings /
    Published 2004
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 434
    Distributed computing : 20th international symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006 : proceedings /
    Published 2006
    Conference Proceeding Book
Search Tools: RSS Feed – Email Search