×


 x 

Shopping cart

Computing

Results 6741 - 6760 of 11029

Computing

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

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

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

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

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

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

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

Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
322
Condition
New
SKU
V9783642143342
ISBN
9783642143342
Paperback
Condition: New

€ 67.35

paperback. Constitutes the proceedings of the International Conference on New Modeling Concepts for Today's Software Processes, held in Paderborn, Germany in July 2010. Editor(s): Munch, Jurgen; Yang, Ye; Schafer, Wilhelm. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 382 pages, 133 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 590.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
382
Condition
New
Edition
2010th Edition
SKU
V9783642143465
ISBN
9783642143465
Paperback
Condition: New

€ 68.09

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

Paperback. Constitutes the refereed proceedings of the 10th Industrial Conference on Data Mining, ICDM 2010, held in Berlin, Germany in July 2010. This book features the papers that are organized in topical sections on theoretical aspects of data mining, multimedia data mining, data mining in marketing, data mining in industrial processes, and more. Editor(s): Perner, Petra. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 654 pages, 233 black & white illustrations, biography. BIC Classification: UG; UKR; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 930.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
654
Condition
New
SKU
V9783642143991
ISBN
9783642143991
Paperback
Condition: New

€ 131.41

Paperback. Constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. These papers address topics such as formal languages, automata theory, computability, complexity, logic, petri nets, and related areas. Editor(s): Gao, Yuan; Lu, Hanlin; Seki, Shinnosuke; Yu, Sheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 446 pages, 48 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. 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
V9783642144547
ISBN
9783642144547
Paperback
Condition: New

€ 68.68

Paperback. This volume contains revised papers from the Rough Set and Knowledge Technology Conference (RSKT 2008), together with five papers introducing advances in rough set theory and its applications. It is part of the LNCS Transactions on Rough Sets series. Editor(s): Slowinski, Roman; Lingras, Pawan; Tsumoto, Shusaku; Miao, Duoqian. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 5 colour illustrations, biography. BIC Classification: UG; UMB; UMX; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
339
Condition
New
SKU
V9783642144660
ISBN
9783642144660
Paperback
Condition: New

€ 67.64

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Theoretic Security, held in Shizuoka, Japan, in December 2009. Editor(s): Kurosawa, Kaoru. Series: Lecture Notes in Computer Science. Num Pages: 249 pages, 23 black & white illustrations, biography. BIC Classification: UR. 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
249
Condition
New
SKU
V9783642144950
ISBN
9783642144950
Paperback
Condition: New

€ 66.76

Paperback. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results. Editor(s): Butterfield, Andrew. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 279 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 431.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
279
Condition
New
SKU
V9783642145209
ISBN
9783642145209
Paperback
Condition: New

€ 67.05

Paperback. Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation. Series: Lecture Notes in Business Information Processing. Num Pages: 411 pages, 97 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
411
Condition
New
SKU
V9783642145377
ISBN
9783642145377
Paperback
Condition: New

€ 68.53

paperback. Constitutes the refereed proceedings of the 4th International Frontiers of Algorithmics Workshop, FAW 2010, held in Wuhan, China, in August 2010. Editor(s): Lee, D. T.; Chen, Danny Z.; Ying, Shi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 339 pages, 74 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Edition
2010th Edition
Number of pages
339
Condition
New
SKU
V9783642145520
ISBN
9783642145520
Paperback
Condition: New

€ 67.64

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Business Intelligence for the Real-Time Enterprise, BIRTE 2009, held in Lyon, France, in August 2009, in conjunction with VLDB 2009, the International Conference on Very Large Data Bases. Editor(s): Castellanos, Malu; Umeshwar, Dayal; Miller, Renee. Series: Lecture Notes in Business Information Processing. Num Pages: 175 pages, 67 black & white illustrations, biography. BIC Classification: KJQ; UND; UY. Category: (P) Professional & Vocational. Dimension: 234 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
175
Condition
New
SKU
V9783642145582
ISBN
9783642145582
Paperback
Condition: New

€ 66.17

paperback. Constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, in August 2010. Editor(s): Goel, Ashok K.; Jamnik, Mateja; Narayanan, N.Hari. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 358 pages, 141 black & white illustrations, biography. BIC Classification: UBJ; UKN; UNF; UYA; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
358
Condition
New
Edition
2010th Edition
SKU
V9783642145995
ISBN
9783642145995
Paperback
Condition: New

€ 67.80

Hardback. This volume represents leading research from the Second KES International Symposium on Intelligent Decision Technologies, KES IDT'10, which was concerned with theory, design development, implementation, testing and evaluation of intelligent decision systems. Editor(s): Phillips-Wren, Gloria; Jain, Prof. Lakhmi C.; Nakamatsu, Kazumi; Howlett, Robert J. Series: Smart Innovation, Systems and Technologies. Num Pages: 733 pages, biography. BIC Classification: JNV; KJE; TBC; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 30. Weight in Grams: 1089.
Format
Hardback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
733
Condition
New
SKU
V9783642146152
ISBN
9783642146152
Hardback
Condition: New

€ 376.81

Subscribe to our newsletter

News on special offers, signed editions & more!