Computing
Results 7401 - 7420 of 11259
Computing
Formal Description Techniques and Protocol Specification, Testing and ...
Togashi, Atsushi; Mizuno, Tadanori; Shiratori...
Hardback. Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic). Series: IFIP Advances in Information and Communication Technology. Num Pages: 561 pages, biography. BIC Classification: UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 31. Weight in Grams: 984.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 561
- Condition
- New
- SKU
- V9780412820601
- ISBN
- 9780412820601
Hardback
Condition: New
€ 251.64
€ 251.64
Hardback. Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. Editor(s): Gotzhein, Reinhard; Bredereke, Jan. Series: IFIP Advances in Information and Communication Technology. Num Pages: 528 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 528
- Condition
- New
- SKU
- V9780412794902
- ISBN
- 9780412794902
Hardback
Condition: New
€ 364.37
€ 364.37
Hardback. Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. Editor(s): Bochmann, Gregor von; Rafiq, Omar; Dssouli, Rachida. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1850.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 466
- Condition
- New
- SKU
- V9780412732706
- ISBN
- 9780412732706
Hardback
Condition: New
€ 249.61
€ 249.61
Paperback. Editor(s): Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 57 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UNF; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319195445
- ISBN
- 9783319195445
Paperback
Condition: New
€ 64.15
€ 64.15
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. Editor(s): Barthe, Gilles; Datta, Anupam; Etalle, Sandro. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 51 black & white illustrations, biography. BIC Classification: UMZ; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642294198
- ISBN
- 9783642294198
Paperback
Condition: New
€ 83.27
€ 83.27
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 127.57
€ 127.57
Hardback. Discusses designing computations to be realized by application-specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions; and the models created enable the designer to perform different kinds of analysis and verification. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9780792394273
- ISBN
- 9780792394273
Hardback
Condition: New
€ 192.00
€ 192.00
Hardcover. The second edition of this successful book shows how the contents of computer systems can be recovered for criminal evidence, even when hidden or subverted. Coverage includes Windows XP/2000 file systems, fast drives, new encryption technologies, and personal organisers. Series: Practitioner Series. Num Pages: 480 pages, 196 black & white illustrations, 178 black & white tables, biography. BIC Classification: JKVF; URY. Category: (P) Professional & Vocational. Dimension: 241 x 165 x 27. Weight in Grams: 782.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 476
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2nd
- Condition
- New
- SKU
- V9781846283970
- ISBN
- 9781846283970
Hardback
Condition: New
€ 106.94€ 105.23
€ 106.94
€ 105.23
Hardback. This book will assist DBAs with forecasting future performance of new and existing database systems. It shows how to create a model of a database system. Different types of models are introduced: mathematical, simulation, and benchmark. Num Pages: 292 pages, biography. BIC Classification: UNSB. Category: (G) General (US: Trade). Dimension: 235 x 178 x 23. Weight in Grams: 744.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Corrected ed., Corr. 3rd printing
- Number of pages
- 292
- Condition
- New
- SKU
- V9781590598023
- ISBN
- 9781590598023
Hardback
Condition: New
€ 61.88
€ 61.88
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9781430242932
- ISBN
- 9781430242932
Paperback
Condition: New
€ 59.48
€ 59.48
Paperback. .
- Publisher
- Taylor & Francis Ltd
- Format
- Paperback
- Publication date
- 2017
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9781138919570
- ISBN
- 9781138919570
Paperback
Condition: New
€ 65.06
€ 65.06
Paperback. Series: Force Drawing Series. Num Pages: 331 pages, 278 colour illustrations. BIC Classification: UGN. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 256 x 192 x 25. Weight in Grams: 756.
- Publisher
- Taylor & Francis Ltd
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780415733977
- ISBN
- 9780415733977
Paperback
Condition: New
€ 52.30
€ 52.30
Paperback. "Forbidden Lego" deals with computers/software. Num Pages: 192 pages, illustrations. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 253 x 215 x 15. Weight in Grams: 718. Build the Models Your Parents Warned You Against!. 186 pages, illustrations. "Forbidden Lego" deals with computers/software. Cateogry: (G) General (US: Trade). BIC Classification: UMX. Dimension: 253 x 215 x 15. Weight: 706.
- Publisher
- No Starch Press
- Number of pages
- 186
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781593271374
- ISBN
- 9781593271374
Paperback
Condition: New
€ 32.99€ 23.49
€ 32.99
€ 23.49
Paperback. Series: SpringerBriefs in Food, Health, and Nutrition. Num Pages: 95 pages, 16 black & white illustrations, biography. BIC Classification: KJQ; KJT; TDCT; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 5. Weight in Grams: 161.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 95
- Condition
- New
- SKU
- V9783319015972
- ISBN
- 9783319015972
Paperback
Condition: New
€ 71.26
€ 71.26
Paperback. The era of ASCII characters on green screens is long gone. Industry leaders such as Apple, HP, IBM, Microsoft, and Oracle have adopted the Unicode Worldwide Character Standard. This book explains information on fonts and typography that software and web developers need to know to get typography and fonts to work properly. Translator(s): Horne, P.Scott. Num Pages: 1016 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 178 x 232 x 51. Weight in Grams: 1654.
- Publisher
- O'Reilly Media, Inc, USA United States
- Number of pages
- 1016
- Format
- Paperback
- Publication date
- 2007
- Condition
- New
- SKU
- V9780596102425
- ISBN
- 9780596102425
Paperback
Condition: New
€ 60.29
€ 60.29
Hardcover. The book examines how Fog will change the information technology industry in the next decade. Fog distributes the services of computation, communication, control and storage closer to the edge, access and users. As a computing and networking architecture, Fog enables key applications in wireless 5G, the Internet of Things, and big data. Series: Information and Communication Technology Series. Num Pages: 288 pages. BIC Classification: TJKW; UTW. Category: (G) General (US: Trade). Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 288
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781119187134
- ISBN
- 9781119187134
Hardback
Condition: New
€ 135.19
€ 135.19
Paperback. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540631767
- ISBN
- 9783540631767
Paperback
Condition: New
€ 48.75
€ 48.75
Hardcover. Editor(s): Kutais, B. G. Num Pages: 226 pages. BIC Classification: UDB. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 267 x 186 x 20. Weight in Grams: 734.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 226
- Condition
- New
- SKU
- V9781590339787
- ISBN
- 9781590339787
Hardback
Condition: New
€ 101.00€ 70.11
€ 101.00
€ 70.11
Paperback. Series: Focus on. Num Pages: 216 pages, 138 colour illustrations, 42 colour illustrations. BIC Classification: UGP. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 211 x 190 x 15. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 216
- Condition
- New
- SKU
- V9780415663236
- ISBN
- 9780415663236
Paperback
Condition: New
€ 31.99€ 22.76
€ 31.99
€ 22.76
Hardcover. Editor(s): Islam, Rafiq. Num Pages: 300 pages, Illustrations. BIC Classification: KJQ; UY. Category: (G) General (US: Trade). Dimension: 259 x 187 x 22. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 300
- Condition
- New
- SKU
- V9781612099798
- ISBN
- 9781612099798
Hardback
Condition: New
€ 242.41€ 163.84
€ 242.41
€ 163.84