search for books and compare prices
computer network protocols congresses matches 44 work(s)
at beginning | displaying 1 to 25 | next 19 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9781628725384 Cover for 9780387132884 Cover for 9781628726916 Cover for 9781680110012 Cover for 9783540688549 Cover for 9783540731955 Cover for 9783540462194 Cover for 9783540261896 Cover for 9783540291893 Cover for 9783540260011 Cover for 9783540232520 Cover for 9783540201755 Cover for 9783540001416 Cover for 9783540436584 Cover for 9783540427087 Cover for 9780792386469 Cover for 9780819429902 Cover for 9780412847608 Cover for 9780818690143
cover image for 9781628726916
Product Description: Now in paperback, with a new foreword by Fred Krupp, an expert's illuminating preview of the cleaner, lighter, smarter cars of the future.In Driving the Future, Margo T. Oge portrays a future where clean, intelligent vehicles with lighter frames and alternative power trains will produce zero emissions and run at 100+ mpg...read more

Hardcover:

9781628725384 | Arcade Pub, April 7, 2015, cover price $25.99 | About this edition: A distinguished expert offers a dazzling preview of the cars of the future, while exploring the science and politics behind climate change.

Paperback:

9781628726916 | Arcade Pub, September 6, 2016, cover price $16.99 | About this edition: Now in paperback, with a new foreword by Fred Krupp, an expert's illuminating preview of the cleaner, lighter, smarter cars of the future.
9780387132884, titled "Modelling and Performance Evaluation Methodology" | Springer Verlag, August 1, 1984, cover price $74.95 | also contains Modelling and Performance Evaluation Methodology

cover image for 9781680110012
Product Description: Explore the history of the city of Charleston, South Carolina through this new and exclusive photograph collection from Historic Pictoric. Each month features a restored historic image of familiar places including the Battery and the Magnolia Plantation and Gardens...read more
By Buffalo Media Works (corporate author)

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 | About this edition: Protocols related to message handling systems (and application layer communication protocols in general) will continue to enjoy rapid development in the near future.

Paperback:

9781680110012 | 16m edition (Historic Pictoric, July 7, 2015), cover price $14.99 | About this edition: Explore the history of the city of Charleston, South Carolina through this new and exclusive photograph collection from Historic Pictoric.

cover image for 9783540688549
Product Description: This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008...read more
By Khaled El-fakih (editor)

Paperback:

9783540688549 | Springer-Verlag New York Inc, September 3, 2008, cover price $109.00 | About this edition: This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.

cover image for 9783540731955
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)

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.

cover image for 9783540462194
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

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.

cover image for 9783540261896
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)

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.

cover image for 9783540291893
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)

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.

cover image for 9783540260011
Product Description: E-commerce services are su?ering abuse by programs (bots, spiders, etc.) m- querading as legitimate human users. E?orts to defend against such attacks have, over the past several years, stimulated investigations into a new family of security protocols - "Human Interactive Proofs" (HIPs) - which allow a person to authenticate herself as a member of a given group: e...read more
By Henry S. Baird (editor) and Daniel P. Lopresti (editor)

Paperback:

9783540260011 | Springer Verlag, July 31, 2005, cover price $89.99 | About this edition: E-commerce services are su?

cover image for 9783540232520
Product Description: This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004), held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems...read more
By FORTE 2004 (other contributor), David de Frutos-Escrig and Manuel Nunez

Paperback:

9783540232520 | Springer-Verlag New York Inc, February 28, 2005, cover price $109.00 | About this edition: This volume contains the proceedings of the 24th IFIP TC 6/WG 6.

cover image for 9783540201755
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

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.

cover image for 9783540001416
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

Paperback:

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

cover image for 9783540436584
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)

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.

cover image for 9783540427087
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)

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.

Paperback:

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

cover image for 9780792386469
Product Description: Formal Methods for Protocol Engineering and Distributed Systems 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 an industrialization of FDTs...read more (view table of contents, read Amazon.com's description)
By Samual T. Chanson (editor), Quiang Gao (editor) and Jianping Wu (editor)

Hardcover:

9780792386469 | Kluwer Academic Pub, September 1, 1999, cover price $299.00 | About this edition: Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.

cover image for 9780819429902
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)

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.

cover image for 9780412847608
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)

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.

cover image for 9780818690143
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)

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.

at beginning | displaying 1 to 25 | next 19 >