Systems analysis & design
Results 529 - 552 of 743
Systems analysis & design
Paperback. Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control. Series: Communications in Computer and Information Science. Num Pages: 883 pages, biography. BIC Classification: UGK; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1329.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 728
- Condition
- New
- SKU
- V9783540884781
- ISBN
- 9783540884781
Paperback
Condition: New
€ 199.83
€ 199.83
Hardcover. Illustrator(s): Quach, Yen. Num Pages: 184 pages, 66 b&w illus. BIC Classification: UMZ; UYD. Category: (G) General (US: Trade). Dimension: 165 x 142 x 17. Weight in Grams: 254.
- Publisher
- The MIT Press
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780262035187
- ISBN
- 9780262035187
Hardback
Condition: New
€ 26.99€ 22.38
€ 26.99
€ 22.38
Paperback. 5th International GI/ITG/GMA Conference, Nurnberg, September 25-27, 1991. Proceedings Editor(s): Dal Cin, Mario. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 425 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 425
- Condition
- New
- SKU
- V9783540545453
- ISBN
- 9783540545453
Paperback
Condition: New
€ 129.68
€ 129.68
Paperback. A monograph that focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 190 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783540453857
- ISBN
- 9783540453857
Paperback
Condition: New
€ 68.15
€ 68.15
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.66€ 104.77
€ 137.66
€ 104.77
hardcover. This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL '08, the top international conference specializing in this field. Editor(s): Radetzki, Martin. Series: Lecture Notes in Electrical Engineering. Num Pages: 338 pages, biography. BIC Classification: TJFC; UMX; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer United States
- Number of pages
- 338
- Condition
- New
- Edition
- 2009th Edition
- SKU
- V9781402097133
- ISBN
- 9781402097133
Hardback
Condition: New
€ 200.55
€ 200.55
Paperback. This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL '08, the top international conference specializing in this field. Editor(s): Radetzki, Martin. Series: Lecture Notes in Electrical Engineering. Num Pages: 338 pages, biography. BIC Classification: TJFC; UMX; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 338
- Condition
- New
- SKU
- V9789048181919
- ISBN
- 9789048181919
Paperback
Condition: New
€ 194.58
€ 194.58
Hardcover. Fault-tolerant computing is the use of redundant elements in a system's design which allow the system to continue functioning when a component fails. These safety-critical systems are built into transportation systems and network servers, among other items. Num Pages: 552 pages, Ill. BIC Classification: UKR; UT; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 240 x 159 x 35. Weight in Grams: 932.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st
- Number of pages
- 552
- Condition
- New
- SKU
- V9780471293422
- ISBN
- 9780471293422
Hardback
Condition: New
€ 238.82
€ 238.82
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 230 pages, 59 black & white illustrations. BIC Classification: UGK; UKN; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540518730
- ISBN
- 9783540518730
Paperback
Condition: New
€ 83.56
€ 83.56
Hardback. Editor(s): Chetto, Maryline. Num Pages: 282 pages, black & white illustrations. BIC Classification: ULR; UYD. Category: (P) Professional & Vocational. Dimension: 163 x 237 x 20. Weight in Grams: 572.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781848217898
- ISBN
- 9781848217898
Hardback
Condition: New
€ 180.21
€ 180.21
Hardback. Editor(s): Chetto, Maryline. Num Pages: 308 pages, black & white illustrations. BIC Classification: ULR; UYD. Category: (P) Professional & Vocational. Dimension: 241 x 171 x 23. Weight in Grams: 600.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 308
- Condition
- New
- SKU
- V9781848216655
- ISBN
- 9781848216655
Hardback
Condition: New
€ 180.21
€ 180.21
Paperback. With Ganglia, you can monitor the performance of several deployment scenarios - but this tool's strength can also be a weakness if you don't know how all its pieces work together. This book shows you how to configure Ganglia to monitor clusters, grids, or cloud infrastructures at very large scales on the order of thousands of machines. Num Pages: 256 pages, illustrations. BIC Classification: UYD. Category: (XV) Technical / Manuals. Dimension: 232 x 180 x 14. Weight in Grams: 454.
- Publisher
- O´Reilly Media United States
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449329709
- ISBN
- 9781449329709
Paperback
Condition: New
€ 32.99€ 31.81
€ 32.99
€ 31.81
Hardcover. Over the last two decades, text and evaluation (T&E) techniques have evolved in response to the increasing complexity and interdependency of systems. This book gives an in-depth description of operational T&E. It covers the planning requirements of a T&E program, organizing for T&E, executing the test phase, and using test results. Series: Handbook of Measurement Science. Num Pages: 186 pages, Illustrations. BIC Classification: TBC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 255 x 179 x 16. Weight in Grams: 490.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 186
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471967194
- ISBN
- 9780471967194
Hardback
Condition: New
€ 232.44
€ 232.44
Hardcover. Embedded Systems Design for High-Speed Data Acquisition and Control Num Pages: 177 pages, 118 black & white illustrations, 5 colour illustrations, 1 black & white tables, biograph. BIC Classification: TJF; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 164 x 16. Weight in Grams: 412.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319068640
- ISBN
- 9783319068640
Hardback
Condition: New
€ 160.73
€ 160.73
Paperback. Num Pages: 384 pages, 28 black & white illustrations, 7 colour illustrations, biography. BIC Classification: UMW; UNSM; UYD. Category: (P) Professional & Vocational. Dimension: 159 x 241 x 24. Weight in Grams: 632.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319226583
- ISBN
- 9783319226583
Paperback
Condition: New
€ 73.22
€ 73.22
Hardback. Shows how to develop, document, simulate and synthesize a design using the VHDL language. The text includes a number of paper exercises and computer lab experiments. For practical purposes, the work keeps simulator-specific text to a minimum. Num Pages: 311 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 254 x 178 x 20. Weight in Grams: 811.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 311
- Condition
- New
- SKU
- V9780792393870
- ISBN
- 9780792393870
Hardback
Condition: New
€ 130.34
€ 130.34
Hardback. Provides a comprehensive presentation of the research results and technological developments enabling understanding, qualifying and mitigating the soft errors effect in advanced electronics, including the fundamental physical mechanisms of radiation induced soft errors, the various steps that lead to a system failure, and more. Editor(s): Nicolaidis, Michael. Series: Frontiers in Electronic Testing. Num Pages: 336 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 336
- Condition
- New
- SKU
- V9781441969927
- ISBN
- 9781441969927
Hardback
Condition: New
€ 200.50
€ 200.50
Hardcover. Provides answers to your most pressing SOA development questions - How do we start with service modeling? How do we analyze services for better reusability? Who should be involved? And how do we create the best architecture model for our organization? This book provides common language and techniques for business and technology organizations. Num Pages: 384 pages, Illustrations. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 259 x 186 x 31. Weight in Grams: 830.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 384
- Format
- Hardback
- Publication date
- 2008
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470141113
- ISBN
- 9780470141113
Hardback
Condition: New
€ 59.34€ 50.94
€ 59.34
€ 50.94
Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768.
- Publisher
- Cambridge University Press
- Number of pages
- 440
- Format
- Paperback
- Publication date
- 2004
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521543101
- ISBN
- 9780521543101
Paperback
Condition: New
€ 73.22
€ 73.22
Paperback / so. Num Pages: colour illustrations, bibliography. BIC Classification: AKP; TBD; TRC; UYD. Category: (G) General (US: Trade). Dimension: 241 x 168 x 36. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Vieweg+teubner Verlag United States
- Edition
- 3
- Condition
- New
- SKU
- V9783834813763
- ISBN
- 9783834813763
Paperback
Condition: New
€ 110.75
€ 110.75
Paperback. Series: Springer-Lehrbuch. BIC Classification: UYD. Dimension: 235 x 155. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540435488
- ISBN
- 9783540435488
Paperback
Condition: New
€ 51.72
€ 51.72
Hardcover. An accessible introduction to computer systems and architecture Anyone aspiring to more advanced studies in computer-related fields must gain an understanding of the two parallel aspects of the modern digital computer: programming methodology and the underlying machine architecture. Num Pages: 544 pages, Illustrations. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 246 x 199 x 23. Weight in Grams: 900.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 544
- Format
- Hardback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780471733881
- ISBN
- 9780471733881
Hardback
Condition: New
€ 302.53
€ 302.53
Paperback. Series: Computer Communications and Networks. Num Pages: 138 pages, 94 black & white illustrations, 3 black & white tables, biography. BIC Classification: UMZ; UNF; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 138
- Condition
- New
- SKU
- V9783319367583
- ISBN
- 9783319367583
Paperback
Condition: New
€ 78.74
€ 78.74
Hardback. Guide to DataFlow Supercomputing Series: Computer Communications and Networks. Num Pages: 138 pages, 94 black & white illustrations, 3 black & white tables, biography. BIC Classification: UKC; UMZ; UNF; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 380.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 138
- Condition
- New
- SKU
- V9783319162287
- ISBN
- 9783319162287
Hardback
Condition: New
€ 66.42
€ 66.42