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

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

Historic Charleston 2016 Calendar

By Buffalo Media Works (corporate author)

See complete details on each edition (2 editions listed)

Hardcover:

9780444889164, titled "Message Handling Systems and Application Layer Communication Protocols: Proceedings of the Ifip Wg6.5 International, Symposium on Message Handling S" | North-Holland, June 1, 1991, cover price $159.50 | also contains Message Handling Systems and Application Layer Communication Protocols: Proceedings of the Ifip Wg6.5 International, Symposium on Message Handling S

Paperback:

9781680110012 | 16m edition (Historic Pictoric, July 7, 2015), cover price $14.99

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

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

By Khaled El-fakih (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540688549 | Springer-Verlag New York Inc, September 3, 2008, cover price $109.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

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 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006: Proceedings

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

Scenarios: Models, Transformations And Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Selected Papers

Product Description: Visual notations and languages continue to play a pivotal role Ë in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of software systems or their components...read more

By Stefan Leue (editor) and Tarja J. Systa (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540261896 | Revised edition (Springer Verlag, November 30, 2005), cover price $99.00 | About this edition: Visual notations and languages continue to play a pivotal role Ë in the design of complex software systems.

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.

Human Interactive Proofs: Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings

By Henry S. Baird (editor) and Daniel P. Lopresti (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540260011 | Springer Verlag, July 31, 2005, cover price $89.99

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

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

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 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 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.

Quality of Service over Next-generation Internet

By Mahbub Hassan

See complete details on each edition (1 edition listed)

Paperback:

9780819446459 | Society of Photo Optical, July 1, 2002, cover price $70.00

Protocols for High Speed Networks: 7th Ifip/IEEE International Workshop, Pfhsn 2002, Berlin, Germany, April 22-24, 2002 : Proceedings

Product Description: This workshop on âProtocols for High-Speed Networksâ is the seventh in a s- cessful series of international workshops, well known for their small and focused target audience, that provide a sound basis for intensive discussions of hi- qualityand timelyresearch work...read more (view table of contents, read Amazon.com's description)

By Georg Carle (editor) and Martina Zitterbart (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540436584 | Springer Verlag, June 1, 2002, cover price $109.00 | About this edition: This workshop on âProtocols for High-Speed Networksâ is the seventh in a s- cessful series of international workshops, well known for their small and focused target audience, that provide a sound basis for intensive discussions of hi- qualityand timelyresearch work.

Protocols for Multimedia Systems: 6th International Conference, Proms 2001, Enschede, the Netherlands, October 17-19, 2001, Proceedings

Product Description: This book constitutes the refereed proceedings of the Sixth International Conference on Protocols for Multimedia Systems (PROMS 2001), held in Enschede, The Netherlands, in October 2001.The 18 papers presented were carefully reviewed and selected from a total of 43 papers...read more

By Lambert J. M. Nieuwenhuis (editor) and Proms 200 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540427087 | Springer Verlag, November 1, 2001, cover price $89.99 | About this edition: This book constitutes the refereed proceedings of the Sixth International Conference on Protocols for Multimedia Systems (PROMS 2001), held in Enschede, The Netherlands, in October 2001.

Quality of Service over Next-generation Data Networks

By Mahbub Hassan

See complete details on each edition (1 edition listed)

Paperback:

9780819442482 | Society of Photo Optical, July 27, 2001, cover price $90.00

Technologies, Protocols, and Services for Next-generation Internet

By V. Chandrasekar

See complete details on each edition (1 edition listed)

Paperback:

9780819442512 | Society of Photo Optical, July 26, 2001, cover price $70.00

Voice over Ip Technology

By Petros Mouchtaris

See complete details on each edition (1 edition listed)

Paperback:

9780819442468 | Society of Photo Optical, July 25, 2001, cover price $70.00

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

Internet Routing and Quality of Service: 2-4 November, 1998, Boston, Massachusetts

Product Description: Coverage in this volume includes: service/application management; device performance; delay, video performance; and service/application management.

By Seyhan Civanlar (editor), Paul J. Doolan (editor), James V. Luciani (editor) and Raif O. Onvural (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780819429902 | Society of Photo Optical, December 1, 1998, cover price $80.00 | About this edition: Coverage in this volume includes: service/application management; device performance; delay, video performance; and service/application management.

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.

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.

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

at beginning | displaying 1 to 25 | next 19 >