Подобни библ. документи

• Formal description techniques, II : Proceedings of the IFIP TC/WG 6.1 Second International conference on Formal description techniques for distributed systems and communications protocols, FORTE '89, Vancouver, Canada, 5-8 December, 1989 /
  Публикувано: (1990)
• Network control and engineering for QOS, security and mobility : IFIP TC6/WG6.2, 6.6, 6.7 and 6.8 Third international conference on network control and engineering for QOS, security and mobility, NetCon 2004 on Nov. 2-5, 2004, Palma de Mallorca, Spain /
  Публикувано: (2005)
• Protocols for high-speed networks, II : Proceedings of the IFIP WG 6.1/WG 6.4 Second International workshop on Protocols for high-speed networks, Palo Alto, CA, U. S. A., 27-29 November, 1990 /
  Публикувано: (1991)
• Smart networks : IFIP TC6/WG6.7 seventh International Conference on Intelligence in Networks (SmartNet 2002), April 8-10, 2002, Saariselkä, Lapland, Finland).
  Публикувано: (2002)
• Protocol specification, testing, and verification, X : Proceedings of the IFIP WG 6.1 Tenth International symposium on Protocol specification, testing, and verification, Ottawa, Ontario, Canada, 12-15 June, 1990 /
  Публикувано: (1990)