.png){kind=logo}
Computer programming / software development
Results 6741 - 6760 of 7818
Computer programming / software development
Paperback. Num Pages: 206 pages, 48 black & white illustrations, 12 black & white tables, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 12. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 206
- Condition
- New
- SKU
- V9783834807984
- ISBN
- 9783834807984
Paperback
Condition: New
€ 136.91
€ 136.91
Paperback. Editor(s): Reggiani, Aura. Series: Advances in Spatial Science. Num Pages: 469 pages, 26 black & white tables, biography. BIC Classification: KCP; RG; RP; TRC; UMA. Category: (P) Professional & Vocational. Dimension: 157 x 259 x 30. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 469
- Condition
- New
- SKU
- V9783642641251
- ISBN
- 9783642641251
Paperback
Condition: New
€ 68.68
€ 68.68
Hardback. Introduces the reader to the creation and implementation of space-related models by applying a learning-by-doing and problem-oriented approach. This book teaches the required procedural skills to transfer a model into a computer program. It moves from simple to more complex applications, covering various important topics in the sequence. Num Pages: 305 pages, 36 colour illustrations, 86 black & white tables, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 649.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540208778
- ISBN
- 9783540208778
Hardback
Condition: New
€ 129.05
€ 129.05
Paperback. Num Pages: 305 pages, 36 colour illustrations, 86 black & white tables, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642623363
- ISBN
- 9783642623363
Paperback
Condition: New
€ 128.03
€ 128.03
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
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. This concise book starts with a quick-start guide that teaches you just enough of the language to help you be productive right away. More experienced JavaScript programmers will find a complete and easy-to-read reference that covers each language feature in depth. Num Pages: 460 pages, black & white illustrations, black & white tables, figures. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 231 x 177 x 24. Weight in Grams: 792.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449365035
- ISBN
- 9781449365035
Paperback
Condition: New
€ 52.99€ 50.93
€ 52.99
€ 50.93
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
Paperback. Data replication by employing quorum systems is an important concept to improve operation availability on data objects in distributed systems that have strong data consistency demands. These data replication schemes must be modeled and carefully evaluated with respect to different quality measures. This book deals with this topic. Num Pages: 350 pages, 93 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 19. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783834823809
- ISBN
- 9783834823809
Paperback
Condition: New
€ 67.09
€ 67.09
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
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. Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques. Series: Texts in Computer Science. Num Pages: 672 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 2nd ed. 2011
- Number of pages
- 672
- Condition
- New
- SKU
- V9781447126447
- ISBN
- 9781447126447
Paperback
Condition: New
€ 70.66
€ 70.66
Hardback. Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques. Series: Texts in Computer Science. Num Pages: 672 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 159 x 44. Weight in Grams: 1114.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2nd ed. 2011
- Number of pages
- 672
- Condition
- New
- SKU
- V9780857292766
- ISBN
- 9780857292766
Hardback
Condition: New
€ 71.33
€ 71.33
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. Num Pages: 250 pages, biography. BIC Classification: PBKD; THR; UGC; UMA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 250
- Condition
- New
- SKU
- V9781461355472
- ISBN
- 9781461355472
Paperback
Condition: New
€ 194.02
€ 194.02
hardcover. Series: Xpert.Press. Num Pages: 376 pages, XIII, 361 S. 99 Abb. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 704.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540208723
- ISBN
- 9783540208723
Hardback
Condition: New
€ 85.26
€ 85.26
Paperback. Speech Dereverberation presents a mathematical formulation of the problem and the state-of-the-art solutions for dereverberation. The text reviews room acoustics and performance measures for dereverberation, as well as current problem-solving approaches. Editor(s): Naylor, Patrick; Gaubitch, Nikolay D. Series: Signals and Communication Technology. Num Pages: 388 pages, 126 black & white illustrations, 14 black & white tables, biography. BIC Classification: TTBM; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2010th Edition
- Condition
- New
- SKU
- V9781447125778
- ISBN
- 9781447125778
Paperback
Condition: New
€ 195.25
€ 195.25
Hardback. Speech Dereverberation presents a mathematical formulation of the problem and the state-of-the-art solutions for dereverberation. The text reviews room acoustics and performance measures for dereverberation, as well as current problem-solving approaches. Editor(s): Naylor, Patrick A.; Gaubitch, Nikolay D. Series: Signals and Communication Technology. Num Pages: 388 pages, 126 black & white illustrations, 14 black & white tables, biography. BIC Classification: TTBM; UMB; UYQ; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1650.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 388
- Condition
- New
- SKU
- V9781849960557
- ISBN
- 9781849960557
Hardback
Condition: New
€ 202.06
€ 202.06