Computer science
Results 14353 - 14376 of 16979
Computer science
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
€ 64.01
€ 64.01
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
€ 65.77
€ 65.77
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
€ 65.06
€ 65.06
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
€ 65.21
€ 65.21
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
€ 64.57
€ 64.57
Cells and Robots: Modeling and Control of Large-Size Agent Populations...
Milutinovic, Dejan Lj., Lima, Pedro U.
Hardcover. A monograph that has arisen from the multidisciplinary research extending over Biology, Robotics and Hybrid Systems Theory. It formulates the optimal control of maximizing the probability of robotic presence in a given region and discusses the application of the Minimum Principle for partial differential equations to this problem. Series: Springer Tracts in Advanced Robotics. Num Pages: 126 pages, biography. BIC Classification: PBW; TJFM1; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 162 x 11. Weight in Grams: 326. Modeling and Control of Large-size Agent Populations. Series: Springer Tracts in Advanced Robotics. 142 pages, Illustrations (some col.). A monograph that has arisen from the multidisciplinary research extending over Biology, Robotics and Hybrid Systems Theory. It formulates the optimal control of maximizing the probability of robotic presence in a given region and discusses the application of the Minimum Principle for partial differential equations to this problem. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: PBW; TJFM1; UYQ. Dimension: 240 x 162 x 11. Weight: 326.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Number of pages
- 142
- Condition
- New
- SKU
- V9783540719816
- ISBN
- 9783540719816
Hardback
Condition: New
€ 121.99
€ 121.99
Hardcover. Series: X.Media.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UF; UG; UY. Category: (G) General (US: Trade). Dimension: 234 x 163 x 23. Weight in Grams: 739.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540718697
- ISBN
- 9783540718697
Hardback
Condition: New
€ 86.69
€ 86.69
Paperback. This volume contains contributions from Edutainment 2008, the 3rd International Conference on E-Learning and Games. It serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies in the field. Series: Lecture Notes in Computer Science / Transactions on Edutainment. Num Pages: 305 pages, biography. BIC Classification: GLF; JNV; UG; UKR; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 20. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 324
- Condition
- New
- SKU
- V9783540697374
- ISBN
- 9783540697374
Paperback
Condition: New
€ 64.29
€ 64.29
Design Patterns for e-Science (Texts in Computational Science and Engi...
Gardner, Henry, Manduchi, Gabriele
Hardcover. Suitable for readers with backgrounds in science engineering who have experience in computer programming but who lack training in software engineering, this book teaches object-oriented design patterns in a real-world context, which is relevant to computational science. It also includes a comprehensive CD of the case study. Series: Texts in Computational Science and Engineering. Num Pages: 408 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 777.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540680888
- ISBN
- 9783540680888
Hardback
Condition: New
€ 66.06
€ 66.06
Hardcover. This work demonstrates that fundamental concepts and methods from phenomenological particle physics can be derived rigorously from well-defined general assumptions in a mathematically clean way. Readers should include researchers and anyone with a basic knowledge of quantum field theory. Series: Theoretical and Mathematical Physics. Num Pages: 364 pages, biography. BIC Classification: PHP; PHQ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540670247
- ISBN
- 9783540670247
Hardback
Condition: New
€ 129.23
€ 129.23
Hardcover. Merging fundamental concepts of analysis and recursion theory to a new theory, this book provides a solid basis for studying various aspects of computability and complexity in analysis. It is written for graduate-level and senior students in computer science or mathematics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 288 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBK; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540668176
- ISBN
- 9783540668176
Hardback
Condition: New
€ 65.44
€ 65.44
Hardcover. Burgisser, a top expert on algebraic complexity theory, has written a monograph on current research in this field. This book gives new results in the theory of NP-completeness. It is written for mathematicians and computer scientists on both research and graduate level. Series: Algorithms and Computation in Mathematics. Num Pages: 168 pages, biography. BIC Classification: PBCD; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 165 x 12. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2000th Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540667520
- ISBN
- 9783540667520
Hardback
Condition: New
€ 125.26
€ 125.26
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540646082
- ISBN
- 9783540646082
Paperback
Condition: New
€ 130.12
€ 130.12
Hardcover. This volume focuses on recent developments in the emerging field of mathematical visualization. Experts present selected research on algorithms for visualization problems, describe the application and experiments in geometry, and develop numerical or computer graphical techniques. Editor(s): Hege, H.C.; Polthier, K. Num Pages: 393 pages, 147 black & white illustrations, 45 colour illustrations, 9 black & white tables, biograp. BIC Classification: PBKS; PBMP; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 165 x 29. Weight in Grams: 884. Algorithms, Applications, and Numerics. 411 pages, 141 black & white illustrations, 46 colour illustrations, 12 black & white tables. Editor(s): Hege, H.C.; Polthier, K. This volume focuses on recent developments in the emerging field of mathematical visualization. Experts present selected research on algorithms for visualization problems, describe the application and experiments in geometry, and develop numerical or computer graphical techniques. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. BIC Classification: PBKS; PBMP; PBW; UY. Dimension: 241 x 165 x 29. Weight: 884.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 413
- Condition
- New
- SKU
- V9783540639916
- ISBN
- 9783540639916
Hardback
Condition: New
€ 124.57
€ 124.57
Hardcover. Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. Num Pages: 314 pages, biography. BIC Classification: PBWH; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9783540627524
- ISBN
- 9783540627524
Hardback
Condition: New
€ 59.36
€ 59.36
Recent Trends in Data Type Specification: 10th Workshop on Specificati...
Reggio, Gianna, Astesiano, Egidio, Tarlecki, ...
Paperback. This volume surveys research activities with classical algebraic techniques, formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. Editor(s): Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: UN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer
- Edition
- 1995th Edition
- Condition
- New
- SKU
- V9783540591320
- ISBN
- 9783540591320
Paperback
Condition: New
€ 71.57
€ 71.57
Hardcover.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1993. 4th printing 2000
- Number of pages
- 557
- Condition
- New
- SKU
- V9783540556404
- ISBN
- 9783540556404
Hardback
Condition: New
€ 111.73
€ 111.73
Hardcover. This handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary research in the intersection between IT and finance. Essentially, all aspects of IT in finance are covered. Editor(s): Seese, Detlef G.; Weinhardt, Christof; Schlottmann, Frank. Series: International Handbooks on Information Systems. Num Pages: 836 pages, 79 black & white tables, biography. BIC Classification: GBC; KFF; UY. Category: (P) Professional & Vocational. Dimension: 252 x 165 x 54. Weight in Grams: 1338.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540494867
- ISBN
- 9783540494867
Hardback
Condition: New
€ 358.71
€ 358.71
Hardcover. This is the first focused and detailed textbook on acoustic virtual reality. Auralization is the creation of audible acoustic sceneries from computer-generated data. This book is organized as a comprehensive collection of basics, methodology and strategies of acoustic simulation and auralization. Series: RWTHedition. Num Pages: 350 pages, 22 black & white tables, biography. BIC Classification: UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 166 x 27. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540488293
- ISBN
- 9783540488293
Hardback
Condition: New
€ 328.79
€ 328.79
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 178.46
€ 178.46
Handwriting Recognition: Soft Computing and Probabilistic Approaches (...
Liu, Zhi-Qiang, Cai, Jin-Hai, Buse, Richard
Hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 252 pages, biography. BIC Classification: JNU; P; TBC; UYQP. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer
- Edition
- 2003rd Edition
- Condition
- New
- SKU
- V9783540401773
- ISBN
- 9783540401773
Hardback
Condition: New
€ 126.57
€ 126.57
Hardcover. Focuses on the large-scale engineering systems that shape and guide our everyday lives. Editor(s): Braha, Dan; Minai, Ali A. (University of Cincinnati); Bar-Yam, Yaneer. Series: Understanding Complex Systems. Num Pages: 396 pages, biography. BIC Classification: MQW; PBWR; TGP; TJF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9783540328315
- ISBN
- 9783540328315
Hardback
Condition: New
€ 129.29
€ 129.29
Hardcover. Addresses students, professionals, lecturers and researchers interested in software product line engineering. With more than 100 examples and about 150 illustrations, this book describes useful foundations, principles and techniques of software product line engineering. Num Pages: 493 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 252 x 203 x 34. Weight in Grams: 1158.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 494
- Condition
- New
- SKU
- V9783540243724
- ISBN
- 9783540243724
Hardback
Condition: New
€ 104.77
€ 104.77
Hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 166 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 16. Weight in Grams: 406.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 188
- Condition
- New
- SKU
- V9783540237747
- ISBN
- 9783540237747
Hardback
Condition: New
€ 67.32
€ 67.32