.png){kind=logo}
Computer networking & communications
Results 741 - 760 of 2217
Computer networking & communications
Hardback. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9780412797705
- ISBN
- 9780412797705
Hardback
Condition: New
€ 257.75
€ 257.75
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 482
- Condition
- New
- SKU
- V9780412820403
- ISBN
- 9780412820403
Hardback
Condition: New
€ 267.99
€ 267.99
Paperback. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540232520
- ISBN
- 9783540232520
Paperback
Condition: New
€ 71.95
€ 71.95
Paperback. Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 558 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 1760.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 558
- Condition
- New
- SKU
- V9783540291893
- ISBN
- 9783540291893
Paperback
Condition: New
€ 136.44
€ 136.44
Formale Modellierung Von Authentifizierungs- Und Autorisierungsinfrast...
W Lfl, Thomas; Wolfl, Thomas
Paperback / so. Num Pages: 139 pages, black & white tables, bibliography. BIC Classification: UTN; UY. Category: (G) General (US: Trade). Weight in Grams: 233.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Deutscher Universitatsverlag United States
- Number of pages
- 139
- Condition
- New
- SKU
- V9783835004986
- ISBN
- 9783835004986
Paperback
Condition: New
€ 55.91
€ 55.91
Hardback. Formation Control of Multi-Agent Systems: A Graph Rigidity Approach Marcio de Queiroz, Louisiana State University, USA Xiaoyu Cai, FARO Technologies, USA Matthew Feemster, U.S. Series: Wiley Series in Dynamics and Control of Electromechanical Systems. Num Pages: 220 pages. BIC Classification: TJFM; UT. Category: (P) Professional & Vocational. Dimension: 229 x 152. .
- Format
- Hardback
- Publication date
- 2019
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 220
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118887448
- ISBN
- 9781118887448
Hardback
Condition: New
€ 127.96
€ 127.96
Paperback. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, in 2002. This book addresses various aspects of formal method for distributed systems and communication protocols, and contains 22 papers, 2 tool papers, and 2 posters. Editor(s): Peled, Doron A.; Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, biography. BIC Classification: UM; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540001416
- ISBN
- 9783540001416
Paperback
Condition: New
€ 71.89
€ 71.89
Paperback. Series: Springer Series in Advanced Manufacturing. Num Pages: 138 pages, 21 black & white illustrations, 14 colour illustrations, biography. BIC Classification: KCD; TGP; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 138
- Condition
- New
- SKU
- V9783319384474
- ISBN
- 9783319384474
Paperback
Condition: New
€ 139.53
€ 139.53
Hardcover. Series: Springer Series in Advanced Manufacturing. Num Pages: 121 pages, 21 black & white illustrations, 14 colour illustrations, biography. BIC Classification: KCD; TD; TJFM; UTC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 380.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 121
- Condition
- New
- SKU
- V9783319180779
- ISBN
- 9783319180779
Hardback
Condition: New
€ 127.22
€ 127.22
Foundations of Augmented Cognition. Advancing Human Performance and De...
. Ed(S): Schmorrow, Dylan D.; Fidopiastis, Ca...
Paperback. Editor(s): Schmorrow, Dylan D.; Fidopiastis, Cali M. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 394 pages, 113 black & white illustrations, biography. BIC Classification: UBJ; UT; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 394
- Condition
- New
- SKU
- V9783319075266
- ISBN
- 9783319075266
Paperback
Condition: New
€ 67.60
€ 67.60
Paperback.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 242
- Condition
- New
- SKU
- V9781590597750
- ISBN
- 9781590597750
Paperback
Condition: New
€ 43.99€ 36.35
€ 43.99
€ 36.35
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Condition
- New
- SKU
- V9781849965606
- ISBN
- 9781849965606
Paperback
Condition: New
€ 68.86
€ 68.86
Paperback. Num Pages: 544 pages. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 181 x 232 x 33. Weight in Grams: 888.
- Publisher
- Addison-Wesley Professional
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780134175393
- ISBN
- 9780134175393
Paperback
Condition: New
€ 56.31
€ 56.31
Paperback.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 290
- Condition
- New
- SKU
- V9781590597842
- ISBN
- 9781590597842
Paperback
Condition: New
€ 76.99€ 66.99
€ 76.99
€ 66.99
Paperback. Editor(s): Focardi, Riccardo; Gorrieri, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: URY; UTN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 432.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540209553
- ISBN
- 9783540209553
Paperback
Condition: New
€ 66.82
€ 66.82
Paperback. Presents eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2004/2005, held in Bertinoro, Italy, in September 2004 and September 2005. Editor(s): Aldini, Alessandro; Gorrieri, Roberto; Martinelli, Fabio. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 276 pages, biography. BIC Classification: URY; UTN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540289555
- ISBN
- 9783540289555
Paperback
Condition: New
€ 64.30
€ 64.30
Paperback. This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic protocol analysis, identity management and electronic voting, and wireless security. Series: Lecture Notes in Computer Science. Num Pages: 347 pages, biography. BIC Classification: UR; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 347
- Condition
- New
- SKU
- V9783642038280
- ISBN
- 9783642038280
Paperback
Condition: New
€ 61.98
€ 61.98
Paperback. Editor(s): Omondi, Amos R. (Flinders University); Rajapakse, Jagath C. Num Pages: 360 pages, biography. BIC Classification: TBD; TJFC; UT; UYF; UYQN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 360
- Condition
- New
- SKU
- V9781441939425
- ISBN
- 9781441939425
Paperback
Condition: New
€ 194.97
€ 194.97
Hardback. Series: Springer Series in Wireless Technology. Num Pages: 151 pages, 67 black & white illustrations, 61 colour illustrations, biography. BIC Classification: TJK; TTBM; UT; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 151
- Condition
- New
- SKU
- V9783319519999
- ISBN
- 9783319519999
Hardback
Condition: New
€ 160.65
€ 160.65
Hardcover. A unified treatment of the vulnerabilities that exist in real-world network systems-with tools to identify synergies for mergers and acquisitions Fragile Networks: Identifying Vulnerabilities and Synergies in an Uncertain World presents a comprehensive study of network systems and the roles these systems play in our everyday lives. Num Pages: 314 pages, Illustrations. BIC Classification: TJ; TN; UT. Category: (P) Professional & Vocational. Dimension: 243 x 164 x 21. Weight in Grams: 598.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 314
- Condition
- New
- SKU
- V9780470444962
- ISBN
- 9780470444962
Hardback
Condition: New
€ 168.73
€ 168.73