.png){kind=logo}
Electronics & communications engineering
Results 61 - 80 of 11074
Electronics & communications engineering
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Hardback. Considering both the size of digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book summarizes research on abstraction techniques for model checking large digital system. Series: Integrated Circuits and Systems. Num Pages: 179 pages, biography. BIC Classification: TJ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 179
- Condition
- New
- SKU
- V9780387341552
- ISBN
- 9780387341552
Hardback
Condition: New
€ 131.32
€ 131.32
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Paperback. Series: Integrated Circuits and Systems. Num Pages: 193 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 193
- Condition
- New
- SKU
- V9781489993953
- ISBN
- 9781489993953
Paperback
Condition: New
€ 160.96
€ 160.96
Paperback. Num Pages: 643 pages, 52 black & white tables. BIC Classification: TJF; UGC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 894.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 643
- Condition
- New
- SKU
- V9783642796906
- ISBN
- 9783642796906
Paperback
Condition: New
€ 75.95
€ 75.95
Paperback. Num Pages: 202 pages, black & white illustrations, bibliography. BIC Classification: PHD; TJFM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 2nd ed. 1983
- Number of pages
- 202
- Condition
- New
- SKU
- V9783642932335
- ISBN
- 9783642932335
Paperback
Condition: New
€ 55.47
€ 55.47
paperback. Num Pages: 478 pages, black & white illustrations, bibliography. BIC Classification: PBF; PBW; TJFM; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 25. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 3. Aufl. 1988. Softcover reprint of the original 3
- Number of pages
- 478
- Condition
- New
- SKU
- V9783662055762
- ISBN
- 9783662055762
Paperback
Condition: New
€ 64.02
€ 64.02
Hardback. Num Pages: 400 pages. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 244 x 170. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 400
- Condition
- New
- SKU
- V9781118924594
- ISBN
- 9781118924594
Hardback
Condition: New
€ 121.60
€ 121.60
Accelerator Data-Path Synthesis for High-Throughput Signal Processing ...
Geurts, Werner; Catthoor, Francky; Vernalde, ...
Paperback. Num Pages: 263 pages, biography. BIC Classification: THR; TJFC; TTBM; UGC. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. 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. 1997
- Number of pages
- 263
- Condition
- New
- SKU
- V9781461346746
- ISBN
- 9781461346746
Paperback
Condition: New
€ 194.05
€ 194.05
Accelerator Data-Path Synthesis for High-Throughput Signal Processing ...
Guerts, Werner; Catthoor, Francky; Vernalde, ...
Hardback. Shows how to use high-level synthesis techniques to cope with stringent timing requirements of complex high-throughput real-time signal and data processing. This book focuses on domains where application-specific high-speed solutions are attractive such as significant parts of audio, telecom, instrumentation, speech, robotics, medical, and more. Num Pages: 263 pages, biography. BIC Classification: TJK; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 263
- Condition
- New
- SKU
- V9780792398202
- ISBN
- 9780792398202
Hardback
Condition: New
€ 199.54
€ 199.54
paperback. Constitutes the reviewed post-proceedings of the 5th International ICST Conference on Access Networks, AccessNets 2010, and of the satellite event, the First International ICST Workshop on Autonomic Networking and Self-Management in Access Networks, Selfmagicnets 2010, held jointly in Budapest, Hungary in November 2010. Editor(s): Szabo, Robert; Zhu, Hua; Imre, Sandor; Chaparadza, Ranganai. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 337 pages, 74 black & white illustrations, 83 colour illustrations, biography. BIC Classification: TJK. Category: (P) Professional & Vocational. Dimension: 239 x 163 x 25. Weight in Grams: 479.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 337
- Condition
- New
- SKU
- V9783642209307
- ISBN
- 9783642209307
Paperback
Condition: New
€ 67.36
€ 67.36
Hardback. Series: Studies in Computational Intelligence. Num Pages: 146 pages, 9 black & white illustrations, 37 colour illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 409.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 146
- Condition
- New
- SKU
- V9783319536088
- ISBN
- 9783319536088
Hardback
Condition: New
€ 149.51
€ 149.51
Hardback. Presents digital signal processing techniques for telecommunications acoustics. This book presents both theory and implementation techniques. It covers topics including adaptive filtering algorithms, multi-channel acoustic echo cancellation, noise control, virtual sound, sound source localization for camera tracking, and source separation. Editor(s): Gay, Stephen L.; Benesty, Jacob. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 333 pages, biography. BIC Classification: PHDS; TJK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 333
- Condition
- New
- SKU
- V9780792378143
- ISBN
- 9780792378143
Hardback
Condition: New
€ 201.20
€ 201.20
hardcover. Builds on the techniques of spectral subtraction and spectral normalization, which were developed to enhance the quality of degraded speech for human listeners. This book describes and explains the compensation algorithms that have been developed to compensate for these types of environmental degradation. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 186 pages, biography. BIC Classification: PHDS; TJK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 166 x 18. Weight in Grams: 328.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Springer United States
- Edition
- 1993rd Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9780792392842
- ISBN
- 9780792392842
Hardback
Condition: New
€ 197.98
€ 197.98
Paperback. Editor(s): Reichardt, W. Num Pages: 112 pages, black & white illustrations. BIC Classification: TGB; TJF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 5. Weight in Grams: 184.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 112
- Condition
- New
- SKU
- V9789400967892
- ISBN
- 9789400967892
Paperback
Condition: New
€ 65.19
€ 65.19
Paperback. As before, this text provides the material for a graduate introductory course in engineering acoustics for students with basic knowledge in mathematics. In this second, enlarged edition, the teaching aspects of the book have been substantially improved. Num Pages: 253 pages, 12 black & white tables, biography. BIC Classification: PHDS; TJK; TTA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2 Rev ed
- Number of pages
- 253
- Condition
- New
- SKU
- V9783642424779
- ISBN
- 9783642424779
Paperback
Condition: New
€ 100.10
€ 100.10
Paperback. Editor(s): Hagedorn, Peter; Spelsberg-Korspeter, Gottfried. Series: CISM International Centre for Mechanical Sciences. Num Pages: 318 pages, 65 black & white illustrations, 51 colour illustrations, biography. BIC Classification: TGB; TGMD4; TJFM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 318
- Condition
- New
- SKU
- V9783709119945
- ISBN
- 9783709119945
Paperback
Condition: New
€ 127.70
€ 127.70
Paperback. This book examines differences in two main brake system technologies: hydraulically activated and electromechanical brakes. It offers the reader a structured and detailed treatment of the uses of control in various aspects of modern automotive braking systems. Series: Advances in Industrial Control. Num Pages: 254 pages, biography. BIC Classification: TGMD4; TJFM; TRC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 254
- Condition
- New
- SKU
- V9781447157021
- ISBN
- 9781447157021
Paperback
Condition: New
€ 127.58
€ 127.58
Hardback. This book examines differences in two main brake system technologies: hydraulically activated and electromechanical brakes. It offers the reader a structured and detailed treatment of the uses of control in various aspects of modern automotive braking systems. Series: Advances in Industrial Control. Num Pages: 254 pages, biography. BIC Classification: TGMD4; TJFM; TRC. Category: (P) Professional & Vocational. Dimension: 163 x 241 x 23. Weight in Grams: 600.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 254
- Condition
- New
- SKU
- V9781849963497
- ISBN
- 9781849963497
Hardback
Condition: New
€ 129.01
€ 129.01
Paperback. A complete solution for vibration control problems in structures that may be subject to a broadband primary vibration field, this book covers a range of issues from optimal placement of sensors and actuators to controller implementation and rapid prototyping. Series: Advances in Industrial Control. Num Pages: 214 pages, biography. BIC Classification: PHVG; TGB; TGMD4; TJF; TJFM; TRC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 214
- Condition
- New
- SKU
- V9781447157076
- ISBN
- 9781447157076
Paperback
Condition: New
€ 127.01
€ 127.01
Hardback. A complete solution for vibration control problems in structures that may be subject to a broadband primary vibration field, this book covers a range of issues from optimal placement of sensors and actuators to controller implementation and rapid prototyping. Series: Advances in Industrial Control. Num Pages: 214 pages, biography. BIC Classification: PHVG; TGMD4; TJFM; TNC; TRC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 214
- Condition
- New
- SKU
- V9781849962803
- ISBN
- 9781849962803
Hardback
Condition: New
€ 128.36
€ 128.36
Hardcover. Num Pages: 368 pages. BIC Classification: TJFM. Category: (P) Professional & Vocational. Dimension: 178 x 252 x 22. Weight in Grams: 702.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119239925
- ISBN
- 9781119239925
Hardback
Condition: New
€ 150.90
€ 150.90