Computing
Results 3457 - 3480 of 6775
Computing
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
€ 65.15
€ 65.15
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
€ 66.58
€ 66.58
Frontiers in Algorithms: 4th International Workshop, FAW 2010, Wuhan, ...
. Ed(S): Lee, D. T.; Chen, Danny Z.; Ying, Sh...
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
€ 65.73
€ 65.73
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
€ 64.29
€ 64.29
Diagrammatic Representation and Inference: 6th International Conferenc...
. Ed(S): Goel, Ashok K.; Jamnik, Mateja; Nara...
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
€ 65.88
€ 65.88
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
€ 365.72
€ 365.72
Wireless Algorithms, Systems, and Applications: 5th International Conf...
. Ed(S): Pandurangan, Gopal; Kumar, V. S. Ani...
paperback. Constitutes the refereed proceedings of the 5th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2010, held in Beijing, China, in August 2010. Editor(s): Pandurangan, Gopal; Kumar, V. S. Anil; Gu, Ming Dong; Liu, Yunhao; Li, Yingshu. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 256 pages, 156 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 256
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642146534
- ISBN
- 9783642146534
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at the University of Pretoria, South Africa on July 2009. Series: Lecture Notes in Computer Science. Num Pages: 147 pages, 44 black & white illustrations, biography. BIC Classification: UMB; UMX; UND; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 147
- Condition
- New
- SKU
- V9783642146831
- ISBN
- 9783642146831
Paperback
Condition: New
€ 64.01
€ 64.01
Paperback. Constitutes the proceedings of the First International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2010, held in Puebla, Mexico, on August 8-11, 2010. This work covers topics such as encryption, elliptic curves, implementation of pairings, implementation of cryptographic algorithms, and side-channel attacks. Editor(s): Abdalla, Michel; Barreto, Paulo S. L. M. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 323 pages, 47 black & white illustrations, biography. BIC Classification: URY. Category: (P) Professional & Vocational. Dimension: 234 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
- 323
- Condition
- New
- SKU
- V9783642147111
- ISBN
- 9783642147111
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Constitutes the refereed proceedings of the First International Workshop on Human Behavior Understanding, HBU 2010, a satellite workshop of the International Conference on Pattern Recognition in Istanbul, Turkey, on August 22, 2010. Editor(s): Salah, Albert Ali; Gevers, Theo; Sebe, Nicu; Vinciarelli, Alessandro. Series: Lecture Notes in Computer Science. Num Pages: 173 pages, 45 black & white illustrations, biography. BIC Classification: UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642147142
- ISBN
- 9783642147142
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Constitutes the refereed proceedings of the 9th International Conference, EGOV 2010, held in Lausanne, Switzerland, in August/September 2010. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 437 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UND; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783642147982
- ISBN
- 9783642147982
Paperback
Condition: New
€ 66.73
€ 66.73
Evaluation of Novel Approaches to Software Engineering
. Ed(S): Maciaszek, Leszek; Gonzalez-Perez, C...
Paperback. Collects the papers that are presented at the International Conference on Evaluation of Novel Approaches to Software Engineering 2008 and 2009 (ENASE 2008/2009). Editor(s): Maciaszek, Leszek; Gonzalez-Perez, Cesar; Jablonski, Stefan. Series: Communications in Computer and Information Science. Num Pages: 324 pages, 135 black & white illustrations, biography. BIC Classification: UMZ. 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
- 324
- Condition
- New
- SKU
- V9783642148187
- ISBN
- 9783642148187
Paperback
Condition: New
€ 65.58
€ 65.58
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
€ 65.30
€ 65.30
Advanced Intelligent Computing. Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the proceedings of the 6th International Conference on Advanced Intelligent Computing, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); McGinnity, Martin; Heutte, Laurent; Zhang, Xiao-Ping. Series: Communications in Computer and Information Science. Num Pages: 580 pages, 243 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. 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
- V9783642148309
- ISBN
- 9783642148309
Paperback
Condition: New
€ 127.01
€ 127.01
Paperback. Contains the refereed proceedings of the First Scandinavian Conference on Information Systems (SCIS), held in Rebild, Denmark, in August 2010. The conference was held in conjunction with the traditional IRIS seminar for information systems research in Scandinavia. Editor(s): Kautz, Karlheinz; Nielsen, Peter Axel. Series: Lecture Notes in Business Information Processing. Num Pages: 157 pages, 13 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 157
- Condition
- New
- SKU
- V9783642148736
- ISBN
- 9783642148736
Paperback
Condition: New
€ 64.15
€ 64.15
Advanced Intelligent Computing Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Intelligent Computing, ICIC 2010, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Zhao, Zhongming; Bevilacqua, Vitoantonio; Figueroa, Juan Carlos. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 689 pages, 268 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 689
- Condition
- New
- SKU
- V9783642149214
- ISBN
- 9783642149214
Paperback
Condition: New
€ 128.03
€ 128.03
Paperback. Constitutes the proceedings of the Second International Workshop on Advances in Social Network and Analysis, held in Las Vegas, NV, USA in August 2008. Editor(s): Giles, C. Lee; Smith, Marc; Yen, John; Zhang, Haizheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 131 pages, 47 black & white illustrations, biography. BIC Classification: UGB; UKN; UKR; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 8. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 131
- Condition
- New
- SKU
- V9783642149283
- ISBN
- 9783642149283
Paperback
Condition: New
€ 63.86
€ 63.86
Advanced Intelligent Computing Theories and Applications: With Aspects...
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
paperback. Constitutes the refereed proceedings of the 6th International Conference on Intelligent Computing, ICIC 2010, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Zhang, Xiang; Reyes-Garcia, Carlos Alberto; Zhang, Lei. Series: Lecture Notes in Computer Science. Num Pages: 685 pages, 277 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 975.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 685
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642149313
- ISBN
- 9783642149313
Paperback
Condition: New
€ 127.88
€ 127.88
Paperback. Constitutes the refereed proceedings of the Third International DMTF Academic Alliance Workshop, SVM 2009, that was held in Wuhan, China, in September 2009. Editor(s): Boursas, Latifa; Carlson, Mark; Jin, Hai; Sibilla, Michelle; Wold, Kes. Series: Communications in Computer and Information Science. Num Pages: 103 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UND; UTV. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 103
- Condition
- New
- SKU
- V9783642149436
- ISBN
- 9783642149436
Paperback
Condition: New
€ 63.58
€ 63.58
Coordination, Organizations, Institutions, and Norms in Agent Systems ...
. Ed(S): Padget, Julian; Artikis, Alexander; ...
Paperback. Constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2009. Editor(s): Padget, Julian; Artikis, Alexander; Vasconcelos, Wamberto; Stathis, Kostas; Torres Da Silva, Viviane; Matson, Eric; Polleres, Axel. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 335 pages, 103 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UND; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783642149610
- ISBN
- 9783642149610
Paperback
Condition: New
€ 65.88
€ 65.88
Paperback. Constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. This title features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning. Editor(s): Dix, Jurgen; Leite, Joao; Governatori, Guido; Jamroga, Wojtek. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 257 pages, 42 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642149764
- ISBN
- 9783642149764
Paperback
Condition: New
€ 65.01
€ 65.01
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 127.45
€ 127.45
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 64.86
€ 64.86
Agent-Mediated Electronic Commerce: Designing Trading Strategies and M...
. Ed(S): David, Esther; Gerding, Enrico; Sarn...
Paperback. Contains 18 thoroughly refereed and revised papers detailing the advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. This title includes papers that focus on topics such as individual agent behavior and agent interaction, collective behavior, mechanism design, and computational aspects. Editor(s): David, Esther; Gerding, Enrico; Sarne, David; Shehory, Onn. Series: Lecture Notes in Business Information Processing. Num Pages: 275 pages, 55 black & white illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642151163
- ISBN
- 9783642151163
Paperback
Condition: New
€ 65.15
€ 65.15