ISBNs for computer network protocols congresses

ISBN.nu

search for books and compare prices

computer network protocols congresses matches 44 work(s)

at beginning | displaying 1 to 25 | next 19 >

show results in order: alphabetically | oldest to newest | newest to oldest

1994 International Conference on Network Protocols: Proceedings : October 25-28, 1994 Boston Massachusetts

By International Conference on Network Protocols (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9780818666858 | IEEE Computer Society, March 1, 1996, cover price $60.00

1995 IEEE Singapore International Conference on Networks-International Conference on Infomation Engineering (Sicon-Icie

See complete details on each edition (1 edition listed)

Paperback:

9780780325791 | IEEE, November 1, 1995, cover price $158.00

1997 IEEE International Performance and Computing Communications Conference

By IEEE International Performance (other contributor)

See complete details on each edition (1 edition listed)

Hardcover:

9780780338739 | IEEE, January 1, 1998, cover price $144.00

2007 3rd IEEE Workshop on Secure Network Protocols

By Institute of Electrical and Electronics Engineers (compiler)

See complete details on each edition (1 edition listed)

Paperback:

9781424416028 | IEEE, February 19, 2008, cover price $176.00

2008 4th IEEE Workshop on Secure Network Protocols

By Institute of Electrical and Electronics Engineers (compiler)

See complete details on each edition (1 edition listed)

Paperback:

9781424426515 | IEEE, January 21, 2009, cover price $180.00

4th International Conference on Computer Communications and Networks ( I C C N '95)

Product Description: Proceedings of a September 1995 conference. Contents include 56 long papers and 32 short papers each read by at least three reviewers before acceptance. Among the session topics: performance modeling, traffic management, Internet service, network security, multicasting, reliability, the global information infrastructure, interoperability, mobile c...read more

See complete details on each edition (1 edition listed)

Paperback:

9780818671807 | IEEE Computer Society, September 1, 1995, cover price $120.00 | About this edition: Proceedings of a September 1995 conference.

7th International Conference on Computer Communications and Networks: Proceedings, October 12-15, 1998, Lafayette, Louisiana

Product Description: This reference was taken from the 7th International Conference on Computer Communications and Networks. It covers: ATM networks; mobile communications networks; network performance analysis; traffic management; wireless LANs; video communication; and the Internet. (view table of contents, read Amazon.com's description)

By Imrich Chlamtac, Kia Makki (editor) and Niki Pissinou

See complete details on each edition (1 edition listed)

Paperback:

9780818690143 | IEEE Computer Society, October 1, 1998, cover price $160.00 | About this edition: This reference was taken from the 7th International Conference on Computer Communications and Networks.

Applying Formal Methods, Testing, Performance, And M/E-Commerce: Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings

By Zakaria Maamar (editor), Manuel NÃºnez (editor), Fernando L. Pelayo (editor), Key Pousttchi (editor) and Fernando Rubio (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540231691 | Springer-Verlag New York Inc, November 15, 2004, cover price $109.00

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 : Proceedings

Product Description: This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems...read more

By J. Sifakis (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387521480 | Springer Verlag, March 1, 1990, cover price $62.95 | About this edition: This volume contains the proceedings of a workshop held in Grenoble in June 1989.

Communications Architectures and Protocols: Sigcomm '86, Stowe, Vermont, August 5, 6 & 7, 1986

See complete details on each edition (1 edition listed)

Paperback:

9780897912013 | Assn for Computing Machinery, August 1, 1986, cover price $31.00

Computer Networking: Proceedings of the Ifip Tc6 Conference on Computer Networking, Comnet '90 Budapest, Hungary, 8-10 May, 1990

Product Description: The publication of this volume coincides with the twenty-fifth anniversary of the conception of computer communications. It is an opportunity to assess the present status of networking, to give a brief account of the past, and to look at future prospects...read more

By Laszlo Csaba, Tibor Szentivanyi and Katie Tarnay (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780444888723 | North-Holland, December 1, 1990, cover price $172.00 | About this edition: The publication of this volume coincides with the twenty-fifth anniversary of the conception of computer communications.

Driving the Future: Combating Climate Change With Cleaner, Smarter Cars

By Margo T. Oge

See complete details on each edition (3 editions listed)

Hardcover:

9781628725384 | Arcade Pub, April 7, 2015, cover price $25.99

Paperback:

9781628726916 | Arcade Pub, September 6, 2016, cover price $16.99

9780387132884, titled "Modelling and Performance Evaluation Methodology" | Springer Verlag, August 1, 1984, cover price $74.95 | also contains Modelling and Performance Evaluation Methodology

Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication

Product Description: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs...read more

By Stan Budkowski (editor), Ana Cavalli (editor) and Elie Najm (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780412847608 | Kluwer Academic Pub, October 1, 1998, cover price $284.00 | About this edition: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.

Formal Description Techniques, V: Proceedings of the Ifip Tc6/Wg6.1 Fifth International Conference on Formal Description Techniques for Distributed

By Michel Diaz and Roland Groz (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780444892829 | North-Holland, March 1, 1993, cover price $166.75

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

(view table of contents)

By Samual T. Chanson (editor), Quiang Gao (editor) and Jianping Wu (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780792386469 | Kluwer Academic Pub, September 1, 1999, cover price $299.00

Formal Techniques for Networked and Distributed Systems, Forte 2003: 23rd Ifip Wg 6.1 International Conference, Berlin, Germany, September 29- October 2, 2003 Procedings

Product Description: This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29âOctober 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems...read more

By Monika Heiner, Hartmut Konig (editor) and Adam Wolisz

See complete details on each edition (1 edition listed)

Paperback:

9783540201755 | Springer Verlag, December 1, 2003, cover price $129.00 | About this edition: This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.

Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings

Product Description: The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols...read more

By Doron A. Peled (editor) and Moshe Y. Vardi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540001416 | Springer-Verlag New York Inc, December 1, 2002, cover price $109.00 | About this edition: The IFIP TC6 WG 6.

Formal Techniques For Networked And Distributed Systems - Forte 2004: 24th Ifip Wg 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

By FORTE 2004 (other contributor), David de Frutos-Escrig and Manuel Nunez

See complete details on each edition (1 edition listed)

Paperback:

9783540232520 | Springer-Verlag New York Inc, February 28, 2005, cover price $109.00

Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip Wg 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Product Description: FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation)...read more

By F. Wang (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540291893 | Springer Verlag, November 1, 2005, cover price $149.00 | About this edition: FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.

Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006: Proceedings

Product Description: This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions...read more

By Veronique Viguie Donzeau-gouge (editor), Elie Najm (editor) and Jean-francois Pradat-peyre (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540462194 | Springer-Verlag New York Inc, November 14, 2006, cover price $149.00 | About this edition: This book constitutes the refereed proceedings of the 26th IFIP WG 6.

Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007...read more

By J?ri Vain (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540731955 | Springer-Verlag New York Inc, September 3, 2007, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 27th IFIP WG 6.

Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th Ifip Wg 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings