.png){kind=logo}
Computing
Results 19249 - 19272 of 30851
Computing
Paperback. This insightful book will help both novice and experienced verification engineers master the Open Verification Methodology through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling. Num Pages: 255 pages, 22 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 255
- Condition
- New
- SKU
- V9781489985132
- ISBN
- 9781489985132
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This book describes synchronous programming for the design of safety-critical embedded systems such as automotive, nuclear power plants, and multimedia. The programming language used is SIGNAL, and the techniques presented promote the use of formal concepts. Num Pages: 282 pages, 7 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 282
- Condition
- New
- SKU
- V9781489985125
- ISBN
- 9781489985125
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. VLSI design has grown more challenging due to detrimental effects of radiation particle strikes and processing variations. This book describes the design of resilient VLSI circuits, presenting algorithms and techniques to analyze and mitigate design problems. Num Pages: 234 pages, 28 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 234
- Condition
- New
- SKU
- V9781489985101
- ISBN
- 9781489985101
Paperback
Condition: New
€ 138.85
€ 138.85
paperback. The differences between FPGA and ASIC technologies are examined in this reference, with a particular focus on cost, performance and power consumption. Common misconceptions between the two devices are addressed and specific design choices are highlighted. Num Pages: 191 pages, 51 black & white tables, biography. BIC Classification: TJF; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2010th Edition
- Number of pages
- 191
- Condition
- New
- SKU
- V9781489985095
- ISBN
- 9781489985095
Paperback
Condition: New
€ 127.78
€ 127.78
paperback. This book offers state-of the-art research and development outcomes on methodologies, techniques, approaches and successful applications in domain driven, actionable knowledge discovery. It bridges the gap between business expectations and research output. Num Pages: 264 pages, 50 black & white tables, biography. BIC Classification: KJQ; UNF; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2010th Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9781489985071
- ISBN
- 9781489985071
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. This book focuses on several areas of speech processing, and the algorithms and industry standards that govern them. Coverage includes Speech Compression, Echo Cancellation, Noise Suppression, Speech Recognition, Speech Synthesis and extends to implementation. Num Pages: 182 pages, biography. BIC Classification: TJFC; TTBM; UT; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9781489985040
- ISBN
- 9781489985040
Paperback
Condition: New
€ 149.91
€ 149.91
Paperback. This textbook provides a comprehensive, in-depth treatment of the fundamental concepts and research challenges involved in the mathematical modeling and computer simulation of electrophysiological heart processes, under normal and pathological conditions. Num Pages: 247 pages, biography. BIC Classification: MJD; PSA; UGK; UYQP; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 247
- Condition
- New
- SKU
- V9781489985033
- ISBN
- 9781489985033
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. This book covers hardware and software aspects of embedded systems development. It details the fundamentals of embedded systems design and development with an emphasis on software and explores the 8051 microcontroller as it pertains to embedded systems. Num Pages: 404 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 404
- Condition
- New
- SKU
- V9781489984999
- ISBN
- 9781489984999
Paperback
Condition: New
€ 117.81
€ 117.81
Paperback. Editor(s): Davoli, Franco; Meyer, Norbert; Pugliese, Roberto; Zappatore, Sandro. Num Pages: 545 pages, 16 black & white tables, biography. BIC Classification: TJF; TJK; TTBM; UKN. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 545
- Condition
- New
- SKU
- V9781489984920
- ISBN
- 9781489984920
Paperback
Condition: New
€ 373.56
€ 373.56
Paperback. This book addresses why the wearable ECG recorder, due to recent developments, constitutes a significant innovation in the healthcare field. It examines the viability of the wearable ECG in cardiac monitoring and details in depth the hardware involved. Num Pages: 176 pages, biography. BIC Classification: MQW; TTBM; UYQV; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 176
- Condition
- New
- SKU
- V9781489984883
- ISBN
- 9781489984883
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Editor(s): Boulet, Pierre. Num Pages: 315 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UGK; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 315
- Condition
- New
- SKU
- V9781489984692
- ISBN
- 9781489984692
Paperback
Condition: New
€ 194.34
€ 194.34
Paperback. WirelessHART is a cutting-edge standard for the wireless process industry. This book helps facilitate the adoption of wireless technology in industrial automation and introduces the research potential of the wireless industrial automation to the academics. Num Pages: 298 pages, biography. BIC Classification: TGP; TJFM1; TJK; UKN; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9781489984647
- ISBN
- 9781489984647
Paperback
Condition: New
€ 127.85
€ 127.85
Paperback. This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies. Editor(s): Hardin, David S. Num Pages: 450 pages, 16 black & white tables, biography. BIC Classification: TGPR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 450
- Condition
- New
- SKU
- V9781489984593
- ISBN
- 9781489984593
Paperback
Condition: New
€ 140.41
€ 140.41
Paperback. This is one of the first books to provide an overview of trust management for open service-oriented environments. It presents social network-based techniques for establishing trust in decentralized environments. Num Pages: 155 pages, biography. BIC Classification: UBJ; UF; UNH; UR; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 155
- Condition
- New
- SKU
- V9781489984579
- ISBN
- 9781489984579
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. This book is one of the first to cover SAT-solvers and how they can be used in cryptanalysis. It includes chapters on finite field linear algebra and the equicomplexity of matrix operations. Num Pages: 389 pages, biography. BIC Classification: PBF; PBMW; UMB; URY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 594.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 389
- Condition
- New
- SKU
- V9781489984500
- ISBN
- 9781489984500
Paperback
Condition: New
€ 316.73
€ 316.73
Paperback. This book covers the basic results and methods in probability theory. This new edition offers updated content, 100 additional problems for solution, and a new chapter glimpsing further topics such as stable distributions, domains of attraction and martingales. Series: Springer Texts in Statistics. Num Pages: 318 pages, biography. BIC Classification: PBT; PSA; RN; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 2009
- Number of pages
- 318
- Condition
- New
- SKU
- V9781489984463
- ISBN
- 9781489984463
Paperback
Condition: New
€ 83.79
€ 83.79
Paperback. Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the subject with a wide range of illustrative applications. Series: Texts in Computer Science. Num Pages: 816 pages, 21 black & white illustrations, 11 black & white tables, biography. BIC Classification: GPJ; PBKS; PBT; PBW; UYQP. Category: (G) General (US: Trade). Dimension: 254 x 178 x 41. Weight in Grams: 1532.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 3 Rev ed
- Number of pages
- 816
- Condition
- New
- SKU
- V9781489984456
- ISBN
- 9781489984456
Paperback
Condition: New
€ 107.29
€ 107.29
Paperback. This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies. Num Pages: 257 pages, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 257
- Condition
- New
- SKU
- V9781489984449
- ISBN
- 9781489984449
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This is a unique programming guide for the Cell Broadband Engine. It demonstrates a large number of real-life programs to identify and solve problems in a broad range of subjects. There are numerous diagrams, mnemonics, tables, and charts. Num Pages: 519 pages, 20 black & white illustrations, biography. BIC Classification: PBKS; TBJ; UM; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 519
- Condition
- New
- SKU
- V9781489984418
- ISBN
- 9781489984418
Paperback
Condition: New
€ 196.36
€ 196.36
Paperback. This book details the state-of-the-art research and development regarding the synergism of multiagents and data mining. Specifically, it presents the methodologies, algorithms and systems that integrate these two cutting-edge technologies. Editor(s): Cao, Longbing. Num Pages: 348 pages, biography. BIC Classification: UMA; UNF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 348
- Condition
- New
- SKU
- V9781489984401
- ISBN
- 9781489984401
Paperback
Condition: New
€ 194.68
€ 194.68
paperback. The 2008 International Symposium of Grid Computing brought together scientists and engineers to discuss the ideas, challenges, and future developments of Grid Computing. This edited volume is based on the proceedings of that prestigious event. Editor(s): Lin, Simon C.; Yen, Eric. Num Pages: 225 pages, biography. BIC Classification: UKN; UMB; UN; UT; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2010th Edition
- Number of pages
- 225
- Condition
- New
- SKU
- V9781489984395
- ISBN
- 9781489984395
Paperback
Condition: New
€ 194.14
€ 194.14
Paperback. Editor(s): Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Roosmalen, Alfred van. Num Pages: 343 pages, 7 black & white tables, biography. BIC Classification: TBN; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 343
- Condition
- New
- SKU
- V9781489984319
- ISBN
- 9781489984319
Paperback
Condition: New
€ 139.33
€ 139.33
Paperback. This text reviews the foundational issues in argumentation and formal argument modeling before moving to more specialized topics such as algorithmic issues. It addresses practical applications of argumentation in AI and applications of AI in argumentation. Editor(s): Rahwan, Iyad. Num Pages: 506 pages, biography. BIC Classification: JNV; PBKS; UB; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 506
- Condition
- New
- SKU
- V9781489984272
- ISBN
- 9781489984272
Paperback
Condition: New
€ 196.24
€ 196.24
Information and Management Systems for Product Customization
Blecker, Thorsten; Friedrich, Gerhard; Kaluza...
Paperback. Series: Integrated Series in Information Systems. Num Pages: 291 pages, biography. BIC Classification: KJM; KJMV5; KJQ; KJT; TGP; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 291
- Condition
- New
- SKU
- V9781489984128
- ISBN
- 9781489984128
Paperback
Condition: New
€ 160.96
€ 160.96