Computer science
Results 14353 - 14376 of 16981
Computer science
Paperback. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resist quantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature systems. Num Pages: 246 pages, 14 black & white tables, biography. BIC Classification: PBH; UGC; URY; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 800.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Condition
- New
- SKU
- V9783642100192
- ISBN
- 9783642100192
Paperback
Condition: New
€ 187.42
€ 187.42
Paperback. This book presents fundamental principles for problem analysis and algorithm design used in bioinformatics. It includes numerous cause studies from the main fields of bioinformatics, from sequencing and mapping to pseudo-knot detection. Num Pages: 308 pages, 208 black & white illustrations, 1 black & white tables, biography. BIC Classification: PS; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 19. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 290
- Condition
- New
- SKU
- V9783642097263
- ISBN
- 9783642097263
Paperback
Condition: New
€ 79.89
€ 79.89
Paperback. Num Pages: 275 pages, black & white illustrations. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642080029
- ISBN
- 9783642080029
Paperback
Condition: New
€ 69.27
€ 69.27
Paperback.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer
- Edition
- Softcover reprint of hardcover 1st ed. 2011
- Condition
- New
- SKU
- V9783642057298
- ISBN
- 9783642057298
Paperback
Condition: New
€ 121.85
€ 121.85
Pervasive Computing: The Mobile World (Springer Professional Computing...
Hansmann, Uwe, Merk, Lothar, Nicklous, Martin...
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
€ 175.93
€ 175.93
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
€ 192.87
€ 192.87
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
€ 131.12
€ 131.12
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
€ 190.78
€ 190.78
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
€ 100.88
€ 100.88
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
€ 125.69
€ 125.69
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
€ 92.37
€ 92.37
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
€ 101.13
€ 101.13
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
€ 71.42
€ 71.42
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
€ 72.20
€ 72.20
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
€ 72.88
€ 72.88
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