Science & Technology
Results 110977 - 111000 of 114443
Science & Technology
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: TVR. Category: (G) General (US: Trade). Dimension: 216 x 140 x 4. Weight in Grams: 95.
- Format
- Paperback
- Publication date
- 1881
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662334164
- ISBN
- 9783662334164
Paperback
Condition: New
€ 66.85
€ 66.85
paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: TVR. Category: (G) General (US: Trade). Dimension: 216 x 140 x 5. Weight in Grams: 113.
- Format
- Paperback
- Publication date
- 1885
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1885
- Condition
- New
- SKU
- V9783662334171
- ISBN
- 9783662334171
Paperback
Condition: New
€ 67.17
€ 67.17
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: TVR. Category: (G) General (US: Trade). Dimension: 229 x 152 x 5. Weight in Grams: 136.
- Format
- Paperback
- Publication date
- 1889
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662334188
- ISBN
- 9783662334188
Paperback
Condition: New
€ 67.35
€ 67.35
Paperback. This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems. Num Pages: 202 pages, 200 black & white illustrations, biography. BIC Classification: GPFC; TJFM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 202
- Condition
- New
- SKU
- V9781441954985
- ISBN
- 9781441954985
Paperback
Condition: New
€ 153.06
€ 153.06
Hardback. Presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. This book brings the results in the direction of merging manufacturing test vector generation and verification. Series: Frontiers in Electronic Testing. Num Pages: 231 pages, biography. BIC Classification: TJFM1. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 231
- Condition
- New
- SKU
- V9781402076527
- ISBN
- 9781402076527
Hardback
Condition: New
€ 126.56
€ 126.56
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 231 pages, biography. BIC Classification: TJFC; UGC; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 231
- Condition
- New
- SKU
- V9781441954022
- ISBN
- 9781441954022
Paperback
Condition: New
€ 121.55
€ 121.55
Paperback. Num Pages: 520 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 520
- Condition
- New
- SKU
- V9781461498131
- ISBN
- 9781461498131
Paperback
Condition: New
€ 134.18
€ 134.18
Paperback. In cooperation with the Peace Research Institute Frankfurt (PRIF) Editor(s): Altmann, Jurgen; Rotblat, Joseph. Num Pages: 228 pages, biography. BIC Classification: PHDS; PNFC; PNFS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 228
- Condition
- New
- SKU
- V9783642466861
- ISBN
- 9783642466861
Paperback
Condition: New
€ 122.08
€ 122.08
Hardcover. In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Series: Wiley Series on Parallel and Distributed Computing. Num Pages: 272 pages, illustrations. BIC Classification: TJ. Category: (P) Professional & Vocational. Dimension: 168 x 233 x 18. Weight in Grams: 598.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780470905395
- ISBN
- 9780470905395
Hardback
Condition: New
€ 139.66
€ 139.66
Paperback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 3rd ed. 2009
- Number of pages
- 526
- Condition
- New
- SKU
- V9781447125136
- ISBN
- 9781447125136
Paperback
Condition: New
€ 103.39
€ 103.39
Hardcover. Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Series: Wiley Series in Systems Engineering and Management. Num Pages: 712 pages, Illustrations. BIC Classification: TBC. Category: (P) Professional & Vocational. Dimension: 241 x 169 x 43. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 712
- Condition
- New
- SKU
- V9780470527511
- ISBN
- 9780470527511
Hardback
Condition: New
€ 190.98
€ 190.98
Hardback. Presents an interdisciplinary collection of expert analyses and views of various verification systems. This book provides guidelines and advice for the improvement of those systems as well as for new challenges in the field. Editor(s): Avenhaus, Rudolf; Kyriakopoulos, Nicholas; Michel, Richard; Stein, Gotthard. Num Pages: 629 pages, 25 black & white tables, biography. BIC Classification: J; LNKJ; THK. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 629
- Condition
- New
- SKU
- V9783540338536
- ISBN
- 9783540338536
Hardback
Condition: New
€ 241.81
€ 241.81
Paperback. Num Pages: 306 pages, biography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2013
- Edition
- Softcover reprint of the original 1st ed. 1997
- Condition
- New
- SKU
- V9781461378013
- ISBN
- 9781461378013
Paperback
Condition: New
€ 64.34
€ 64.34
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 135 pages, black & white illustrations, bibliography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 242.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 135
- Condition
- New
- SKU
- V9781461356912
- ISBN
- 9781461356912
Paperback
Condition: New
€ 120.48
€ 120.48
Hardback. Addresses "front end" questions and issues encountered in using the Verilog HDL, during the stages of Hardware Design, Synthesis and Verification. This book discusses the issues which are typically encountered in both ASIC design projects as well as in Soft IP designs using a Q&A format. Num Pages: 238 pages, biography. BIC Classification: TJFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 559.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 238
- Condition
- New
- SKU
- V9780387228341
- ISBN
- 9780387228341
Hardback
Condition: New
€ 126.42
€ 126.42
Paperback. This book will help engineers write better Verilog/SystemVerilog design and verification code as well as deliver digital designs to market more quickly. It shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Num Pages: 218 pages, 1 black & white tables, biography. BIC Classification: TJFC; UGC; UK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 218
- Condition
- New
- SKU
- V9781441944023
- ISBN
- 9781441944023
Paperback
Condition: New
€ 143.48
€ 143.48
Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to...
Sutherland, Stuart, Mills, Don
Hardcover. This book will help engineers write better Verilog/SystemVerilog design and verification code as well as deliver digital designs to market more quickly. It shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Num Pages: 218 pages, 1 black & white tables, biography. BIC Classification: TJFC; UGC; UK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9780387717142
- ISBN
- 9780387717142
Hardback
Condition: New
€ 196.28
€ 196.28
Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 336
- Condition
- New
- SKU
- V9780471429760
- ISBN
- 9780471429760
Hardback
Condition: New
€ 170.01
€ 170.01
paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 356 pages, black & white illustrations, bibliography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- 3rd Edition
- Number of pages
- 356
- Condition
- New
- SKU
- V9781475775594
- ISBN
- 9781475775594
Paperback
Condition: New
€ 197.15
€ 197.15
Paperback. Num Pages: 238 pages, biography. BIC Classification: TJFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 238
- Condition
- New
- SKU
- V9781441919861
- ISBN
- 9781441919861
Paperback
Condition: New
€ 165.98
€ 165.98
Paperback / so. Num Pages: colour illustrations, bibliography. BIC Classification: JFSP31; MBN; MJX; PS; VFJG. Category: (G) General (US: Trade). Dimension: 234 x 156 x 4. Weight in Grams: 132.
- Format
- Paperback
- Publication date
- 1920
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642981975
- ISBN
- 9783642981975
Paperback
Condition: New
€ 67.37
€ 67.37
Paperback / so. Illustrator(s): Maas, W; Konradi, W. Series: VDI-Buch / VDI-Karriere. Num Pages: 144 pages, black & white illustrations, bibliography. BIC Classification: KCCD; KJM; KJS; PD; TBC. Category: (G) General (US: Trade). Dimension: 203 x 133 x 8. Weight in Grams: 168.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783642625114
- ISBN
- 9783642625114
Paperback
Condition: New
€ 57.01
€ 57.01
Paperback. Series: Umwelt Und Okonomie. Num Pages: 180 pages, 1. BIC Classification: KCN; TQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 9. Weight in Grams: 262.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Physica-Verlag GmbH & Co Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783790801989
- ISBN
- 9783790801989
Paperback
Condition: New
€ 91.17
€ 91.17
Hardback. In dem Handbuch werden logistische Fragen des Guterverkehrs umfassend und systematisch dargestellt. Dazu zahlen neue Entwicklungstrends im Verkehr, Logistiksysteme der verschiedenen Branchen sowie Qualitatsmanagement und Ergonomie fur die Betriebsorganisation." Editor(s): Clausen, Uwe; Geiger, Christiane. Series: VDI-Buch. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: KJMV5; TBC; TRC. Category: (G) General (US: Trade). Dimension: 244 x 170 x 30. Weight in Grams: 907.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783540342984
- ISBN
- 9783540342984
Hardback
Condition: New
€ 156.60
€ 156.60