Mathematics
Results 1581 - 1600 of 3803
Mathematics
Paperback. Presents the research that intends to gain an understanding of what computation is, to find better models of computation, and to look for various computing devices inspired by the structure and/or functioning of natural or societal systems. Editor(s): Kelemen, Jozef; Kelemenova, Alica. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 13 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 156 x 237 x 13. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642199998
- ISBN
- 9783642199998
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary applications covers the state of the art in the field. It also points to a number of potentially fruitful areas for future research. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 156 pages, 60 black & white illustrations, biography. BIC Classification: PBKS; TBC; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 264.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642162329
- ISBN
- 9783642162329
Paperback
Condition: New
€ 64.06
€ 64.06
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 127.45
€ 127.45
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 66.30
€ 66.30
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 126.58
€ 126.58
High Performance Computing in Science and Engineering, Garching/Munich
. Ed(S): Wagner, Siegfried; Steinmetz, Matthi...
Hardback. Presents selected project results obtained at the current High-Performance Computer in Bavaria (HLRB II). This title provides an overview of the broad range of applications requiring high-performance computers to solve challenging numerical problems. Editor(s): Wagner, Siegfried; Steinmetz, Matthias; Bode, Arndt; Muller, Markus Michael. Num Pages: 780 pages, biography. BIC Classification: PBKS; PHDF; PHVB; PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 35. Weight in Grams: 1194.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783642138713
- ISBN
- 9783642138713
Hardback
Condition: New
€ 280.22
€ 280.22
Paperback. Constitutes the proceedings of the 17th International Workshop on Fast Software Encryption, held in Seoul, Korea, in February 2010. Editor(s): Iwata, Tetsu. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 385 pages, 71 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 385
- Condition
- New
- SKU
- V9783642138577
- ISBN
- 9783642138577
Paperback
Condition: New
€ 66.16
€ 66.16
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 66.01
€ 66.01
Hardback. The bipedal robot Lucy boasts breakthrough technology, using pleated pneumatic artificial muscles instead of the customary electrical drives. This book gives a complete description of Lucy's hardware, electronics and software and reports latest developments. Series: Springer Tracts in Advanced Robotics. Num Pages: 284 pages, biography. BIC Classification: MFG; PBW; TJFC; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 166 x 21. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642134166
- ISBN
- 9783642134166
Hardback
Condition: New
€ 190.28
€ 190.28
Hardback. The Seventh edition of Field and Service offers a collection of a broad range of topics. Written by leading experts in this field, the contents represent a cross-section of the current state of robotics research from field and service applications. Editor(s): Kelly, Alonzo; Iagnemma, Karl; Howard, Andrew. Series: Springer Tracts in Advanced Robotics. Num Pages: 514 pages, biography. BIC Classification: PBW; TGBN; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 907.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642134074
- ISBN
- 9783642134074
Hardback
Condition: New
€ 246.00
€ 246.00
Hardback. Includes proceedings of the European Conference on Mathematics for Industry held in London in June 2008. This title covers a wide range of mathematical techniques and the applications include manufacturing and technology, finance and policy-making, networks, medicine, and sport. Editor(s): Fitt, Alistair D.; Norbury, John; Ockendon, Hilary; Wilson, Eddie. Series: Mathematics in Industry. Num Pages: 1083 pages, biography. BIC Classification: PBW; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 53. Weight in Grams: 1760.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1083
- Condition
- New
- SKU
- V9783642121098
- ISBN
- 9783642121098
Hardback
Condition: New
€ 208.30
€ 208.30
hardcover. A sketch of what the overall field of performance could look like as a modern scientific field but not its stylistically differentiated practice, pedagogy, and history. Series: Computational Music Science. Num Pages: 290 pages, biography. BIC Classification: PBPD; UG. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 18. Weight in Grams: 618.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 290
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642118371
- ISBN
- 9783642118371
Hardback
Condition: New
€ 157.91
€ 157.91
hardcover. Provides an algorithmic framework for numerical computation of many practical stochastic systems. This title summarizes important advances in computational study of stochastic models from several crucial directions, such as stationary computation, transient solution, asymptotic analysis, reward processes, decision processes, sensitivity analysis. Num Pages: 650 pages, 24 black & white illustrations, biography. BIC Classification: PBT; PBUH; TGPR; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1152.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 650
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642114915
- ISBN
- 9783642114915
Hardback
Condition: New
€ 192.63
€ 192.63
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 130 pages, biography. BIC Classification: GPJ; PBD; PHQ; UMB; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 130
- Condition
- New
- SKU
- V9783642106972
- ISBN
- 9783642106972
Paperback
Condition: New
€ 111.02
€ 111.02
hardcover. Editor(s): Resch, Michael M. Num Pages: 551 pages, biography. BIC Classification: PBKS; PDE; UKC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1066.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 551
- Condition
- New
- SKU
- V9783642046643
- ISBN
- 9783642046643
Hardback
Condition: New
€ 225.46
€ 225.46
Paperback. Editor(s): Pardalos, Panos M. Series: Lecture Notes in Computer Science. Num Pages: 542 pages, biography. BIC Classification: PBKS; UKN; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642020254
- ISBN
- 9783642020254
Paperback
Condition: New
€ 158.28
€ 158.28
Hardback. This self-contained book is divided into two parts. Part I is a coherent survey of newly-developed methods for solving Partial Differential Equations. Part II provides an extensive exposition of the solitary waves theory. Series: Nonlinear Physical Science. Num Pages: 700 pages, 14 black & white illustrations, biography. BIC Classification: PBKJ; TBJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 700
- Condition
- New
- SKU
- V9783642002502
- ISBN
- 9783642002502
Hardback
Condition: New
€ 366.87
€ 366.87
Hardback. This well structured, interdisciplinary and introductory book on artificial brains presents the neurocomputer of the second generation. It uses experiment, theory and implementation in a balanced new way to construct artificial brains. Editor(s): Ramacher, Ulrich; Malsburg, Christoph von der. Num Pages: 359 pages, biography. BIC Classification: PBWR; PSAN; TGMD4; TJF; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 28. Weight in Grams: 732.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642001888
- ISBN
- 9783642001888
Hardback
Condition: New
€ 190.98
€ 190.98
Paperback. Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance. Series: Lecture Notes in Computer Science. Num Pages: 524 pages, biography. BIC Classification: PBC; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540875307
- ISBN
- 9783540875307
Paperback
Condition: New
€ 157.86
€ 157.86
Hardback. This book discusses the fundamental theory and computational methods of the statistical properties of deterministic discrete dynamical systems. It is the first textbook that incorporates numerical methods with some topics of modern ergodic theory. Series: Tsinghua University Texts. Num Pages: 270 pages, 4 black & white illustrations, biography. BIC Classification: PBW. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 270
- Condition
- New
- SKU
- V9783540853664
- ISBN
- 9783540853664
Hardback
Condition: New
€ 124.86
€ 124.86