Computer hardware
Results 241 - 260 of 641
Computer hardware
Paperback. This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more. Editor(s): Engels, Gregor; Lewerentz, Claus; Schafer, Wilhelm; Schurr, Andy; Westfechtel, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 782 pages, 328 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 180 x 237 x 28. Weight in Grams: 1042.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 782
- Condition
- New
- SKU
- V9783642173219
- ISBN
- 9783642173219
Paperback
Condition: New
€ 127.16
€ 127.16
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
Paperback. Constitutes the refereed proceedings of the 20th Irish Conference on Artificial Intelligence and Cognitive Science, AICS 2009, held in Dublin, Ireland in August 2009. Editor(s): Coyle, Lorcan; Freyne, Jill. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 293 pages, 108 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642170799
- ISBN
- 9783642170799
Paperback
Condition: New
€ 67.23
€ 67.23
Paperback. Constitutes the revised papers of the 5th European Conference on Smart Sensing and Context, EuroSSC 2010, held in Passau, Germany, in November 2010. This volume includes papers that address topics such as applications; sensing; systems support; and higher level modeling. Editor(s): Lukowicz, Paul; Kunze, Kai; Kortuem, Gerd. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 203 pages, 75 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642169816
- ISBN
- 9783642169816
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010. This book includes papers that are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, and geometry. Editor(s): Boulic, Ronan; Chrysanthou, Yiorgos; Komura, Taku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 436 pages, 210 black & white illustrations, biography. BIC Classification: UGK; UGN; UKR; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642169571
- ISBN
- 9783642169571
Paperback
Condition: New
€ 68.66
€ 68.66
Advances in Artificial Intelligence - IBERAMIA 2010
. Ed(S): Kuri-Morales, Angel; Simari, Guiller...
Paperback. Constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahia Blanca, Argentina, in November 2010. Editor(s): Kuri-Morales, Angel; Simari, Guillermo R. Series: Lecture Notes in Computer Science. Num Pages: 604 pages, 174 black & white illustrations, biography. BIC Classification: UGK; UKR; UYQL; UYQP. Category: (P) Professional & Vocational. Dimension: 234 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
- 604
- Condition
- New
- SKU
- V9783642169519
- ISBN
- 9783642169519
Paperback
Condition: New
€ 131.31
€ 131.31
Paperback. Editor(s): Ruyter, Boris de; Wichert, Reiner; Keyson, David V.; Markopoulos, Panos; Streitz, Norbert A.; Divitini, Monica; Georgantas, Nikolaos; Gomez, Antonio Mana. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci. Num Pages: 371 pages. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. .
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642169168
- ISBN
- 9783642169168
Paperback
Condition: New
€ 65.96
€ 65.96
Formal Methods and Software Engineering: 12th International Conference...
. Ed(S): Dong, Jin Song; Zhu, Huibiao
paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642169007
- ISBN
- 9783642169007
Paperback
Condition: New
€ 131.97
€ 131.97
Paperback. Editor(s): Dix, Jurgen; Fisher, Michael; Novak, Peter. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 197 pages, 40 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642168666
- ISBN
- 9783642168666
Paperback
Condition: New
€ 66.32
€ 66.32
Modelling Autonomic Communication Environments: 5th IEEE International...
. Ed(S): Brennan, Rob; Fleck, Joel, Ii; Meer,...
paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 125
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642168352
- ISBN
- 9783642168352
Paperback
Condition: New
€ 65.66
€ 65.66
Paperback. Editor(s): Echizen, Isao; Kunihiro, Noboru; Sasaki, Ryoichi. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 371 pages, 83 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642168246
- ISBN
- 9783642168246
Paperback
Condition: New
€ 68.00
€ 68.00
Paperback. Editor(s): Ors Yalcin, Siddika Berna. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 271 pages, 72 black & white illustrations, biography. BIC Classification: TJKR; UKN; UMB; URY; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642168215
- ISBN
- 9783642168215
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Editor(s): Proper, Erik; Lankhorst, Marc; Schonherr, Marten; Barjis, Joseph; Overbeek, Sietse. Series: Lecture Notes in Business Information Processing. Num Pages: 101 pages, 25 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 8. Weight in Grams: 177.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 101
- Condition
- New
- SKU
- V9783642168185
- ISBN
- 9783642168185
Paperback
Condition: New
€ 65.40
€ 65.40
Paperback. Constitutes the refereed proceedings of HCI in Work and Learning, Life and Leisure, held as the 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2010, in Klagenfurt, Austria, in November 2010. Editor(s): Leitner, Gerhard; Hitz, Martin; Holzinger, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 532 pages, 144 black & white illustrations, biography. BIC Classification: MBP; UKN; UKR; UND; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783642166068
- ISBN
- 9783642166068
Paperback
Condition: New
€ 69.58
€ 69.58
Paperback. BlogTalk, the International Conference on Social Software, brings together different groups of people using and advancing the Internet and its usage: technical and conceptual developers, researchers with interdisciplinary backgrounds, and practitioners alike. This volume includes 6 papers from BlogTalk 2008 as well as 11 papers from BlogTalk 2009. Editor(s): Breslin, John G.; Burg, Thomas N.; Kim, Hong-Gee; Raftery, Tom; Schmidt, Jan-Hinrik. Series: Lecture Notes in Computer Science. Num Pages: 177 pages, 63 black & white illustrations, biography. BIC Classification: UBJ; UGB; UKN; UKR; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 177
- Condition
- New
- SKU
- V9783642165801
- ISBN
- 9783642165801
Paperback
Condition: New
€ 66.20
€ 66.20
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, held in Xi'an, China, in October 2010. Editor(s): Xie, Bing; Branke, Juergen; Sadjadi, S. Masoud; Zhang, Daqing; Zhou, Xingshe. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 328 pages, 112 black & white illustrations, biography. BIC Classification: UB; UKN; UMZ; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 328
- Condition
- New
- SKU
- V9783642165757
- ISBN
- 9783642165757
Paperback
Condition: New
€ 66.96
€ 66.96
Paperback. Assembles 15 refereed and revised papers, selected from two workshops organized at the XXIV World Congress of Philosophy of Law and Social Philosophy (IVR, Beijing, China, September 15-20, 2009) and at JURIX-09 (December 16-19, 2009, Rotterdam). Editor(s): Casanovas, Pompeu; Pagallo, Ugo; Sartor, Giovanni; Ajani, Gianmaria. Series: Lecture Notes in Computer Science. Num Pages: 243 pages, 62 black & white illustrations, biography. BIC Classification: LA; UBJ; UKN; UKR; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783642165238
- ISBN
- 9783642165238
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Constitutes the proceedings of the Third Conference on Human-Centred Software Engineering (HCSE 2010) held in Reykjavik, Iceland, in October 2010. Editor(s): Bernhaupt, Regina; Forbrig, Peter; Gulliksen, Jan; Larusdottir, Marta Kristin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 223 pages, 90 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642164873
- ISBN
- 9783642164873
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Constitutes the proceedings of the 10th Conference on Transport Systems Telematics, held in Katowice-Ustron, in October 2010 Editor(s): Mikulski, Jerzy. Series: Communications in Computer and Information Science. Num Pages: 470 pages, 198 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND. Category: (P) Professional & Vocational. Dimension: 204 x 214 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 470
- Condition
- New
- SKU
- V9783642164712
- ISBN
- 9783642164712
Paperback
Condition: New
€ 129.99
€ 129.99
Paperback. Constitutes the refereed post-conference proceedings of the 6th European Workshop on Public Key Services, Applications and Infrastructures, EuroPKI 2009, held in Pisa, Italy, in September 2009. Editor(s): Martinelli, Fabio; Preneel, Bart. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, 41 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642164408
- ISBN
- 9783642164408
Paperback
Condition: New
€ 67.35
€ 67.35