Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-18 of 18 results for author "IFIP Working Group 6.1."
Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification / organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 ; edited by Michel Diaz.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 86-1054 Offsite Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3235Item details Format Call Number Item Location Text JSE 05-136 Offsite 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 / edited by Marjory J. Johnson.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor], 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I34267 1990 Off-site Protocol Specification, Testing and Verification, X : proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 / edited by Luigi Logrippo, Robert L. Probert, Hasan Ural.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. U.S.A. : Distributors for the U.S., Elsevier Science, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I3426 1990g Off-site Protocol specification, testing and verification, XIII : proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993 / edited by A. Danthine, G. Leduc, P. Wolper.
- Text
- Amsterdam ; New York : North-Holland, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I3426 1933 Off-site Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993 / edited by Jan de Meer, Bernd Mahr, Silke Storp.
- Text
- Amsterdam ; New York : North-Holland, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 I3385 1993 Off-site Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC 6/WG 6.1 international conference on open distributed processing, 1994 [i.e. 1995] / edited by Kerry Raymond and Liz Armstrong.
- Text
- London ; New York : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 I339 1995g Off-site Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 / edited by Gregor V. Bochmann, Rachida Dssouli, and Omar Rafiq.
- Text
- London ; New York : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I185 1995 Off-site Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.
- Text
- Berlin ; New York : Springer, [2004], ©2004.
- 2004-2004
- 1 Item
Item details Format Call Number Item Location Text QA76.9.F67 F67 2004 Off-site Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification / organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 ; edited by Michel Diaz.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I3426 1985 Off-site Formal techniques for networked and distributed systems--FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najam ... [and others] (ed.).
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text QA76.9.F67 F67 2006g Off-site Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification / organized by IBM Zurich Research Laboratory, Zurich, Switzerland, 5-8 May 1987 ; edited by Harry Rudin and Colin H. West.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., [1987], ©1987.
- 1987-1987
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I3426 1987 Off-site Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Marcello M. Bonsangue, Einar Broch Johnsen (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.9.D5 I573 2007g Off-site Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jü̈ri Vain (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA76.9.F67 F67 2007g Off-site Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988 / edited by Sudhir Aggarwal, Krishan Sabnani.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., [1988], ©1988.
- 1988-1988
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I34261 1988g Off-site Protocols for high-speed networks : selected and revised papers from the IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks, Zurich, Switzerland, 9-11 May, 1989 / edited by Harry Rudin, Robin Williamson.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I34267 1989 Off-site Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989 / edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text TK5105.5 .I3426 1989g Off-site Formal description techniques, II : proceedings of the IFIP TC 6/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 / edited by Son T. Vuong.
- Text
- Amsterdam ; New York : North-Holland, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I1778 1989 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
