Computer science
Results 15025 - 15048 of 16775
Computer science
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
€ 133.12
€ 133.12
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
€ 120.30
€ 120.30
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
€ 146.73
€ 146.73
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
€ 124.34
€ 124.34
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
€ 191.31
€ 191.31
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
€ 46.91
€ 46.91
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
€ 84.93
€ 84.93
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
€ 77.77
€ 77.77
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
€ 112.96
€ 112.96
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
€ 124.71
€ 124.71
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
€ 122.23
€ 122.23
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
€ 186.69
€ 186.69
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
€ 64.18
€ 64.18
Paperback. Constitutes the refereed proceedings of the Second International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2011, held in Zurich, Switzerland in August 2011. Editor(s): Mahlow, Cerstin; Piotrowski, Michael. Series: Communications in Computer and Information Science. Num Pages: 142 pages, 16 black & white illustrations, 5 colour illustrations, biography. BIC Classification: CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 142
- Condition
- New
- SKU
- V9783642231377
- ISBN
- 9783642231377
Paperback
Condition: New
€ 63.86
€ 63.86
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
€ 121.04
€ 121.04
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
€ 174.70
€ 174.70
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
€ 178.46
€ 178.46
Hardback. Describes the application of systems thinking across a broad field of cases representing research, teaching, decision support and construction. This presents the broad selection of cases that captures the variation of systems thinking, and how it is integrated into models and theories and solid knowledge pertaining to different substantive areas. Editor(s): Sjostedt, Gunnar; Olsson, Mats-Olov. Num Pages: 340 pages, biography. BIC Classification: GPFC; PD; UY. Category: (G) General (US: Trade). Dimension: 232 x 156 x 20. Weight in Grams: 711.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402023699
- ISBN
- 9781402023699
Hardback
Condition: New
€ 128.13
€ 128.13
Paperback. Biological signaling pathways dynamically interact with one another to form complex information networks intracellularly, intercellularly, and eventually at the level of the organism. This book features contributors from researchers in the field of systems biology. It provides readers with the advances in research in this field. Editor(s): Nakanishi, Shigetada; Kageyama, Ryoichiro; Watanabe, Dai. Num Pages: 261 pages, 4 black & white tables, biography. BIC Classification: PSA; PSC; PSF; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Verlag, Japan Japan
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 261
- Condition
- New
- SKU
- V9784431998587
- ISBN
- 9784431998587
Paperback
Condition: New
€ 237.09
€ 237.09
Hardback. Editor(s): Kadarmideen, Haja N. Num Pages: 167 pages, 6 black & white illustrations, 26 colour illustrations, biography. BIC Classification: MZ; PSVH; TVH; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 415.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 167
- Condition
- New
- SKU
- V9783319433301
- ISBN
- 9783319433301
Hardback
Condition: New
€ 189.31
€ 189.31
Hardback. Editor(s): Lynch, Jane E.; Mitchell, Wilbert I. Num Pages: 182 pages, Illustrations. BIC Classification: TBD; UYD. Category: (P) Professional & Vocational. Dimension: 262 x 181 x 15. Weight in Grams: 520.
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 182
- Format
- Hardback
- Publication date
- 2012
- Condition
- New
- SKU
- V9781620817704
- ISBN
- 9781620817704
Hardback
Condition: New
€ 237.63€ 161.34
€ 237.63
€ 161.34
Paperback. Editor(s): Hopkins, Marlene. Num Pages: 100 pages. BIC Classification: TBC; TTBM; UYD. Category: (G) General (US: Trade). Dimension: 230 x 155. .
- Publisher
- Nova Science Publishers Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634857529
- ISBN
- 9781634857529
Paperback
Condition: New
€ 137.82€ 103.66
€ 137.82
€ 103.66
Paperback. Explores recent advances in the mathematical representation of engineering, socio-technical and socio-economical systems as well as in the optimization of their performance. Editor(s): Sebastian, Hans-Jurgen; Tammer, K. Series: Lecture Notes in Control and Information Sciences. Num Pages: 972 pages, 199 figures, 35 tables. BIC Classification: KJT; UYAM. Category: (P) Professional & Vocational. Dimension: 240. Weight in Grams: 1380.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 972
- Condition
- New
- SKU
- V9783540526599
- ISBN
- 9783540526599
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. The proceedings of the 15th IFIP Conference, held in Zurich in September 1991, are presented in this volume. The contributors discussed optimality and duality, linear programming, control problems, stochastics, computer-aided modelling and design, computational geometry and other issues. Editor(s): Kall, Peter. Series: Lecture Notes in Control and Information Sciences. Num Pages: 992 pages, 62 black & white tables, biography. BIC Classification: PBW; TJFM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 50. Weight in Grams: 1496.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 992
- Condition
- New
- SKU
- V9783540555773
- ISBN
- 9783540555773
Paperback
Condition: New
€ 128.37
€ 128.37