Computer network protocols - Congresses.

1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993 : = proceedings / by: (書目-語言資料,印刷品)

Human Interactive Proofs = Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings / by: (書目-語言資料,印刷品)

Scenarios: Models, Transformations and Tools = International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems, FORTE 2003 = 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / by: (書目-語言資料,印刷品)

Protocols for multimedia systems = 6th international conference, PROMS 2001, Enschede, the Netherlands, October17-19, 2001 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems = FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea/ by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems - FORTE 2002 = 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / by: (書目-語言資料,印刷品)

Protocols for high speed networks = 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems = 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings / by: (書目-電子資源)