Computer network protocols - Congresses.

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

Applying formal methods = testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems - FORTE 2004 = 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : 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 = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : 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: (書目-電子資源)

Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows / by: (書目-電子資源)

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