.png){kind=logo}
Computing
Results 26261 - 26280 of 30854
Computing
Paperback. This volume provides a brief review of the previous work on model reduction and identification of DPS, and develops new spatio-temporal models and their relevant identification approaches. All modeling approaches are applied to industrial thermal processes. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 193 pages, biography. BIC Classification: PBWH; TDC; TJFM; UGK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 193
- Condition
- New
- SKU
- V9789401782548
- ISBN
- 9789401782548
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 127 pages, 4 black & white illustrations, 22 colour illustrations, 20 black & white tables, 20 colou. BIC Classification: UNF; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 7. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 127
- Condition
- New
- SKU
- V9789811007477
- ISBN
- 9789811007477
Paperback
Condition: New
€ 77.57
€ 77.57
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
Paperback. Constitutes a survey for the field of speaker classification. This work contains articles on topical sections on fundamentals, characteristics, applications, methods and features, as well as evaluation. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: UK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540741862
- ISBN
- 9783540741862
Paperback
Condition: New
€ 67.72
€ 67.72
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
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. Num Pages: 313 pages, biography. BIC Classification: TDC; UGC; WM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 313
- Condition
- New
- SKU
- V9781461370369
- ISBN
- 9781461370369
Paperback
Condition: New
€ 194.46
€ 194.46
Paperback. Moving from an exploration of 19th century popular science and magic to Hollywood science fiction cinema of our time, this text examines the history, advancements and connoisseurship of special effects. Series: Film and Culture Series. Num Pages: 256 pages, 9 photos. BIC Classification: APFV; UGN. Category: (P) Professional & Vocational. Dimension: 155 x 229 x 13. Weight in Grams: 352.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Columbia University Press United States
- Edition
- First Edition
- Number of pages
- 256
- Condition
- New
- SKU
- V9780231125635
- ISBN
- 9780231125635
Paperback
Condition: New
€ 37.99€ 27.76
€ 37.99
€ 27.76
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. 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. 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