×


 x 

Shopping cart

Computer science

Results 2617 - 2640 of 16602

Computer science

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

€ 136.32

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

€ 131.15

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

€ 68.44

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

€ 134.93

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

€ 69.10

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

€ 67.24

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

€ 90.77

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

€ 127.73

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

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

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

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

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

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

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

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

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

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

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

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

Paperback. Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control. Series: Communications in Computer and Information Science. Num Pages: 883 pages, biography. BIC Classification: UGK; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1329.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2008th Edition
Number of pages
728
Condition
New
SKU
V9783540884781
ISBN
9783540884781
Paperback
Condition: New

€ 199.83

Hardcover. This text covers most of the theoretical foundations and mathematical derivations that will be used in higher-level related subjects such as signal processing, communication and control, minimizing the mathematical difficulty and computational burden. Num Pages: 474 pages, 17 black & white tables, biography. BIC Classification: PBKF; UM; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 870.
Format
Hardback
Publication date
2009
Publisher
Springer
Edition
2009th Edition
Condition
New
SKU
V9783540929536
ISBN
9783540929536
Hardback
Condition: New

€ 137.31

Hardcover. Computational tools or solutions based on intelligent systems are being used effectively in data mining applications. This book, one of a series on the foundations of Computational Intelligence, is focused on applications of techniques for data mining. Editor(s): Abraham, Ajith; Hassanien, Aboul-Ella; Carvalho, Andre Ponce de Leon F.de; Snasel, Vaclav. Series: Studies in Computational Intelligence. Num Pages: 400 pages, 66 black & white tables, biography. BIC Classification: PBF; PBW; UYQ. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 27. Weight in Grams: 740. Series: Studies in Computational Intelligence. 412 pages, black & white illustrations. Editor(s): Abraham, Ajith; Hassanien, Aboul-Ella; Carvalho, Andre Ponce de Leon F.de; Snasel, Vaclav. Computational tools or solutions based on intelligent systems are being used effectively in data mining applications. This book, one of a series on the foundations of Computational Intelligence, is focused on applications of techniques for data mining. Cateogry: (P) Professional & Vocational. BIC Classification: PBF; PBW; UYQ. Dimension: 243 x 165 x 27. Weight: 740.
Format
Hardback
Publication date
2009
Publisher
Springer
Edition
2009th Edition
Number of pages
412
Condition
New
SKU
V9783642010903
ISBN
9783642010903
Hardback
Condition: New

€ 202.02

Paperback. Series: Springer Professional Computing. Num Pages: 468 pages, 211 black & white illustrations, biography. BIC Classification: TJK; UDB; UTP; UY. Category: (P) Professional & Vocational. Dimension: 240 x 170 x 28. Weight in Grams: 806.
Format
Paperback
Publication date
2011
Publisher
Springer
Edition
2nd ed. 2003
Condition
New
SKU
V9783642055256
ISBN
9783642055256
Paperback
Condition: New

€ 184.27

Subscribe to our newsletter

News on special offers, signed editions & more!