Computer hardware
Results 121 - 140 of 641
Computer hardware
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 131.55
€ 131.55
Paperback. Num Pages: 200 pages, 27 black & white illustrations, biography. BIC Classification: UKN; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9781475739176
- ISBN
- 9781475739176
Paperback
Condition: New
€ 63.30
€ 63.30
Paperback. Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 370 pages, biography. BIC Classification: UGK; UKN; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783540878261
- ISBN
- 9783540878261
Paperback
Condition: New
€ 127.93
€ 127.93
Paperback. Constitutes the refereed proceedings of the 7th European Performance Engineering Workshop, EPEW 2010, held in Bertinoro, Italy, in September 2010. This book features the papers that are organized in topical sections on network and software performance; timed models and model checking; model solutions and bounds; and, compositional analysis. Editor(s): Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio. Series: Lecture Notes in Computer Science. Num Pages: 286 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642157837
- ISBN
- 9783642157837
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Constitutes the refereed proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, held in The English Lake District in October 2011. This book includes the papers that are organized in topical sections on performance-oriented design and analysis methods, performability modelling and performance and power consumption tradeoffs. Editor(s): Thomas, Nigel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 341 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642247484
- ISBN
- 9783642247484
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Constitutes the proceedings of the 15th European Symposium on Computer Security held in Athens, Greece in September 2010. Editor(s): Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi. Series: Lecture Notes in Computer Science. Num Pages: 718 pages, 163 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 718
- Condition
- New
- SKU
- V9783642154966
- ISBN
- 9783642154966
Paperback
Condition: New
€ 132.14
€ 132.14
paperback. Num Pages: 318 pages, biography. BIC Classification: UK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Chapman and Hall United Kingdom
- Edition
- 1st Edition
- Number of pages
- 318
- Condition
- New
- SKU
- V9780412007118
- ISBN
- 9780412007118
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: UKR. Category: (G) General (US: Trade); (UU) Undergraduate. Dimension: 216 x 140 x 14. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Physica-Verlag GmbH & Co Germany
- Condition
- New
- SKU
- V9783790806649
- ISBN
- 9783790806649
Paperback
Condition: New
€ 70.20
€ 70.20
Paperback. Editor(s): Xu, Dachuan; Du, Donglei; Du, Dingzhu. Series: Lecture Notes in Computer Science. Num Pages: 801 pages, 109 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1211.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 801
- Condition
- New
- SKU
- V9783319213972
- ISBN
- 9783319213972
Paperback
Condition: New
€ 68.16
€ 68.16
Paperback. .
- Publisher
- In Easy Steps Limited United Kingdom
- Number of pages
- 240
- Format
- Paperback
- Publication date
- 2013
- Edition
- Fifth
- Condition
- New
- SKU
- V9781840785760
- ISBN
- 9781840785760
Paperback
Condition: New
€ 16.99€ 16.39
€ 16.99
€ 16.39
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. Series: Lecture Notes in Computer Science. Num Pages: 613 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 33. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 613
- Condition
- New
- SKU
- V9783642153747
- ISBN
- 9783642153747
Paperback
Condition: New
€ 131.31
€ 131.31
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783642232169
- ISBN
- 9783642232169
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. This book covers modeling and control of data traffic in communication networks, showing how network phenomena can be represented in a mathematical framework suitable for rigorous analysis. Includes real-world examples supported by figures, tables and graphs. Series: Communications and Control Engineering. Num Pages: 400 pages, 19 black & white tables, biography. BIC Classification: PBKQ; TJFM; TJK; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 400
- Condition
- New
- SKU
- V9781447158318
- ISBN
- 9781447158318
Paperback
Condition: New
€ 122.77
€ 122.77
hardcover. Provides an algorithmic framework for numerical computation of many practical stochastic systems. This title summarizes important advances in computational study of stochastic models from several crucial directions, such as stationary computation, transient solution, asymptotic analysis, reward processes, decision processes, sensitivity analysis. Num Pages: 650 pages, 24 black & white illustrations, biography. BIC Classification: PBT; PBUH; TGPR; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1152.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 650
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642114915
- ISBN
- 9783642114915
Hardback
Condition: New
€ 198.43
€ 198.43
Hardcover. Editor(s): Lengauer, Christian. Num Pages: 182 pages, illustrations. BIC Classification: UK. Category: (G) General (US: Trade). Dimension: 262 x 184 x 19. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9781590333747
- ISBN
- 9781590333747
Hardback
Condition: New
€ 127.17€ 95.87
€ 127.17
€ 95.87
Paperback. Editor(s): Mangard, Stefan; Poschmann, Axel Y. Series: Lecture Notes in Computer Science. Num Pages: 281 pages, biography. BIC Classification: UKN; UMB; URD; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 281
- Condition
- New
- SKU
- V9783319214757
- ISBN
- 9783319214757
Paperback
Condition: New
€ 63.73
€ 63.73
Paperback. Constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010. Editor(s): Ranka, Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore; Dua, Sumeet; Mishra, Prabhat; Moona, Rajat; Poon, Sheung-Hung; Wang, Cho-Li. Series: Communications in Computer and Information Science. Num Pages: 275 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 15. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642148248
- ISBN
- 9783642148248
Paperback
Condition: New
€ 67.20
€ 67.20
Context Management for Distributed and Dynamic Context-Aware Computing
Rocha, Ricardo Couto Antunes Da; Endler, Mark...
Paperback. Research in context-aware computing has produced a number of middleware systems for context management. This book proposes a novel architecture for context management based on the concept of context domains, allowing applications to keep context interests across distributed context management systems. Series: SpringerBriefs in Computer Science. Num Pages: 103 pages, 35 black & white illustrations, 7 black & white tables, biography. BIC Classification: UKN; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 5. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 103
- Condition
- New
- SKU
- V9781447140191
- ISBN
- 9781447140191
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Editor(s): Balasubramaniam, P. Series: Communications in Computer and Information Science. Num Pages: 328 pages, 40 black & white illustrations, 63 colour illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 328
- Condition
- New
- SKU
- V9783642192623
- ISBN
- 9783642192623
Paperback
Condition: New
€ 67.61
€ 67.61
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011, held in Daejeon, Korea, in September 2011. Editor(s): Lee, Geuk; Howard, Daniel; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 789 pages, 195 black & white illustrations, 309 colour illustrations, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 789
- Condition
- New
- SKU
- V9783642240812
- ISBN
- 9783642240812
Paperback
Condition: New
€ 132.62
€ 132.62