.png){kind=logo}
Computer-aided design (CAD)
Results 181 - 200 of 949
Computer-aided design (CAD)
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
Hardback. 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: 243 pages, biography. BIC Classification: TJFC; UB; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 243
- Condition
- New
- SKU
- V9781441959973
- ISBN
- 9781441959973
Hardback
Condition: New
€ 132.69
€ 132.69
hardcover. Covering the latest research on urgent challenges in many-core architectures and application mapping, this book addresses architectural design; memory, data and power management; and design and programming methodologies. It includes industrial case studies. Editor(s): Jantsch, Axel; Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece). Num Pages: 237 pages, 31 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2012th Edition
- Number of pages
- 237
- Condition
- New
- SKU
- V9781441967770
- ISBN
- 9781441967770
Hardback
Condition: New
€ 128.24
€ 128.24
Paperback. Editor(s): Dokken, Tor; Muntingh, Georg. Series: Geometry and Computing. Num Pages: 336 pages, 25 black & white illustrations, 70 colour illustrations, biography. BIC Classification: PBF; PBM; PBWH; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 336
- Condition
- New
- SKU
- V9783319355887
- ISBN
- 9783319355887
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Complete with a new approach, this volume presents novel concepts, strategies, and implementations to increase the run-time adaptivity of reconfigurable embedded processors. Concepts and techniques are presented in an accessible, yet rigorous context. Num Pages: 244 pages, biography. BIC Classification: TJFC; UGC. 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
- 244
- Condition
- New
- SKU
- V9781489981998
- ISBN
- 9781489981998
Paperback
Condition: New
€ 127.78
€ 127.78
Hardback. Complete with a new approach, this volume presents novel concepts, strategies, and implementations to increase the run-time adaptivity of reconfigurable embedded processors. Concepts and techniques are presented in an accessible, yet rigorous context. Num Pages: 223 pages, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2011
- Number of pages
- 223
- Condition
- New
- SKU
- V9781441974112
- ISBN
- 9781441974112
Hardback
Condition: New
€ 132.41
€ 132.41
Paperback. Num Pages: 312 pages, biography. BIC Classification: GPFC; THR; TRC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 312
- Condition
- New
- SKU
- V9781461351702
- ISBN
- 9781461351702
Paperback
Condition: New
€ 117.03
€ 117.03
This new edition of an authoritative text on the widely used technical software focuses on its use in robust control design. Aimed at graduate students and professionals, improvements include simplified theoretical background and a tutorial on Toolbox 3. Series: Advanced Textbooks in Control and Signal Processing. Num Pages: 489 pages, 254 black & white illustrations, 113 colour illustrations, 19 black & white tables, biogr. BIC Classification: GPFC; TJFM; UGC. Category: (P) Professional & Vocational. Dimension: 236 x 169 x 23. Weight in Grams: 694.
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2nd ed. 2013
- Number of pages
- 489
- Condition
- New
- SKU
- V9781447146810
- ISBN
- 9781447146810
Paperback
Condition: New
€ 130.74
€ 130.74
Paperback. Proceedings of the NATO Advanced Study Institute on Robotics and Artificial Intelligence Held at Castelvecchio Pascoli (Barga), Italy, June 26 - July 28, 1983 Editor(s): Brady, Michael; Gerhardt, L.A.; Davidson, H. F. Series: NATO ASI Subseries F. Num Pages: 696 pages, biography. BIC Classification: TBC; TJFM; UGC; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 36. Weight in Grams: 1212.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 696
- Condition
- New
- SKU
- V9783642821554
- ISBN
- 9783642821554
Paperback
Condition: New
€ 132.74
€ 132.74
Paperback. Num Pages: 256 pages, black & white illustrations, bibliography. BIC Classification: TBC; TJFM; UGC; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 256
- Condition
- New
- SKU
- V9783642935145
- ISBN
- 9783642935145
Paperback
Condition: New
€ 55.86
€ 55.86
Paperback. Num Pages: 191 pages, black & white illustrations, bibliography. BIC Classification: TBC; TJFM; UGC; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 322.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 191
- Condition
- New
- SKU
- V9783642935121
- ISBN
- 9783642935121
Paperback
Condition: New
€ 49.64
€ 49.64
Paperback. Num Pages: 284 pages, black & white illustrations, bibliography. BIC Classification: TBC; TJFM; UGC; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 15. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642935107
- ISBN
- 9783642935107
Paperback
Condition: New
€ 72.80
€ 72.80
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 211 pages, biography. BIC Classification: GPFC; TJFM; UGC. Category: (P) Professional & Vocational. Dimension: 157 x 234 x 16. Weight in Grams: 352.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 211
- Condition
- New
- SKU
- V9781475764376
- ISBN
- 9781475764376
Paperback
Condition: New
€ 66.28
€ 66.28
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-...
Castro-Lopez, Rafael; Fernandez, Francisco V....
Paperback. Num Pages: 390 pages, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 21. Weight in Grams: 645.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 390
- Condition
- New
- SKU
- V9789048172894
- ISBN
- 9789048172894
Paperback
Condition: New
€ 195.40
€ 195.40
Paperback. Num Pages: 286 pages, black & white illustrations, bibliography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 1999. Softcover reprint of the original 2
- Number of pages
- 286
- Condition
- New
- SKU
- V9781461372899
- ISBN
- 9781461372899
Paperback
Condition: New
€ 67.15
€ 67.15
Hardback. "Re-use" in computer-aided design of electronic circuits, involves the strategic re-use of existing IC designs for significantly improved productivity. This book is tailored as a single-source reference to meet directly the needs of designers embarking on the reuse strategy. Num Pages: 314 pages, references, index. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 165 x 24. Weight in Grams: 646.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 314
- Condition
- New
- SKU
- V9780471987505
- ISBN
- 9780471987505
Hardback
Condition: New
€ 273.22
€ 273.22
Paperback / so. Series: Duv Wirtschaftswissenschaft. Num Pages: black & white illustrations, bibliography. BIC Classification: KJM; UGC. Category: (G) General (US: Trade). Dimension: 216 x 140 x 16. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Gabler Verlag United Kingdom
- Condition
- New
- SKU
- V9783824400386
- ISBN
- 9783824400386
Paperback
Condition: New
€ 72.08
€ 72.08
Paperback. Provides an overview of the research or industrial application in interactive design. This title discusses modelling techniques, design solution space exploration and interactive process organization. Editor(s): Nadeau, Jean-Pierre; Fischer, Xavier. Num Pages: 146 pages, biography. BIC Classification: TBC; TBD; TDP; TGP; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Editions France
- Number of pages
- 146
- Condition
- New
- SKU
- V9782817801681
- ISBN
- 9782817801681
Paperback
Condition: New
€ 194.14
€ 194.14
Paperback. Editor(s): Sasao, Tsutomu; Fujita, Masahira. Num Pages: 332 pages, biography. BIC Classification: PBD; THR; TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 533.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 332
- Condition
- New
- SKU
- V9781461285991
- ISBN
- 9781461285991
Paperback
Condition: New
€ 194.58
€ 194.58
Hardback. Provides an overview on the influence of problem representations on genetic and evolutionary algorithm (GEA) performance. This book summarizes knowledge regarding problem representations and describes how basic properties of representations, such as redundancy, scaling, or locality, influence the performance of GEAs and other optimization methods. Num Pages: 342 pages, 52 black & white tables, biography. BIC Classification: KJQ; KJT; UGC; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2006
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540250593
- ISBN
- 9783540250593
Hardback
Condition: New
€ 195.54
€ 195.54