Computing
Results 6341 - 6360 of 28460
Computing
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007. This book includes the 18 revised full papers, 5 revised poster papers, and 7 system descriptions together with 2 invited papers that are reviewed and selected for presentation. Series: Lecture Notes in Computer Science. Num Pages: 327 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 344
- Condition
- New
- SKU
- V9783540721994
- ISBN
- 9783540721994
Paperback
Condition: New
€ 71.02
€ 71.02
Paperback. This book constitutes the thoroughly refereed joint post-proceedings of the three International Workshops on Grid Middleware, CoreGrid 2006, the UNICORE Summit 2006, and the Workshop on Petascale Computational Biology and Bioinformatics, held in Dresden, Germany, in August/September 2006, in conjunction with Euro-Par 2006, the 12th International Conference on Parallel Computing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 332 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 22. Weight in Grams: 532. Revised Selected Papers of the Workshops CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. 356 pages, black & white illustrations. This book constitutes the thoroughly refereed joint post-proceedings of the three International Workshops on Grid Middleware, CoreGrid 2006, the UNICORE Summit 2006, and the Workshop on Petascale Computational Biology and Bioinformatics, held in Dresden, Germany, in August/September 2006, in conjunction with Euro-Par 2006, the 12th International Conference on Parallel Computing. Cateogry: (P) Professional & Vocational. BIC Classification: UYFP. Dimension: 236 x 155 x 22. Weight: 532.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540722267
- ISBN
- 9783540722267
Paperback
Condition: New
€ 67.53
€ 67.53
Paperback. Contains the refereed post-proceedings of two events discussing AI for Human Computing: one Special Session during the Eighth International ACM Conference on Multimodal Interfaces 2006 and a Workshop organized in conjunction with the 20th International Joint Conference on Artificial Intelligence 2007. Editor(s): Pentland, Alexander. Series: Lecture Notes in Computer Science. Num Pages: 362 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 582. Revised Selected Papers of the ICMI 2006 and IJCAI 2007 International Workshopsbanff, Canada, November 3, 2006 Hyderabad, India, January 6, 2007. Series: Lecture Notes in Computer Science. 382 pages, 1, black & white illustrations. Editor(s): Pentland, Alexander. Contains the refereed post-proceedings of two events discussing AI for Human Computing: one Special Session during the Eighth International ACM Conference on Multimodal Interfaces 2006 and a Workshop organized in conjunction with the 20th International Joint Conference on Artificial Intelligence 2007. Cateogry: (P) Professional & Vocational. BIC Classification: UYZ. Dimension: 235 x 155 x 23. Weight: 582.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540723462
- ISBN
- 9783540723462
Paperback
Condition: New
€ 68.20
€ 68.20
Integration of AI and OR Techniques in Constraint Programming for Comb...
Van Hentenryck, Pascal (Editor) ; Wolsey, Lau...
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 401 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 236 x 155 x 24. Weight in Grams: 608. Proceedings of the 4th International Conference, Cpaior 2007, Brussels, Belgium, May 23-26, 2007. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. 408 pages, 1, black & white illustrations. Constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. BIC Classification: UYQ. Dimension: 236 x 155 x 24. Weight: 608.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540723967
- ISBN
- 9783540723967
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 472 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 154 x 28. Weight in Grams: 712. Advanced Lectures 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-June 2, 2007. Series: Lecture Notes in Computer Science / Programming and Software Engineering. 484 pages, 1, black & white illustrations. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UY. Dimension: 235 x 154 x 28. Weight: 712.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540724827
- ISBN
- 9783540724827
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Addresses theoretical and practical issues in trading agent design and technologies, theoretical and empirical evaluation of strategies in complex trading scenarios as well as mechanism design. This book covers issues of agent-mediated electronic commerce including the design of electronic marketplaces and efficient protocols. Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 154 x 16. Weight in Grams: 396. Automated Negotiation and Strategy Design for Electronic Markets.Aamas 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers. Series: Lecture Notes in Computer Science. 264 pages, 1, black & white illustrations. Addresses theoretical and practical issues in trading agent design and technologies, theoretical and empirical evaluation of strategies in complex trading scenarios as well as mechanism design. This book covers issues of agent-mediated electronic commerce including the design of electronic marketplaces and efficient protocols. Cateogry: (P) Professional & Vocational. BIC Classification: UYQ. Dimension: 236 x 154 x 16. Weight: 396.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540725015
- ISBN
- 9783540725015
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes refereed proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, held in Toronto, Canada in May 2007 in conjunction with the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, both as part of the Joint Rough Set Symposium, JRS 2007. Series: Lecture Notes in Computer Science. Num Pages: 588 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 906.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 602
- Condition
- New
- SKU
- V9783540725299
- ISBN
- 9783540725299
Paperback
Condition: New
€ 76.24
€ 76.24
Paperback. Constitutes proceedings of the 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, held in Montreal, Canada, in May 2007. This book covers agents, bioinformatics, classification, constraint satisfaction, data mining, knowledge representation and reasoning, learning, natural language, and planning. Series: Lecture Notes in Computer Science. Num Pages: 568 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 154 x 20. Weight in Grams: 844.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 568
- Condition
- New
- SKU
- V9783540726647
- ISBN
- 9783540726647
Paperback
Condition: New
€ 75.52
€ 75.52
Network Control and Optimization: First EuroFGI International Conferen...
Tijani Chahed Bruno Tuffin
Paperback. Constitutes the refereed proceedings of the First Euro-FGI International Conference on Network Control and Optimization, NET-COOP 2007, held in Avignon, France in June 2007. This title address issues in network control and optimization, ranging from performance evaluation and optimization of general stochastic networks to more specific targets. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 323 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 488. First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. 326 pages, 1, black & white illustrations. Constitutes the refereed proceedings of the First Euro-FGI International Conference on Network Control and Optimization, NET-COOP 2007, held in Avignon, France in June 2007. This title address issues in network control and optimization, ranging from performance evaluation and optimization of general stochastic networks to more specific targets. Cateogry: (P) Professional & Vocational. BIC Classification: UT. Dimension: 236 x 155 x 18. Weight: 488.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Number of pages
- 326
- Condition
- New
- SKU
- V9783540727088
- ISBN
- 9783540727088
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 516 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 31. Weight in Grams: 778.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540727323
- ISBN
- 9783540727323
Paperback
Condition: New
€ 74.72
€ 74.72
Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)
D'Avila Garcez, Artur S., Lamb, Luís C., Gab...
Hardcover. This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics. Series: Cognitive Technologies. Num Pages: 212 pages, 53 black & white illustrations, 6 black & white tables, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 488.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9783540732457
- ISBN
- 9783540732457
Hardback
Condition: New
€ 105.86
€ 105.86
Hardcover. This book offers a comprehensive and self-contained treatment of the mathematical theory of Pythagorean-hodograph curves, including algorithms for their construction and examples of their practical applications. Series: Geometry and Computing. Num Pages: 744 pages, 204 black & white illustrations, 15 black & white tables, biography. BIC Classification: PBMH; UGC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 39. Weight in Grams: 1268.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 748
- Condition
- New
- SKU
- V9783540733973
- ISBN
- 9783540733973
Hardback
Condition: New
€ 72.41
€ 72.41
The Calculus of Computation: Decision Procedures with Applications to ...
Bradley, Aaron R., Manna, Zohar
Hardcover. This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software. Num Pages: 366 pages, 60 black & white illustrations, 3 black & white tables, biography. BIC Classification: UYF; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 770.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540741121
- ISBN
- 9783540741121
Hardback
Condition: New
€ 96.67
€ 96.67
Hardcover. A data warehouse stores large volumes of historical data required for analytical purposes. This work explains in detail conventional data warehouse design, covering in particular complex hierarchy modeling. It covers different phases of the design process, such as requirements specification, conceptual, logical and physical design. Series: Data-Centric Systems and Applications. Num Pages: 456 pages, 10 black & white tables, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 163 x 27. Weight in Grams: 916.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2008. Corr. 2nd printing 2008
- Number of pages
- 466
- Condition
- New
- SKU
- V9783540744047
- ISBN
- 9783540744047
Hardback
Condition: New
€ 130.40
€ 130.40
Bio-Inspired Technologies for the Hardware of Adaptive Systems: Real-W...
Negoita, Mircea Gh., Hintea, Sorin
Hardcover. Evolvable Hardware (EHW) has emerged as a novel and highly diversified bio- inspired technology. This authoritative and thorough book presents recent research results in bio-inspired technologies for the hardware of adaptive systems. Series: Studies in Computational Intelligence. Num Pages: 208 pages, 10 black & white tables, biography. BIC Classification: PBW; TBD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9783540769941
- ISBN
- 9783540769941
Hardback
Condition: New
€ 131.61
€ 131.61
Paperback. Num Pages: 224 pages, 1, black & white illustrations. BIC Classification: UNSB. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 11. Weight in Grams: 424. 240 pages, 1, black & white illustrations. Cateogry: (P) Professional & Vocational. BIC Classification: UNSB. Dimension: 236 x 155 x 11. Weight: 424.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Number of pages
- 240
- Condition
- New
- SKU
- V9783540775959
- ISBN
- 9783540775959
Paperback
Condition: New
€ 66.95
€ 66.95
Hardcover.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783540786351
- ISBN
- 9783540786351
Hardback
Condition: New
€ 83.52
€ 83.52
Hardcover. This book explains in clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists. Num Pages: 397 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 168 x 244 x 28. Weight in Grams: 844.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540788287
- ISBN
- 9783540788287
Hardback
Condition: New
€ 69.22
€ 69.22
Hardcover. This book outlines common misconceptions as well as misunderstandings of the basic laws of physics that have become common in data center environments and can severely hamper both data integrity and performance. It then details possible solutions. Num Pages: 524 pages, 84 black & white illustrations, biography. BIC Classification: UKS; URD; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9783540850229
- ISBN
- 9783540850229
Hardback
Condition: New
€ 77.63
€ 77.63
Hardcover. With this book, the authors aim to provide an overview of enterprise architecture including the process of creating, applying and maintaining it. The book successfully combines technology and business perspectives, and it questions standard approaches. Series: The Enterprise Engineering Series. Num Pages: 160 pages, 5 black & white tables, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 245 x 163 x 16. Weight in Grams: 398.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 162
- Condition
- New
- SKU
- V9783540852315
- ISBN
- 9783540852315
Hardback
Condition: New
€ 105.59
€ 105.59