.png){kind=logo}
Computer science
Results 6553 - 6576 of 16599
Computer science
paperback. A translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Translator(s): Jin, X.; Wang, D. Series: Texts and Monographs in Symbolic Computation. Num Pages: 302 pages, biography. BIC Classification: PBCH; PBMS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Austria
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 302
- Condition
- New
- SKU
- V9783211825068
- ISBN
- 9783211825068
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. This book includes extended papers from the 2011 International Conference on Mechanical Engineering and Technology, covering mechanical engineering and technology, and the interdisciplinary topics of computers, communications, control and automation. Editor(s): Zhang, Tianbiao. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 816 pages, 413 black & white illustrations, biography. BIC Classification: TGB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 41. Weight in Grams: 1252.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 816
- Condition
- New
- SKU
- V9783642273285
- ISBN
- 9783642273285
Paperback
Condition: New
€ 376.17
€ 376.17
Mechanical Design Optimization Using Advanced Optimization Techniques
Rao, R. Venkata; Savsani, Vimal J.
hardcover. This book presents a comprehensive review of the latest research and development trends for design optimization of mechanical elements and devices. The authors demonstrate optimization approaches using examples of various mechanical elements and devices. Series: Springer Series in Advanced Manufacturing. Num Pages: 332 pages, 215 black & white tables, biography. BIC Classification: PBKS; TBD; TGP; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 660.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012th Edition
- Number of pages
- 332
- Condition
- New
- SKU
- V9781447127475
- ISBN
- 9781447127475
Hardback
Condition: New
€ 195.42
€ 195.42
Mechanical Design Optimization Using Advanced Optimization Techniques
Rao, R. Venkata; Savsani, Vimal J.
Paperback. This book presents a comprehensive review of the latest research and development trends for design optimization of mechanical elements and devices. The authors demonstrate optimization approaches using examples of various mechanical elements and devices. Series: Springer Series in Advanced Manufacturing. Num Pages: 332 pages, 215 black & white tables, biography. BIC Classification: PBKS; TBD; TGP; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 332
- Condition
- New
- SKU
- V9781447159780
- ISBN
- 9781447159780
Paperback
Condition: New
€ 194.41
€ 194.41
Paperback. Series: AutoUni - Schriftenreihe. Num Pages: 141 pages, 23 black & white illustrations, 23 colour illustrations, 22 colour tables, biography. BIC Classification: JMR; UGK; UYM; UYZG. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 8. Weight in Grams: 198.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- 1st ed. 2017
- Number of pages
- 141
- Condition
- New
- SKU
- V9783658147037
- ISBN
- 9783658147037
Paperback
Condition: New
€ 76.87
€ 76.87
Paperback. Focuses on how to quantify the user experience. This title examines how technologies coming from neuro-marketing and online market research can refine user experience measurement, helping usability and user experience practitioners make business cases to stakeholders. Series: Interactive Technologies. Num Pages: 320 pages, Approx. 120 illustrations in full color. BIC Classification: UBJ; UYZ. Category: (P) Professional & Vocational. Dimension: 233 x 188 x 14. Weight in Grams: 528.
- Publisher
- Elsevier Science & Technology United States
- Number of pages
- 320
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780124157811
- ISBN
- 9780124157811
Paperback
Condition: New
€ 54.91
€ 54.91
Hardback. Editor(s): Vovk, Vladimir; Papadopoulos, Harris; Gammerman, Alexander. Num Pages: 430 pages, 17 black & white illustrations, 30 colour illustrations, 2 black & white tables, biograph. BIC Classification: PBT; PBU; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 806.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 430
- Condition
- New
- SKU
- V9783319218519
- ISBN
- 9783319218519
Hardback
Condition: New
€ 129.86
€ 129.86
Measurements, Modelling and Simulation of Dynamic Systems
. Ed(S): Layer, Edward; Tomczyk, Krzysztof
Paperback. A close look at analog-to-digital systems offers insight on dynamic measurement methods in this concise introduction. The construction and properties of measurement sensors are analyzed, as these represent the primary components for all measurement systems. Editor(s): Layer, Edward; Tomczyk, Krzysztof. Num Pages: 156 pages, 5 black & white tables, biography. BIC Classification: TBJ; TJF; UT; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642424656
- ISBN
- 9783642424656
Paperback
Condition: New
€ 183.08
€ 183.08
Measurements, Modelling and Simulation of Dynamic Systems
. Ed(S): Layer, Edward; Tomczyk, Krzysztof
hardcover. A close look at analog-to-digital systems offers insight on dynamic measurement methods in this concise introduction. The construction and properties of measurement sensors are analyzed, as these represent the primary components for all measurement systems. Editor(s): Layer, Edward; Tomczyk, Krzysztof. Num Pages: 156 pages, 5 black & white tables, biography. BIC Classification: TBJ; TJF; UT; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 920.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2010th Edition
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642045875
- ISBN
- 9783642045875
Hardback
Condition: New
€ 186.17
€ 186.17
Measurement, Modelling and Evaluation of Dependable Computer and Commu...
. Ed(S): Remke, Anne; Haverkort, Boudewijn R.
Paperback. Editor(s): Remke, Anne; Haverkort, Boudewijn R. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 75 black & white illustrations, biography. BIC Classification: UGK; UKN; UMX; UMZ; UNH; UYM; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 221
- Condition
- New
- SKU
- V9783319315584
- ISBN
- 9783319315584
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. Presents a computational framework for computing motion information from sequences of images. Its specific goal is the measurement of image velocity (or optical flow), the projection of 3-D object motion onto the 2-D image plane. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 203 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 493.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 203
- Condition
- New
- SKU
- V9780792391982
- ISBN
- 9780792391982
Hardback
Condition: New
€ 131.99
€ 131.99
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 203 pages, biography. BIC Classification: TJFM; UYQ; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1992
- Condition
- New
- SKU
- V9781461366232
- ISBN
- 9781461366232
Paperback
Condition: New
€ 127.06
€ 127.06
Measure Theory and Probability Theory (Springer Texts in Statistics)
Athreya, Krishna B., Lahiri, Soumendra N.
Hardcover. This is a graduate level textbook on measure theory and probability theory. It presents the main concepts and results in measure theory and probability theory. It further provides heuristic explanations behind the theory to help students see the big picture. Series: Springer Texts in Statistics. Num Pages: 637 pages, biography. BIC Classification: PBK; PBT; UY. Category: (P) Professional & Vocational. Dimension: 167 x 247 x 40. Weight in Grams: 1118.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2006
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9780387329031
- ISBN
- 9780387329031
Hardback
Condition: New
€ 164.51
€ 164.51
Paperback. Getting Started with mBots is for non-technical parents, kids and teachers who want to start with a robust robotics platform and then take it to the next level. The heart of the mBot, the mCore is a powerful Arduino based microcontroller that can do many things without soldering or breadboarding. Num Pages: 150 pages. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680452969
- ISBN
- 9781680452969
Paperback
Condition: New
€ 32.99€ 23.86
€ 32.99
€ 23.86
Paperback. Ideal for researchers and practitioners in statistics and industrial mathematics, this book covers the theory and practice of nonparametric estimation. It is novel in its use of maximum penalized likelihood estimation and convex minimization problem theory. Series: Springer Series in Statistics. Num Pages: 592 pages, biography. BIC Classification: PBC; TJF; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 30. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 592
- Condition
- New
- SKU
- V9781461417125
- ISBN
- 9781461417125
Paperback
Condition: New
€ 163.83
€ 163.83
Paperback. Series: Fundamental Theories of Physics. Num Pages: 289 pages, biography. BIC Classification: PBT; PBW; PHS; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 289
- Condition
- New
- SKU
- V9789048154678
- ISBN
- 9789048154678
Paperback
Condition: New
€ 127.78
€ 127.78
Maximum Entropy and Bayesian Methods Garching, Germany 1998
. Ed(S): Linden, Wolfgang Von Der; Dose, Volk...
Paperback. Proceedings of the 18th International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis Editor(s): Linden, Wolfgang von der; Dose, Volker; Fischer, Rainer; Preuss, Roland. Series: Fundamental Theories of Physics. Num Pages: 381 pages, biography. BIC Classification: GPJ; PBD; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 381
- Condition
- New
- SKU
- V9789401059824
- ISBN
- 9789401059824
Paperback
Condition: New
€ 195.18
€ 195.18
Paperback. Proceedings of the 17th International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis Series: Fundamental Theories of Physics. Num Pages: 311 pages, biography. BIC Classification: GPJ; PBD; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 17. Weight in Grams: 507.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 311
- Condition
- New
- SKU
- V9789401061117
- ISBN
- 9789401061117
Paperback
Condition: New
€ 194.50
€ 194.50
paperback. Proceedings of the Twelfth International Workshop on Maximum Entropy and Bayesian Methods, Paris, France, 1992 Editor(s): Mohammad-Djafari, Ali; Demoment, G. Series: Fundamental Theories of Physics. Num Pages: 456 pages, biography. BIC Classification: UG; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1993
- Number of pages
- 456
- Condition
- New
- SKU
- V9789048142729
- ISBN
- 9789048142729
Paperback
Condition: New
€ 372.69
€ 372.69
Paperback. Proceedings of the Eleventh International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis, Seattle, 1991 Editor(s): Smith, C. Ray; Erickson, G. J.; Neudorfer, Paul O. Series: Fundamental Theories of Physics. Num Pages: 484 pages, biography. BIC Classification: PNF; RBGL; UG; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 484
- Condition
- New
- SKU
- V9789048142200
- ISBN
- 9789048142200
Paperback
Condition: New
€ 251.32
€ 251.32
Hardback. Proceedings of the Twelfth International Workshop on Maximum Entropy and Bayesian Methods, Paris, France, 1992 Editor(s): Mohammad-Djafari, Ali; Demoment, G. Series: Fundamental Theories of Physics. Num Pages: 456 pages, biography. BIC Classification: PH; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 456
- Condition
- New
- SKU
- V9780792322801
- ISBN
- 9780792322801
Hardback
Condition: New
€ 380.04
€ 380.04
Hardback. Proceedings of the Eleventh International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis, Seattle, 1991 Editor(s): Smith, C. Ray; Erickson, Gary J.; Neudorfer, Paul O. Series: Fundamental Theories of Physics. Num Pages: 484 pages, biography. BIC Classification: UYAM; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 26. Weight in Grams: 857.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 484
- Condition
- New
- SKU
- V9780792320319
- ISBN
- 9780792320319
Hardback
Condition: New
€ 258.95
€ 258.95
Paperback. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 332 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 332
- Condition
- New
- SKU
- V9781441941985
- ISBN
- 9781441941985
Paperback
Condition: New
€ 204.43
€ 204.43
hardcover. Provides a review and explanation of the theory of stochastic max-plus linear systems. This book covers modeling issues and stability theory for stochastic max-plus systems, perturbation analysis of max-plus systems, and developing a calculus for differentiation of max-plus systems. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 332 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 332
- Condition
- New
- Edition
- 2007th Edition
- SKU
- V9780387352060
- ISBN
- 9780387352060
Hardback
Condition: New
€ 232.63
€ 232.63