.png){kind=logo}
Computer science
Results 14857 - 14880 of 16593
Computer science
System-Ergonomic Design of Cognitive Automation: Dual-Mode Cognitive D...
Onken, Reiner, Schulte, Axel
Paperback. This timely book comes amid rapid advances in the field. It gives system designers more guidelines about designing work systems and associated machines effectively, and in particular those related to guidance and control of manned and unmanned vehicles. Series: Studies in Computational Intelligence. Num Pages: 383 pages, 78 black & white illustrations, 73 colour illustrations, 15 black & white tables, 1 colou. BIC Classification: TBJ; TRC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2010th Edition
- Condition
- New
- SKU
- V9783642262548
- ISBN
- 9783642262548
Paperback
Condition: New
€ 196.41
€ 196.41
System-Level Test and Validation of Hardware Software Systems
. Ed(S): Recorda, Matteo Sonza; Peng, Zebo; V...
Hardback. New manufacturing technologies have made possible the integration of entire systems on a single chip. This monograph provides an overview of the validation and test techniques by covering various aspects of the subject including: modeling of bugs and defects; stimulus generation for validation and test purposes; and design for testability. Editor(s): Recorda, Matteo Sonza; Peng, Zebo; Violante, Massimo. Series: Springer Series in Advanced Microelectronics. Num Pages: 191 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 990.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 191
- Condition
- New
- SKU
- V9781852338992
- ISBN
- 9781852338992
Hardback
Condition: New
€ 131.34
€ 131.34
Paperback. This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. It helps reader avoid time-consuming and error-prone validation methodologies. Num Pages: 272 pages, 39 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9781489986290
- ISBN
- 9781489986290
Paperback
Condition: New
€ 138.39
€ 138.39
System-Level Validation: High-Level Modeling and Directed Test Generat...
Chen, Mingsong, Qin, Xiaoke, Koo, Heon-Mo, Mi...
Hardcover. This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. It helps reader avoid time-consuming and error-prone validation methodologies. Num Pages: 272 pages, 39 black & white tables, biography. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 160 x 244 x 20. Weight in Grams: 546.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer United States
- Edition
- 2013th Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9781461413585
- ISBN
- 9781461413585
Hardback
Condition: New
€ 128.03
€ 128.03
Hardback. Covers verification strategies and methodologies for SOC verification from system level verification to the design sign-off. This book contains topics including: Introduction to the SOC design and verification aspects; System level verification in brief; Block level verification; Analog/mixed signal simulation; and Simulation. Num Pages: 372 pages, 22 black & white illustrations, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 164 x 29. Weight in Grams: 796.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 372
- Condition
- New
- SKU
- V9780792372790
- ISBN
- 9780792372790
Hardback
Condition: New
€ 196.72
€ 196.72
Hardback. Proposes a systematic framework for measuring emergence and a systematic design method to locate computationally meaningful genes in a reasonable computing time. This title includes programs and application examples so that the reader may easily understand the new concepts and develop her own specific experiments. Series: Studies in Computational Intelligence. Num Pages: 166 pages, 80 black & white illustrations, 10 black & white tables, biography. BIC Classification: UYQN. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 166
- Condition
- New
- SKU
- V9783540768005
- ISBN
- 9783540768005
Hardback
Condition: New
€ 127.78
€ 127.78
Hardback. Introduces a design methodology that can help to bridge the productivity gap. This title identifies two different types of designs, depending on the design challenge: commodity IP and star IP. Each category requires a different approach to boost design productivity. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 194 pages, biography. BIC Classification: TBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 194
- Condition
- New
- SKU
- V9781402074714
- ISBN
- 9781402074714
Hardback
Condition: New
€ 131.61
€ 131.61
Paperback. Num Pages: 352 pages, biography. BIC Classification: KJQ; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 556.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 352
- Condition
- New
- SKU
- V9783642779732
- ISBN
- 9783642779732
Paperback
Condition: New
€ 139.47
€ 139.47
Paperback. Based on papers accepted for presentation at the 1996 Workshop on Systematic Reuse: Issues in Initiating and Improving a Reuse Program, Liverpool, UK, this volume provides a comprehensive introduction to the effective management of software reuse. Editor(s): Sarshar, Marjan. Series: BCS Software Reuse Specialist Group. Num Pages: 117 pages, 9 black & white illustrations, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 194.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 117
- Condition
- New
- SKU
- V9783540760122
- ISBN
- 9783540760122
Paperback
Condition: New
€ 126.22
€ 126.22
Paperback. This book describes how engineers can make optimum use of the two industry standard analysis/design tools, SystemC and SystemC-AMS, to analyze/understand a given electronic system and explore the design space. Num Pages: 469 pages, 193 black & white illustrations, 31 colour illustrations, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 469
- Condition
- New
- SKU
- V9783319343594
- ISBN
- 9783319343594
Paperback
Condition: New
€ 153.22
€ 153.22
Hardback. SystemC and SystemC-AMS in Practice Num Pages: 469 pages, 193 black & white illustrations, 31 colour illustrations, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 865.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 469
- Condition
- New
- SKU
- V9783319011462
- ISBN
- 9783319011462
Hardback
Condition: New
€ 129.83
€ 129.83
Hardcover. SystemC provides a robust set of extensions to C++ that enables rapid development of complex hardware/software systems. This book focuses on the practical uses of the language for modeling real systems. It features examples and downloadable code methodically that guide the reader through the finer points of the SystemC language. Num Pages: 279 pages, 20 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 238 x 178 x 23. Weight in Grams: 600.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer
- Edition
- 2nd
- Condition
- New
- SKU
- V9780387699578
- ISBN
- 9780387699578
Hardback
Condition: New
€ 199.83
€ 199.83
Paperback. Series: Springer Compass International. Num Pages: black & white illustrations, bibliography. BIC Classification: UKN; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 8. Weight in Grams: 236.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1985
- Condition
- New
- SKU
- V9783642954580
- ISBN
- 9783642954580
Paperback
Condition: New
€ 49.04
€ 49.04
Paperback / so. Mit einem Geleitwort von Prof. Dr. Heidi Kromker, Prof. Dr. Paul Klimsa" Series: Schriften Zur Medienproduktion. Num Pages: 308 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: THR; UYD. Category: (G) General (US: Trade). Dimension: 210 x 148 x 18. Weight in Grams: 395.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783834813299
- ISBN
- 9783834813299
Paperback
Condition: New
€ 89.19
€ 89.19
Hardcover. Emphasizes the application of systems concepts and methodologies that have been developed at Lancaster University. This book describes problem solving and the relationship between theory and practice. It shows how systems ideas can be used to cope with real-life problems. Num Pages: 410 pages, 124 line drawings, 16 tables, index. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 238 x 162 x 29. Weight in Grams: 748.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780471927167
- ISBN
- 9780471927167
Hardback
Condition: New
€ 78.27
€ 78.27
Paperback. The 6th Edition of Systems Analysis and Design continues to offer a hands-on approach to SAD while focusing on the core set of skills that all analysts must possess. Num Pages: 448 pages. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 254 x 203 x 14. Weight in Grams: 728.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2014
- Edition
- 6th Edition
- Condition
- New
- SKU
- V9781118897843
- ISBN
- 9781118897843
Paperback
Condition: New
€ 202.44
€ 202.44
Hardback. Reflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important principles of systems analysis, systems design, project management, and new software development approaches. It teaches both traditional (structured) and object-oriented (OO) approaches to systems analysis and design. Num Pages: 512 pages. BIC Classification: UYD. Category: (U) Tertiary Education (US: College). Dimension: 286 x 224 x 24. Weight in Grams: 1278.
- Publisher
- Cengage Learning, Inc
- Format
- Hardback
- Publication date
- 2015
- Edition
- 7th Edition
- Condition
- New
- SKU
- V9781305117204
- ISBN
- 9781305117204
Hardback
Condition: New
€ 114.16
€ 114.16
Paperback. Proceedings of the International Symposium held in Berlin, September 12-16, 1988 Series: Advances in Simulation. Num Pages: 428 pages, biography. BIC Classification: UYD. Category: (G) General (US: Trade); (UP) Postgraduate. Dimension: 244 x 170 x 22. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 428
- Condition
- New
- SKU
- V9780387970912
- ISBN
- 9780387970912
Paperback
Condition: New
€ 130.22
€ 130.22
Paperback. Illustrates how engineering problems can be solved using the results of combinatorial mathematics through mathematical modelling. It covers the structural solvability of a system of linear or nonlinear equations as well as the structural controllability of a linear time-invariant system. Series: Algorithms and Combinatorics. Num Pages: 294 pages, biography. BIC Classification: PBK; PBW; UGK; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 15. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783540176596
- ISBN
- 9783540176596
Paperback
Condition: New
€ 128.45
€ 128.45
Hardback. Proceedings of the Eighth Symposium, held September 20-27, 2000, Snowmass Village, Colorado, USA Editor(s): Arthaud, Greg J. (USDA Forest Service, Washington Office, USA); Barrett, Tara M. (Forest Inventory and Analysis, Pacific Northwest Research Station, USDA Forest Service, USA). Series: Managing Forest Ecosystems. Num Pages: 338 pages, biography. BIC Classification: RNF; TVR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 682.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- SKU
- V9781402012563
- ISBN
- 9781402012563
Hardback
Condition: New
€ 195.64
€ 195.64
Paperback. Editor(s): Mahlow, Cerstin; Piotrowski, Michael. Series: Communications in Computer and Information Science. Num Pages: 198 pages, 23 colour illustrations, biography. BIC Classification: UGC; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 198
- Condition
- New
- SKU
- V9783319239781
- ISBN
- 9783319239781
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Organized in four parts, this book guides the reader through the various aspects and dimensions of software variability, covering research and commercial tools, case studies and emerging research topics including service-oriended and dynamic software lines. Editor(s): Capilla, Rafael; Bosch, Jan; Kang, Kyo-Chul. Num Pages: 317 pages, biography. BIC Classification: UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642441967
- ISBN
- 9783642441967
Paperback
Condition: New
€ 126.78
€ 126.78
Paperback. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 190
- Condition
- New
- SKU
- V9783642074783
- ISBN
- 9783642074783
Paperback
Condition: New
€ 183.08
€ 183.08
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 186.93
€ 186.93