.png){kind=logo}
Computer science
Results 14377 - 14400 of 16600
Computer science
Paperback. This text focuses on the development of adequate spatial representations for robot motion planning. The authors introduce a general model for spatial representation of physical objects. This model is then applied to two key problems in intelligent robotics: collision detection and motion planning. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: PBM; PBP; TJFM1; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540606208
- ISBN
- 9783540606208
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Num Pages: 206 pages, 79 black & white illustrations, 40 colour illustrations, 12 black & white tables, 2 colou. BIC Classification: PBW; RGW; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 206
- Condition
- New
- SKU
- V9783319383262
- ISBN
- 9783319383262
Paperback
Condition: New
€ 126.70
€ 126.70
Hardcover. Spatial Similarity Relations in Multi-scale Map Spaces Num Pages: 188 pages, 79 black & white illustrations, 40 colour illustrations, 12 black & white tables, 2 colou. BIC Classification: PBW; RGW; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 188
- Condition
- New
- SKU
- V9783319097428
- ISBN
- 9783319097428
Hardback
Condition: New
€ 127.82
€ 127.82
Paperback. Shows how sophisticated spatial statistical and computational methods apply to a range of problems of importance for applications in science and technology. This volume introduces topics in spatial and computational statistics, which are useful for postgraduate students as well as for experienced statistical researchers. Editor(s): Moller, Jesper. Series: Lecture Notes in Statistics. Num Pages: 219 pages, 121 black & white illustrations. BIC Classification: PBT; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9780387001364
- ISBN
- 9780387001364
Paperback
Condition: New
€ 129.44
€ 129.44
Spatial Temporal Patterns for Action-oriented Perception in Roving Rob...
. Ed(S): Arena, Paolo; Patane, Luca
Hardback. An Insect Brain Computational Model Editor(s): Arena, Paolo; Patane, Luca. Series: Cognitive Systems Monographs. Num Pages: 371 pages, 51 black & white illustrations, 205 colour illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 911.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 371
- Condition
- New
- SKU
- V9783319023618
- ISBN
- 9783319023618
Hardback
Condition: New
€ 128.93
€ 128.93
Spatial Temporal Patterns for Action-oriented Perception in Roving Rob...
. Ed(S): Arena, Paolo; Patane, Luca
Paperback. This volume collects significant results of the research Project called "SPARK". Its aim was to develop new cognitive architectures and sensing-perceiving-moving artefacts, inspired by the basic principles of living systems and based on "self-organization". Editor(s): Arena, Paolo; Patane, Luca. Series: Cognitive Systems Monographs. Num Pages: 450 pages, 18 black & white tables, biography. BIC Classification: PHS; TGMD4; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642100147
- ISBN
- 9783642100147
Paperback
Condition: New
€ 195.61
€ 195.61
Spatial Temporal Patterns for Action-Oriented Perception in Roving Rob...
. Ed(S): Arena, Paolo; Patane, Luca
paperback. Describing a cutting-edge project that used a computational model of an insect brain to enable spatial awareness in mobile robots, this volume shows how today's scientists are blending biologically inspired networks and complex, nonlinear dynamical systems. Editor(s): Arena, Paolo; Patane, Luca. Series: Cognitive Systems Monographs. Num Pages: 385 pages, 51 black & white illustrations, 205 colour illustrations, biography. BIC Classification: PSA; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 385
- Condition
- New
- SKU
- V9783319346953
- ISBN
- 9783319346953
Paperback
Condition: New
€ 128.31
€ 128.31
Spatio-Temporal Databases: Complex Motion Pattern Queries (SpringerBri...
Vieira, Marcos R., Tsotras, Vassilis J.
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 127 pages, 46 black & white illustrations, 10 black & white tables, biography. BIC Classification: KCP; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 202.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319024073
- ISBN
- 9783319024073
Paperback
Condition: New
€ 77.57
€ 77.57
Spatio-Temporal Image Analysis for Longitudinal and Time-Series Image ...
. Ed(S): Durrleman, Stanley; Gerig, Guido; Ni...
Paperback. Editor(s): Durrleman, Stanley; Gerig, Guido; Niethammer, Marc. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 99 pages, 35 black & white illustrations, biography. BIC Classification: MMPH; UMB; UML; UYQ; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 5. Weight in Grams: 168.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 99
- Condition
- New
- SKU
- V9783319149042
- ISBN
- 9783319149042
Paperback
Condition: New
€ 55.88
€ 55.88
Spatio-Temporal Image Analysis for Longitudinal and Time-Series Image ...
. Ed(S): Durrleman, Stanley; Fletcher, Tom; G...
paperback. Constitutes the refereed proceedings of the Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with MICCAI 2012 in Nice, France, in October 2012. Editor(s): Durrleman, Stanley; Fletcher, Tom; Gerig, Guido; Niethammer, Marc. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 173 pages, 73 black & white illustrations, biography. BIC Classification: MMP; UMB; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 256.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642335549
- ISBN
- 9783642335549
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Presenting results gleaned from research in environmental physics, this monograph demonstrates how image sequence processing has been used to analyze spatio-temporal data in all areas of natural science. Series: Lecture Notes in Computer Science. Num Pages: 214 pages, biography. BIC Classification: TQ; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 214
- Condition
- New
- SKU
- V9783540574187
- ISBN
- 9783540574187
Paperback
Condition: New
€ 68.72
€ 68.72
Hardback. This book examines use of the voice as a biometric measure for personal authentication, offering an overview of advances in speaker authentication, and including useful algorithms and techniques for improving overall system robustness and performance. Series: Signals and Communication Technology. Num Pages: 238 pages, biography. BIC Classification: TTBM; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 561.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642237300
- ISBN
- 9783642237300
Hardback
Condition: New
€ 194.80
€ 194.80
Paperback. This book examines use of the voice as a biometric measure for personal authentication, offering an overview of advances in speaker authentication, and including useful algorithms and techniques for improving overall system robustness and performance. Series: Signals and Communication Technology. Num Pages: 238 pages, biography. BIC Classification: MQW; TTBM; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642270888
- ISBN
- 9783642270888
Paperback
Condition: New
€ 193.74
€ 193.74
Paperback. Constitutes a survey for the field of speaker classification. This work contains 22 articles that comprise a number of selected self-contained papers on research projects in the field of speaker classification. Editor(s): Muller, C. Series: Lecture Notes in Computer Science. Num Pages: 307 pages, biography. BIC Classification: UG; UYQL; UYQP; UYS; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783540741213
- ISBN
- 9783540741213
Paperback
Condition: New
€ 67.25
€ 67.25
hardcover. Editor(s): Baumgartner, Peter; Payr, Sabine. Series: Princeton Legacy Library. Num Pages: 350 pages, 20 halftones. BIC Classification: JMR; UYQ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 21. Weight in Grams: 657.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Princeton University Press United States
- Number of pages
- 350
- Condition
- New
- SKU
- V9780691632605
- ISBN
- 9780691632605
Hardback
Condition: New
€ 194.86
€ 194.86
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 492 pages, biography. BIC Classification: UKN; UL; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 26. Weight in Grams: 846.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 492
- Condition
- New
- SKU
- V9783642773396
- ISBN
- 9783642773396
Paperback
Condition: New
€ 130.34
€ 130.34
Hardback. Shows how designs targeting commercial-off-the-shelf (COTS) multiprocessing (MP) technologies can be improved by providing a coherent coupling between these frameworks, a quality known as model continuity. Num Pages: 221 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 221
- Condition
- New
- SKU
- V9780792376262
- ISBN
- 9780792376262
Hardback
Condition: New
€ 132.69
€ 132.69
Hardback. Provides an introduction to formal specification and transformational programming. Series: Monographs in Computer Science. Num Pages: 506 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 28. Weight in Grams: 1106.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540523567
- ISBN
- 9783540523567
Hardback
Condition: New
€ 71.30
€ 71.30
Paperback. "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref. Editor(s): Rattray, C. Num Pages: 612 pages, 13 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 32. Weight in Grams: 1204.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 612
- Condition
- New
- SKU
- V9783540195818
- ISBN
- 9783540195818
Paperback
Condition: New
€ 71.93
€ 71.93
Specification and Verification of Multi-Agent Systems
. Ed(S): Dastani, Mehdi; Hindriks, Koen V.; M...
Hardback. Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more. Editor(s): Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Ch. Num Pages: 422 pages, biography. BIC Classification: UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 165 x 31. Weight in Grams: 762.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 422
- Condition
- New
- SKU
- V9781441969835
- ISBN
- 9781441969835
Hardback
Condition: New
€ 202.30
€ 202.30
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 420
- Condition
- New
- SKU
- V9781852333591
- ISBN
- 9781852333591
Paperback
Condition: New
€ 133.46
€ 133.46
Paperback. Editor(s): Meseguer, Jose; Iida, Shusaku; Ogata, Kazuhiro. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 679 pages, 115 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1027.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 679
- Condition
- New
- SKU
- V9783642546235
- ISBN
- 9783642546235
Paperback
Condition: New
€ 70.12
€ 70.12
Paperback. This is a collection of 16 papers presented at a workshop whose purpose was to bring together the work of database researchers and those working on formal specification techniques, to examine the role that formal specification can play in developing database systems. Editor(s): Harper, David J.; Norrie, Moira C. Series: Workshops in Computing. Num Pages: 323 pages, 6 black & white illustrations, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540197324
- ISBN
- 9783540197324
Paperback
Condition: New
€ 67.99
€ 67.99
Hardcover. This book deals with these parametric methods, first discussing those based on time series models, Capon's method and its variants, and then estimators based on the notions of sub-spaces. Editor(s): Castanie, Francis. Series: Digital Signal & Image Processing. Num Pages: 264 pages, Illustrations. BIC Classification: UYS. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 22. Weight in Grams: 530.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- ISTE United Kingdom
- Edition
- 1st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9781905209057
- ISBN
- 9781905209057
Hardback
Condition: New
€ 232.44
€ 232.44