Computer science
Results 2421 - 2440 of 3623
Computer science
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
€ 66.90
€ 66.90
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
€ 131.26
€ 131.26
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
€ 66.76
€ 66.76
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
€ 67.05
€ 67.05
Paperback. Contains selected papers from the e-Commerce and e-Business (SIGeBIZ) track at the 16th Americas Conference on Information Systems, AMCIS 2010, held in Lima, Peru, August 12-15, 2010. Editor(s): Nelson, Matthew L.; Shaw, Michael J.; Strader, Troy J. Series: Lecture Notes in Business Information Processing. Num Pages: 173 pages, 55 black & white illustrations, biography. BIC Classification: KJE; KJQ; UKR; UY. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642151408
- ISBN
- 9783642151408
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the refereed proceedings of the Second International Conference on Electronic Participation, ePart 2010, that was held in Lausanne, Switzerland, in August/September, 2010. Editor(s): Tambouris, Efthimios; Macintosh, Ann; Glassey, Olivier. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 237 pages, 31 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 231 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
- 237
- Condition
- New
- SKU
- V9783642151576
- ISBN
- 9783642151576
Paperback
Condition: New
€ 66.70
€ 66.70
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 66.46
€ 66.46
Electronic Government and the Information Systems Perspective
. Ed(S): Andersen, Kim Normann; Francesconi, ...
Paperback. Constitutes the proceedings of the First International Conference on Electronic Government and the Information Systems Perspective that was held in Bilbao, Spain, in August/September 2010. Editor(s): Andersen, Kim Normann; Francesconi, Enrico; Gronlund, Ake; Engers, T. M. van. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 265 pages, 78 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UYQ; UYZ. 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
- 265
- Condition
- New
- SKU
- V9783642151712
- ISBN
- 9783642151712
Paperback
Condition: New
€ 67.05
€ 67.05
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB 2010, held in Paris and Clos Luce, France, in August 2010. Editor(s): Doncieux, Stephane; Girard, Benoit; Guillot, Agnes; Hallam, John; Meyer, Jean-Arcady; Mouret, Jean-Baptiste. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 662 pages, 308 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783642151927
- ISBN
- 9783642151927
Paperback
Condition: New
€ 131.55
€ 131.55
Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642152047
- ISBN
- 9783642152047
Paperback
Condition: New
€ 69.87
€ 69.87
Agent-Mediated Electronic Commerce and Trading Agent Design and Analys...
. Ed(S): Ketter, Wolfgang; Poutre, Han La; Sa...
Paperback. Contains 13 refereed and revised papers that were originally presented at the 10th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2008) collocated with AAMAS 2008 in Estoril, Portugal, or the 6th Workshop on Trading Agent Design and Analysis (TADA 2008) collocated with AAAI 2008 in Chicago, IL, USA. Editor(s): Ketter, Wolfgang; Poutre, Han La; Sadeh, Norman M.; Shehory, Onn; Walsh, William. Series: Lecture Notes in Business Information Processing. Num Pages: 191 pages, 75 black & white illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 234 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
- 191
- Condition
- New
- SKU
- V9783642152368
- ISBN
- 9783642152368
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642152900
- ISBN
- 9783642152900
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Evolvable Systems, ICES 2010, held in York, UK, in September 2010. Editor(s): Tempesti, Gianluca; Tyrrell, Andy M.; Miller, Julian. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 228 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642153228
- ISBN
- 9783642153228
Paperback
Condition: New
€ 68.24
€ 68.24
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 21 International Conference on Database and Expert Systems Applications, DEXA 2010, held in Bilbao, Spain, August 30-September 3, 2010. Series: Lecture Notes in Computer Science. Num Pages: 650 pages, 145 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 250 x 151 x 25. Weight in Grams: 957.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 650
- Condition
- New
- SKU
- V9783642153952
- ISBN
- 9783642153952
Paperback
Condition: New
€ 131.58
€ 131.58
Entertainment Computing - ICEC 2010: 9th International Conference, ICE...
. Ed(S): Yang, Hyun Seung; Malaka, Rainer; Ho...
paperback. Constitutes the refereed proceedings of the 9th International Conference on Entertainment Computing, ICEC 2010, held in Seoul, Korea, in August 2010, under the auspices of IFIP. This book features the papers covering main domains of entertainment computing, from interactive music to games, taking a wide range of scientific domains. Editor(s): Yang, Hyun Seung; Malaka, Rainer; Hoshino, Junichi (University of Tsukuba, Japan); Han, Jung Hyun. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 521 pages, 303 black & white illustrations, biography. BIC Classification: AN; UGN; UKN; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 25. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 521
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642153983
- ISBN
- 9783642153983
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. Constitutes the refereed proceedings of the four workshops that were organized in conjunction with the International Conference on Business Information Systems, BIS 2010, which took place in Berlin, Germany, May 3-5, 2010. Editor(s): Abramowicz, Witold; Tolksdorf, Robert; Wecel, Krzysztof. Series: Lecture Notes in Business Information Processing. Num Pages: 324 pages, 94 black & white illustrations, biography. BIC Classification: KJQ; UKR; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 324
- Condition
- New
- SKU
- V9783642154010
- ISBN
- 9783642154010
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Constitutes the refereed proceedings of the 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, held in Toronto, Canada, in May 2010. Editor(s): Cao, Longbing; Bazzan, Ana L.C. (University of Rio Grande do sul); Gorodetsky, Vladimir; Mitkas, Pericles A.; Weiss, Gerhard; Yu, Philip S. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 63 black & white illustrations, biography. BIC Classification: UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783642154195
- ISBN
- 9783642154195
Paperback
Condition: New
€ 66.32
€ 66.32
Research and Advanced Technology for Digital Libraries
. Ed(S): Lalmas, Mounia; Jose, Joemon M. (Uni...
Paperback. Constitutes the proceedings of the 14th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2010, held in Glasgow, UK, in September 2010. Editor(s): Lalmas, Mounia; Jose, Joemon M. (University of Glasgow); Rauber, Andreas; Sebastiani, Roberto; Frommholz, Ingo. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 573 pages, 140 black & white illustrations, biography. BIC Classification: GL; UG; UKR; UND; UNF; UY. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 573
- Condition
- New
- SKU
- V9783642154638
- ISBN
- 9783642154638
Paperback
Condition: New
€ 70.02
€ 70.02
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Active Media Technology, AMT 2010, held in Toronto, Canada, in August 2010. Editor(s): An, Aijun; Petty, Sheila; Huang, Runhe. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 548 pages, 245 black & white illustrations, biography. BIC Classification: UKN; UKR; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642154690
- ISBN
- 9783642154690
Paperback
Condition: New
€ 69.72
€ 69.72