Computer science
Results 2281 - 2300 of 3256
Computer science
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
€ 127.76
€ 127.76
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.25
€ 67.25
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
€ 69.68
€ 69.68
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
€ 136.08
€ 136.08
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
€ 69.02
€ 69.02
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
€ 132.27
€ 132.27
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
€ 136.28
€ 136.28
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
€ 131.54
€ 131.54
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
€ 62.08
€ 62.08
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
€ 75.50
€ 75.50
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
€ 117.98
€ 117.98
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
€ 132.55
€ 132.55
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
€ 110.60
€ 110.60
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
€ 70.43
€ 70.43
Paperback.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2004. Corr. 2nd printing 2006
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540219736
- ISBN
- 9783540219736
Paperback
Condition: New
€ 91.46
€ 91.46
Hardcover. This acclaimed book examines the topic of symbolic integration in comprehensive detail, incorporating new results along the way. The second edition offers a new chapter on parallel integration, and a number of other improvements including additional exercises. Series: Algorithms and Computation in Mathematics. Num Pages: 340 pages, biography. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 25. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540214939
- ISBN
- 9783540214939
Hardback
Condition: New
€ 156.47
€ 156.47
Hardcover. Series: Springer-Praxis Books. Num Pages: 324 pages, biography. BIC Classification: PB; PHJ; UY. Category: (P) Professional & Vocational. Dimension: 240 x 166 x 24. Weight in Grams: 630.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 3rd
- Condition
- New
- SKU
- V9783540211846
- ISBN
- 9783540211846
Hardback
Condition: New
€ 255.76
€ 255.76
Coordination Models and Languages: 6th International Conference, COORD...
Ferrari, Gianluigi, Nicola, Rocco De, Meredit...
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UMX; UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540210443
- ISBN
- 9783540210443
Paperback
Condition: New
€ 70.98
€ 70.98
Paperback.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9783540209423
- ISBN
- 9783540209423
Paperback
Condition: New
€ 48.72
€ 48.72
Paperback. Computers are now seen as communication tools as much as data processing machines. This book encourages executives to acquaint themselves with just what is, and what will be, possible with developing products in the computer communications industry. Series: Practitioner Series. Num Pages: 274 pages, 57 black & white illustrations, biography. BIC Classification: KJP; KJQ; UT; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition.
- Condition
- New
- SKU
- V9783540199304
- ISBN
- 9783540199304
Paperback
Condition: New
€ 67.44
€ 67.44