Science & Technology
Results 111001 - 111024 of 114481
Science & Technology
Paperback / so. Num Pages: 148 pages, black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Weight in Grams: 288.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 148
- Condition
- New
- SKU
- V9783531031019
- ISBN
- 9783531031019
Paperback
Condition: New
€ 68.55
€ 68.55
Paperback / so. Series: Forschungsberichte Des Landes Nordrhein-Westfalen. Num Pages: 58 pages, black & white illustrations, bibliography. BIC Classification: GB; PD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 3. Weight in Grams: 130.
- Format
- Paperback
- Publication date
- 1964
- Publisher
- VS Verlag f?r Sozialwissenschaften United Kingdom
- Number of pages
- 58
- Condition
- New
- SKU
- V9783663066071
- ISBN
- 9783663066071
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback / so. Series: Forschungsberichte Des Landes Nordrhein-Westfalen. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 244 x 170 x 3. Weight in Grams: 104.
- Format
- Paperback
- Publication date
- 1970
- Publisher
- VS Verlag f?r Sozialwissenschaften United Kingdom
- Condition
- New
- SKU
- V9783663030454
- ISBN
- 9783663030454
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback / so. Series: VDI-Buch. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV5; TB. Category: (G) General (US: Trade). Dimension: 234 x 156 x 7. Weight in Grams: 195.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642232541
- ISBN
- 9783642232541
Paperback
Condition: New
€ 53.37
€ 53.37
Paperback / so. Series: Rheinisch-Westfalische Akademie Der Wissenschaften. Num Pages: 156 pages, black & white illustrations, bibliography. BIC Classification: GB; PD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 9. Weight in Grams: 263.
- Format
- Paperback
- Publication date
- 1974
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783531082363
- ISBN
- 9783531082363
Paperback
Condition: New
€ 68.43
€ 68.43
Paperback / so. Editor(s): Bargmann, W; Peters, D; Wolpers, C. Num Pages: black & white illustrations, bibliography. BIC Classification: MB; PS. Category: (G) General (US: Trade). Dimension: 279 x 216 x 34. Weight in Grams: 1497.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662220597
- ISBN
- 9783662220597
Paperback
Condition: New
€ 102.76
€ 102.76
Verhandlungen Der Gesellschaft Deutscher Naturforscher Und Arzte
Gesellschaft Deutscher Naturforscher Und Arzt...
Paperback / so. Series: Verhandlungen Der Gesellschaft Deutscher Naturforscher Und A. Num Pages: 146 pages, black & white illustrations, bibliography. BIC Classification: MB; PS. Category: (G) General (US: Trade). Dimension: 297 x 210 x 8. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783662013472
- ISBN
- 9783662013472
Paperback
Condition: New
€ 84.78
€ 84.78
Verhandlungen Der Gesellschaft Deutscher Naturforscher Und Arzte
Gesellschaft Deutscher Naturforscher Und Arzt...
Paperback / so. Num Pages: 199 pages, black & white illustrations, bibliography. BIC Classification: MBX; PS. Category: (G) General (US: Trade). Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 1965
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 199
- Condition
- New
- SKU
- V9783662228272
- ISBN
- 9783662228272
Paperback
Condition: New
€ 68.60
€ 68.60
Verhandlungen Der Gesellschaft Deutscher Naturforscher Und Arzte
Gesellschaft Deutscher Naturforscher Und Arzt...
Paperback / so. Series: Verhandlungen Der Gesellschaft Deutscher Naturforscher Und A. Num Pages: black & white illustrations, bibliography. BIC Classification: MB; PS. Category: (G) General (US: Trade). Dimension: 279 x 210 x 11. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 1979
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662349625
- ISBN
- 9783662349625
Paperback
Condition: New
€ 69.28
€ 69.28
Verhandlungen Der Gesellschaft Deutscher Naturforscher Und Arzte
Gesellschaft Deutscher Naturforscher Und Arzt...
Paperback / so. Series: Verhandlungen Der Gesellschaft Deutscher Naturforscher Und A. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: MB; PS. Category: (G) General (US: Trade). Dimension: 279 x 210 x 16. Weight in Grams: 671.
- Format
- Paperback
- Publication date
- 1981
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662370834
- ISBN
- 9783662370834
Paperback
Condition: New
€ 71.01
€ 71.01
Verhandlungen der Gesellschaft für Ökologie Wien 1975: 5. Jahresvers...
Wieser, Wolfgang; Kaiser, H.; Dokulil, M.; Sc...
paperback. Num Pages: 299 pages, 200 black & white illustrations, biography. BIC Classification: PSAF. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 16. Weight in Grams: 447.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 1976th Edition
- Number of pages
- 299
- Condition
- New
- SKU
- V9789401571708
- ISBN
- 9789401571708
Paperback
Condition: New
€ 121.76
€ 121.76
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: 109.
- Format
- Paperback
- Publication date
- 1891
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783662334140
- ISBN
- 9783662334140
Paperback
Condition: New
€ 67.15
€ 67.15
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