.png){kind=logo}
Graphical & digital media applications
Results 1341 - 1360 of 3730
Graphical & digital media applications
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 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. 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. 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. 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. 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. 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. 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. Advances in computer entertainment have impacted upon our lives. This cutting edge handbook covers recent research and technical trends in the field of digital entertainment and art. The book concludes with future trends and developments within this field. Editor(s): Furht, Borko. Num Pages: 785 pages, biography. BIC Classification: UB; UG; UKN; UNH; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 40. Weight in Grams: 1187.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 785
- Condition
- New
- SKU
- V9781489985231
- ISBN
- 9781489985231
Paperback
Condition: New
€ 254.29
€ 254.29
Paperback. This book presents two techniques to reduce leakage power in digital VLSI ICs. The first reduces leakage through the selective use of high threshold voltage sleep transistors, while the second by applying the optimal Reverse Body Bias voltage. Num Pages: 241 pages, 37 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 241
- Condition
- New
- SKU
- V9781489985293
- ISBN
- 9781489985293
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This book on embedded systems details how to design a future multiprocessor system consisting of several processors and other components. It covers methodology, design and tool concepts and delves into modeling practice and requirement. Many examples included. Num Pages: 377 pages, 13 black & white tables, biography. BIC Classification: TBD; TJFC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 377
- Condition
- New
- SKU
- V9781489985309
- ISBN
- 9781489985309
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. Num Pages: 700 pages, 110 black & white tables, biography. BIC Classification: UG; UT; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1056.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 700
- Condition
- New
- SKU
- V9781489985651
- ISBN
- 9781489985651
Paperback
Condition: New
€ 374.43
€ 374.43
Paperback. Dependability in Electronic Systems presents practical applications for dependable electronic systems, such as train control, automotive control systems and network servers/routers. Readers will find an overview of dependability, enabling them to select the best choice for maximum results. Num Pages: 229 pages, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781489985941
- ISBN
- 9781489985941
Paperback
Condition: New
€ 160.96
€ 160.96
Paperback. This book reviews the state of the art in error control for Network on Chip (NOC) links. It details key issues in NOC error control faced by circuit and system designers as well as practical error control techniques to minimize the impact of these errors. Num Pages: 162 pages, 6 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 261.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 162
- Condition
- New
- SKU
- V9781489986337
- ISBN
- 9781489986337
Paperback
Condition: New
€ 138.85
€ 138.85
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifica...
Singh, Gaurav; Shukla, Sandeep Kumar
Paperback. Low Power Hardware Synthesis provides an introduction to low-power hardware, providing a high-level description of design in terms of Concurrent Action-Oriented Specifications (CAOS). Novel techniques are described, in addition to various verification issues associated with hardware design. Num Pages: 184 pages, biography. BIC Classification: TJFC; UGC. 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
- 184
- Condition
- New
- SKU
- V9781489987020
- ISBN
- 9781489987020
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. This book focuses on discrete time modeling and illustrates that queueing systems encountered in real life can be set up as a Markov chain. This feature is unique because the models are set in such a way that matrix-analytic methods are used to analyze them. Num Pages: 252 pages, biography. BIC Classification: UGK; UM; UYAM; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781489987440
- ISBN
- 9781489987440
Paperback
Condition: New
€ 127.78
€ 127.78
The Core Test Wrapper Handbook. Rationale and Application of IEEE STD....
McLaurin, Teresa; Waayers, Tom
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 305 pages, biography. BIC Classification: THR; TJF; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781489987693
- ISBN
- 9781489987693
Paperback
Condition: New
€ 138.97
€ 138.97
Low Power Design with High-Level Power Estimation and Power-Aware Synt...
Ahuja, Sumit; Lakshminarayana, Avinash; Shukl...
Paperback. This book presents fresh research techniques, algorithms, methodologies and experimental results for high-level power estimation and power-aware high-level synthesis. The book will help get products to market quicker and facilitate low-power ASIC/FPGA design. Num Pages: 192 pages, 23 black & white tables, biography. BIC Classification: TJFC; UGC. 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
- Number of pages
- 192
- Condition
- New
- SKU
- V9781489987808
- ISBN
- 9781489987808
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. As modern embedded systems increase in complexity, reconfigurable computing, with its flexible design parameters, is becoming more widely adopted. This book covers both hardware and software aspects to help designers become more acquainted with the issues. Editor(s): Cardoso, Joao M. P.; Hubner, Michael. Num Pages: 311 pages, 22 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 311
- Condition
- New
- SKU
- V9781489988591
- ISBN
- 9781489988591
Paperback
Condition: New
€ 139.03
€ 139.03
Process Variations and Probabilistic Integrated Circuit Design
. Ed(S): Dietrich, Manfred; Haase, Joachim
Paperback. Based on qualitative and quantitative insight, this volume presents the technological, physical, and mathematical fundamentals for a design paradigm shift for microelectronic circuits. The text explores design flow variations to establish different variants while optimizing the overall design. Editor(s): Dietrich, Manfred; Haase, Joachim. Num Pages: 252 pages, 32 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781489988607
- ISBN
- 9781489988607
Paperback
Condition: New
€ 127.52
€ 127.52