.png){kind=logo}
Computer science
Results 2545 - 2568 of 16602
Computer science
The Efficiency of Theorem Proving Strategies. A Comparative and Asympt...
Plaisted, David A.; Zhu, Yunshan
Paperback. Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies. Num Pages: 172 pages, 3 black & white illustrations, biography. BIC Classification: PBW; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 210 x 148 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2nd ed. 1999
- Number of pages
- 172
- Condition
- New
- SKU
- V9783528155742
- ISBN
- 9783528155742
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tubingen, Germany, in April 2009 co located with the Evo 2009 events. This book includes such topics as biomarker discovery, cell simulation and modeling, and ecological modeling. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 215 pages, biography. BIC Classification: PSA; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642011832
- ISBN
- 9783642011832
Paperback
Condition: New
€ 66.22
€ 66.22
Paperback. Series: Advances in Information Security. Num Pages: 236 pages, 33 black & white illustrations, 52 colour illustrations, biography. BIC Classification: UR; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 236
- Condition
- New
- SKU
- V9783319383989
- ISBN
- 9783319383989
Paperback
Condition: New
€ 66.18
€ 66.18
Hardback. This book presents novel methods to perform robust speech-based emotion recognition at low complexity. It describes a flexible dialogue model to conveniently integrate emotions and other dialogue-influencing parameters in human-computer interaction. Num Pages: 286 pages, biography. BIC Classification: CFX; UYQS; UYZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 17. Weight in Grams: 1280.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Netherlands
- Number of pages
- 286
- Condition
- New
- SKU
- V9789048131280
- ISBN
- 9789048131280
Hardback
Condition: New
€ 133.25
€ 133.25
Hardback. Representations of humans in virtual environments are called Avatars. This book brings together work from a variety of relevant disciplines to detail how humans interact in computer-generated environments. It contains contributions from several key people in the field, including Microsoft Research's Virtual World Group. Series: Practitioner Series. Num Pages: 179 pages, biography. BIC Classification: UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 12. Weight in Grams: 561.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 179
- Condition
- New
- SKU
- V9781852334369
- ISBN
- 9781852334369
Hardback
Condition: New
€ 72.65
€ 72.65
Paperback. Series: Practitioner Series. Num Pages: 179 pages, biography. BIC Classification: UYD; UYQL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 342.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 196
- Condition
- New
- SKU
- V9781447110897
- ISBN
- 9781447110897
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 392 pages, biography. BIC Classification: TJF; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 1990
- Number of pages
- 392
- Condition
- New
- SKU
- V9781441951205
- ISBN
- 9781441951205
Paperback
Condition: New
€ 195.21
€ 195.21
Computational Intelligence in Multi-Feature Visual Pattern Recognition...
Pisharady, Pramod, Vadakkepat, Prahlad, Poh, ...
Hardcover. Computational Intelligence in Multi-Feature Visual Pattern Recognition Series: Studies in Computational Intelligence. Num Pages: 151 pages, 25 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 13. Weight in Grams: 366.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789812870551
- ISBN
- 9789812870551
Hardback
Condition: New
€ 127.37
€ 127.37
Computational Intelligence in Multi-Feature Visual Pattern Recognition
Pisharady, Pramod Kumar; Vadakkepat, Prahlad;...
Paperback. Series: Studies in Computational Intelligence. Num Pages: 151 pages, 25 black & white illustrations, 25 colour illustrations, biography. BIC Classification: PBKS; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 151
- Condition
- New
- SKU
- V9789811011719
- ISBN
- 9789811011719
Paperback
Condition: New
€ 126.29
€ 126.29
Hartree-Fock AB-initio Treatment of Crystalline Systems
Pisani, Cesare; Dovesi, Roberto; Roetti, Carl...
Paperback. Series: Lecture Notes in Chemistry. Num Pages: 200 pages, biography. BIC Classification: PHQ; PNRH; PNRS; PNT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 10. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 200
- Condition
- New
- SKU
- V9783540193173
- ISBN
- 9783540193173
Paperback
Condition: New
€ 127.18
€ 127.18
Paperback. This book examines the dynamics and control of electrical drives. It features examples in dynamics and control of specific drives and covers interrelations between modern electric drives, power electronics, mechatronics and application of control methods. Num Pages: 473 pages, biography. BIC Classification: TDPB; TH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642441837
- ISBN
- 9783642441837
Paperback
Condition: New
€ 195.95
€ 195.95
Hardback. Series: Studies in Computational Intelligence. Num Pages: 123 pages, 4 black & white illustrations, 4 colour tables, biography. BIC Classification: UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 377.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 123
- Condition
- New
- SKU
- V9783319527505
- ISBN
- 9783319527505
Hardback
Condition: New
€ 127.22
€ 127.22
Hardback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 130 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 9. Weight in Grams: 393.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 130
- Condition
- New
- SKU
- V9780792391227
- ISBN
- 9780792391227
Hardback
Condition: New
€ 130.50
€ 130.50
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 130 pages, biography. BIC Classification: TTBM; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 242.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 130
- Condition
- New
- SKU
- V9781461288350
- ISBN
- 9781461288350
Paperback
Condition: New
€ 126.32
€ 126.32
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: 204 pages, black & white illustrations, bibliography. BIC Classification: UL; UR; UTX; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 204
- Condition
- New
- SKU
- V9783211819661
- ISBN
- 9783211819661
Paperback
Condition: New
€ 72.32
€ 72.32
Hardcover. How do software companies innovate? Through a comprehensive frame of reference and a set of case studies, the authors provide insight and inspiration on practical techniques everyone building software products can use to increase their rate of innovation. Editor(s): Pikkarainen, Minna; Codenie, Wim; Boucart, Nick; Heredia Alvaro, Jose Antonio. Num Pages: 200 pages, biography. BIC Classification: KJD; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 246 x 167 x 19. Weight in Grams: 486.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642210488
- ISBN
- 9783642210488
Hardback
Condition: New
€ 67.29
€ 67.29
Hardback. Written by the pioneers of local binary patterns, and including a wealth of illustrations, this book gives those working with LBPs a single-source, comprehensive resource on the uses of LBP methodology, in both spatial and spatiotemporal domains. Series: Computational Imaging and Vision. Num Pages: 228 pages, 13 black & white tables, biography. BIC Classification: PB; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 508.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011
- Number of pages
- 228
- Condition
- New
- SKU
- V9780857297471
- ISBN
- 9780857297471
Hardback
Condition: New
€ 67.36
€ 67.36
Paperback. Written by the pioneers of local binary patterns, and including a wealth of illustrations, this book gives those working with LBPs a single-source, comprehensive resource on the uses of LBP methodology, in both spatial and spatiotemporal domains. Series: Computational Imaging and Vision. Num Pages: 228 pages, 13 black & white tables, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 228
- Condition
- New
- SKU
- V9781447126652
- ISBN
- 9781447126652
Paperback
Condition: New
€ 66.28
€ 66.28
paperback. Proceedings of the Summerschool on High Performance Computing in Fluid Dynamics, held at Delft University of Technology, the Netherlands, June 24-28 1996 Editor(s): Wesseling, Pieter. Series: ERCOFTAC Series. Num Pages: 287 pages, biography. BIC Classification: PHD; PHU; TBJ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 287
- Condition
- New
- SKU
- V9789401066068
- ISBN
- 9789401066068
Paperback
Condition: New
€ 67.07
€ 67.07
Hardback. BIC Classification: UY. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2018
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848219724
- ISBN
- 9781848219724
Hardback
Condition: New
€ 180.21
€ 180.21
Paperback. The purpose of this book is to question the relationships involved in decision making and the systems designed to support it: decision support systems (DSS). Num Pages: 104 pages, black & white illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 159 x 6. Weight in Grams: 178.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 104
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217522
- ISBN
- 9781848217522
Paperback
Condition: New
€ 179.74
€ 179.74
hardcover. Editor(s): Blanche, Pierre-Alexandre. Series: Springer Series in Materials Science. Num Pages: 328 pages, 100 black & white illustrations, 62 colour illustrations, 3 black & white tables, 80 colo. BIC Classification: PNNP; TJFD; TTBM; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 328
- Condition
- New
- SKU
- V9783319293325
- ISBN
- 9783319293325
Hardback
Condition: New
€ 128.96
€ 128.96
Paperback. Rather than offer a general methodology, this book proposes a framework and means for actively taking into account the relationships between pedagogical settings and software, and for working together in a multidisciplinary way to develop educational software. Num Pages: 180 pages, biography. BIC Classification: JNKD; JNV; UNH; UYZG; YQT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783642443121
- ISBN
- 9783642443121
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. Rather than offer a general methodology, this book proposes a framework and means for actively taking into account the relationships between pedagogical settings and software, and for working together in a multidisciplinary way to develop educational software. Num Pages: 180 pages, biography. BIC Classification: JNKD; JNV; UNH; UYZG; YQT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783642200021
- ISBN
- 9783642200021
Hardback
Condition: New
€ 67.07
€ 67.07