Computer science
Results 2381 - 2400 of 3623
Computer science
Paperback. Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. Editor(s): Ferreira, Fernando; Lowe, Benedikt; Mayordomo, Elvira; Gomes, Luis Mendes. Series: Lecture Notes in Computer Science. Num Pages: 450 pages, 37 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642139611
- ISBN
- 9783642139611
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Constitutes the refereed proceedings of the 16th EUNICE/IFIP TC 6.6 Workshop on Networked Services and Applications, EUNICE 2010, held in Trondheim, Norway, in June 2010. This book also includes papers that are organized in topical sections on admission control and networking; service mobility; peer-to-peer and virtualization; and security. Editor(s): Aagesen, Finn Arve; Knapskog, Svein J. Series: Lecture Notes in Computer Science. Num Pages: 275 pages, 125 black & white illustrations, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational. Dimension: 234 x 157 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
- V9783642139703
- ISBN
- 9783642139703
Paperback
Condition: New
€ 67.20
€ 67.20
Underwater SLAM for Structured Environments Using an Imaging Sonar
Ribas, David; Ridao, Pere; Neira, Jose
Hardback. This book describes a number of techniques developed to solve a central problem in the navigation of autonomous underwater vehicles (AUVs). It focuses in particular on localization methods and especially on simultaneous localization and mapping (SLAM). Series: Springer Tracts in Advanced Robotics. Num Pages: 144 pages, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 160 x 13. Weight in Grams: 408.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783642140396
- ISBN
- 9783642140396
Hardback
Condition: New
€ 128.00
€ 128.00
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 130.36
€ 130.36
Information Processing and Management of Uncertainty in Knowledge-base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 136 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 764
- Condition
- New
- SKU
- V9783642140549
- ISBN
- 9783642140549
Paperback
Condition: New
€ 132.59
€ 132.59
Information Processing and Management of Uncertainty in Knowledge-Base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 785 pages, 237 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 785
- Condition
- New
- SKU
- V9783642140570
- ISBN
- 9783642140570
Paperback
Condition: New
€ 132.59
€ 132.59
Paperback. Constitutes the proceedings of the 6th International Conference on Articulated Motion and Deformable Objects, held in Port d'Andratx, Mallorca, Spain, in July 2010. Editor(s): Perales Lopez, Francisco Jose; Fisher, Robert B. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 312 pages, 154 black & white illustrations, biography. BIC Classification: UG; UKR; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642140600
- ISBN
- 9783642140600
Paperback
Condition: New
€ 67.49
€ 67.49
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations ,held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 440 pages, 246 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642140631
- ISBN
- 9783642140631
Paperback
Condition: New
€ 68.39
€ 68.39
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 460 pages, 227 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642140747
- ISBN
- 9783642140747
Paperback
Condition: New
€ 68.98
€ 68.98
Hardback. This volume shows how assembly and manufacturing technologies have evolved along with advances in enabling technologies, and how the emergence of complex micro/nano system products has dictated the development of new assembly and manufacturing technologies. Editor(s): Lee, Sukhan; Suarez, Raul; Choi, Byung Wook. Num Pages: 294 pages, biography. BIC Classification: TBN; TDP; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 160 x 18. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783642141157
- ISBN
- 9783642141157
Hardback
Condition: New
€ 195.53
€ 195.53
Paperback. Constitutes the proceedings of the Second International Conference on Recent Trends in Wireless and Mobile Networks, held in Ankara, Turkey, in June 2010. Editor(s): Ozcan, Abdulkadir; Chaki, Nabendu; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 446 pages, 183 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642141706
- ISBN
- 9783642141706
Paperback
Condition: New
€ 129.78
€ 129.78
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 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
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. Constitutes the proceedings of the 11th International Conference, WAIM 2010 which was held in Jiuzhaigou, China, during July 15-17, 2010. This book covers such topics as: web data, networked data, social networks, cloud computing, data mining, stream processing, graph processing, query processing, potpourri, XML and images, and more. Editor(s): Chen, Lei; Tang, Changjie; Yang, Jun; Gao, Yunjun. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 785 pages, 320 black & white illustrations, biography. BIC Classification: UKN; UKR; UND; UNF; UNK; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 785
- Condition
- New
- SKU
- V9783642142451
- ISBN
- 9783642142451
Paperback
Condition: New
€ 132.59
€ 132.59
Paperback. Constitutes the proceedings of the Second International Conference on Networked Digital Technologies, held in Prague, Czech Republic, in July 2010. Editor(s): Zavoral, Filip; Yaghob, Jakub; Pichappan, Pit; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 580 pages, 231 black & white illustrations, biography. BIC Classification: GLF; UKN; UKR; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642142918
- ISBN
- 9783642142918
Paperback
Condition: New
€ 130.82
€ 130.82
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. Data hiding has been proposed as an enabling technology for securing multimedia communication. This book publishes both original and archival research results from these emerging fields. It contains a section on forensic image analysis for crime prevention. Editor(s): Shi, Yun Q. Series: Lecture Notes in Computer Science. Num Pages: 129 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYQP. Category: (P) Professional & Vocational. Dimension: 238 x 155 x 9. Weight in Grams: 230.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 129
- Condition
- New
- SKU
- V9783642142970
- ISBN
- 9783642142970
Paperback
Condition: New
€ 65.72
€ 65.72
Paperback. Constitutes the proceedings of the Second International Conference on Networked Digital Technologies, held in Prague, Czech Republic, in July 2010. Editor(s): Zavoral, Filip; Yaghob, Jakub; Pichappan, Pit; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 730 pages, 289 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 236 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
- 730
- Condition
- New
- SKU
- V9783642143052
- ISBN
- 9783642143052
Paperback
Condition: New
€ 132.14
€ 132.14
A 25-Year Perspective on Logic Programming: Achievements of the Italia...
. Ed(S): Dovier, Agostino; Pontelli, Enrico
paperback. This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. Editor(s): Dovier, Agostino; Pontelli, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642143083
- ISBN
- 9783642143083
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Constitutes the refereed proceedings of the 4th International Workshop on Biomedical Image Registration, WBIR 2010, held in Lubeck, Germany, in July 2010. This book features the papers that are organized in topical sections on biomedical applications, evaluation, methods of registration, and model based registration. Editor(s): Fischer, Bernd; Dawant, Benoit M.; Lorenz, Cristian. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, 113 black & white illustrations, biography. BIC Classification: MBP; MMP; PSA; UG; UND; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783642143656
- ISBN
- 9783642143656
Paperback
Condition: New
€ 67.35
€ 67.35