.png){kind=logo}
Computer science
Results 1729 - 1752 of 16593
Computer science
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. 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
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
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. 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
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
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 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
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
Mixed media pr. 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: TBC; TRC; UGC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 754.
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 383
- Condition
- New
- SKU
- V9783642031342
- ISBN
- 9783642031342
Paperback
Condition: New
€ 197.20
€ 197.20
Paperback / so. Editor(s): Steusloff, Hartwig; Batz, Thomas. Num Pages: 421 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; TBC; TJFM1; UF; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 621.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 421
- Condition
- New
- SKU
- V9783540531845
- ISBN
- 9783540531845
Paperback
Condition: New
€ 85.03
€ 85.03
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UG; UYQV. Category: (G) General (US: Trade). Dimension: 244 x 170 x 4. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783531030913
- ISBN
- 9783531030913
Paperback
Condition: New
€ 70.61
€ 70.61
Hardback. Embedded systems are usually composed of several interacting components such as custom or application specific processors, ASICs, memory blocks, and the associated communication infrastructure. This book addresses two active research areas of design automation: high-level synthesis and system-level synthesis. Num Pages: 370 pages, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 370
- Condition
- New
- SKU
- V9780792380825
- ISBN
- 9780792380825
Hardback
Condition: New
€ 201.58
€ 201.58
System Specification and Design Languages: Selected Contributions from...
. Ed(S): Kazmierski, Tom J.; Morawiec, Adam
paperback. Editor(s): Kazmierski, Tom J.; Morawiec, Adam. Series: Lecture Notes in Electrical Engineering. Num Pages: 268 pages, 17 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2012th Edition
- Number of pages
- 268
- Condition
- New
- SKU
- V9781489994417
- ISBN
- 9781489994417
Paperback
Condition: New
€ 194.05
€ 194.05
System Specification and Design Languages: Selected Contributions from...
. Ed(S): Kazmierski, Tom J.; Morawiec, Adam
hardcover. Brings together a selection of papers from the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. This title covers the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, and more. Editor(s): Kazmierski, Tom J.; Morawiec, Adam. Series: Lecture Notes in Electrical Engineering. Num Pages: 268 pages, 17 black & white tables, biography. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer United States
- Edition
- 2012th Edition
- Number of pages
- 268
- Condition
- New
- SKU
- V9781461414261
- ISBN
- 9781461414261
Hardback
Condition: New
€ 194.82
€ 194.82
hardcover. Part of the "CHDL Series", this work features a selection of the best papers presented in FDL'02. It contains papers from the Specification Formalisms for Proven design workshop that present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B. Editor(s): Villar, Eugenio; Mermet, Jean. Series: CHDL. Num Pages: 340 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 340
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402074141
- ISBN
- 9781402074141
Hardback
Condition: New
€ 200.93
€ 200.93
System Simulation and Scientific Computing, Part II: International Con...
. Ed(S): Xiao, Tianyuan; Zhang, Lin; Ma, Shiw...
paperback. Constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. Editor(s): Xiao, Tianyuan; Zhang, Lin; Ma, Shiwei. Series: Communications in Computer and Information Science. Num Pages: 468 pages, 234 black & white illustrations, biography. BIC Classification: UGK; UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 654.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642343957
- ISBN
- 9783642343957
Paperback
Condition: New
€ 68.66
€ 68.66
Paperback. Constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. Editor(s): Xiao, Tianyuan; Zhang, Lin; Ma, Shiwei. Series: Communications in Computer and Information Science. Num Pages: 484 pages, 315 black & white illustrations, biography. BIC Classification: UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642343803
- ISBN
- 9783642343803
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. This work covers two distinct areas: performance tuning, or the art of increasing performance for a specific application, and capacity planning, or deciding what hardware best fulfils a given role. This book focuses on the operating system, the underlying hardware, and their interactions. Num Pages: 352 pages, black & white illustrations. BIC Classification: UL; UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 178 x 18. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- O´Reilly Media United States
- Edition
- 2nd
- Number of pages
- 352
- Condition
- New
- SKU
- V9780596002848
- ISBN
- 9780596002848
Paperback
Condition: New
€ 48.99€ 46.14
€ 48.99
€ 46.14
Paperback. Editor(s): Powell, M. J. D.; Scholtes, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 356 pages, biography. BIC Classification: GPFC; PBKQ; PBU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 356
- Condition
- New
- SKU
- V9781475766738
- ISBN
- 9781475766738
Paperback
Condition: New
€ 194.77
€ 194.77
Paperback. Editor(s): Sachs, E.W. (Universitat Trier, Germany); Tichatschke, Rainer. Series: IFIP Advances in Information and Communication Technology. Num Pages: 338 pages, biography. BIC Classification: GPFC; PBKQ; PBU; PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 338
- Condition
- New
- SKU
- V9781475766691
- ISBN
- 9781475766691
Paperback
Condition: New
€ 128.24
€ 128.24
Paperback. Editor(s): Szymkat, Maciej; Korytowski, Adam; Malanowski, Kazimierz; Mitkowski, Wojciech. Series: IFIP Advances in Information and Communication Technology. Num Pages: 516 pages, 128 black & white illustrations, biography. BIC Classification: PBD; PSA; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 516
- Condition
- New
- SKU
- V9783642260933
- ISBN
- 9783642260933
Paperback
Condition: New
€ 251.53
€ 251.53
Hardback. Editor(s): Szymkat, Maciej. Series: IFIP Advances in Information and Communication Technology. Num Pages: 516 pages, 128 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 937.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 516
- Condition
- New
- SKU
- V9783642048012
- ISBN
- 9783642048012
Hardback
Condition: New
€ 252.56
€ 252.56
Paperback. Proceedings of the NATO Advanced Study Institute on System Level Sythesis for Electronic Design, held in Il Ciocco, Lucca, Italy, 11-12 August 1998 Editor(s): Jerraya, Ahmed Amine; Mermet, Jean. Series: NATO Science Series E:. Num Pages: 443 pages, biography. BIC Classification: TJFM; UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 443
- Condition
- New
- SKU
- V9780792357490
- ISBN
- 9780792357490
Paperback
Condition: New
€ 133.85
€ 133.85