.png){kind=logo}
Systems analysis & design
Results 141 - 160 of 744
Systems analysis & design
Privately and Publicly Verifiable Computing Techniques
Demirel, Denise; Schabhuser, Lucas; Buchmann,...
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 62 pages, biography. BIC Classification: PBD; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 62
- Condition
- New
- SKU
- V9783319537979
- ISBN
- 9783319537979
Paperback
Condition: New
€ 72.53
€ 72.53
paperback. Editor(s): Knopp, Jens; Karl, Wolfgang; Schulz, Martin; Koji, Inoue; Pionteck, Thilo. Series: Lecture Notes in Computer Science. Num Pages: 262 pages, 100 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNH; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 262
- Condition
- New
- SKU
- V9783319549989
- ISBN
- 9783319549989
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9783540209423
- ISBN
- 9783540209423
Paperback
Condition: New
€ 48.34
€ 48.34
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
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
Paperback. Num Pages: 275 pages, black & white illustrations. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642080029
- ISBN
- 9783642080029
Paperback
Condition: New
€ 72.46
€ 72.46
Hardcover. This expanded second edition of Analyzing Computer System Performance with Perl::PDQ, builds on the success of the first edition. It contains new chapters on queues, tools and virtualization, and new Perl listing format to aid readability of PDQ models. Num Pages: 474 pages, biography. BIC Classification: UMZ; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 913.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2nd ed. 2011
- Condition
- New
- SKU
- V9783642225826
- ISBN
- 9783642225826
Hardback
Condition: New
€ 70.00
€ 70.00
Hardcover. Bridging theory and practice, this book offers model based control design techniques and methods for verifying design robustness. Emphasizes sound design practices and systematic software development processes according to the generic standard IEC61508. Num Pages: 264 pages, biography. BIC Classification: UKM; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 21. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9783642285943
- ISBN
- 9783642285943
Hardback
Condition: New
€ 183.83
€ 183.83
Hardcover. With its instructions on optimizing system parameters, data management, applications, and business processes, this guide identifies the economies provided in each sector as it details the background theory and the proposed methodology for enhancing efficiency. Num Pages: 165 pages, 25 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 243 x 157 x 19. Weight in Grams: 408.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 200
- Condition
- New
- SKU
- V9783642299704
- ISBN
- 9783642299704
Hardback
Condition: New
€ 66.76
€ 66.76
Hardcover. This introduction to community detection in networks examines the overlapping and hierarchical community structure, the correlation between community structure and the dynamics on networks, and the exploration of structural regularities. Series: Springer Theses. Num Pages: 131 pages, 4 black & white tables, biography. BIC Classification: UNF; UYD. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 16. Weight in Grams: 374.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 134
- Condition
- New
- SKU
- V9783642318207
- ISBN
- 9783642318207
Hardback
Condition: New
€ 127.42
€ 127.42
Paperback / so. Num Pages: 296 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: THR; TJFM1; UB; UF; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 244 x 170 x 16. Weight in Grams: 549.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Spektrum Akademischer Verlag United States
- Number of pages
- 296
- Condition
- New
- SKU
- V9783827416902
- ISBN
- 9783827416902
Paperback
Condition: New
€ 56.54
€ 56.54
Hardback. Editor(s): Carstensen, Kai-Uwe; Ebert, Christian; Ebert, Cornelia; Jekat, Susanne; Klabunde, Ralf; Langer, Hagen. Num Pages: 736 pages, black & white illustrations, black & white tables, figures, bibliography. BIC Classification: CF; UB; UYD; UYQE; UYQL. Category: (G) General (US: Trade). Dimension: 246 x 173 x 46. Weight in Grams: 1406.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer United States
- Edition
- 3
- Number of pages
- 736
- Condition
- New
- SKU
- V9783827420237
- ISBN
- 9783827420237
Hardback
Condition: New
€ 100.96
€ 100.96
Paperback / so. Series: Computational Intelligence. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: TJK; UYD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783834800039
- ISBN
- 9783834800039
Paperback
Condition: New
€ 55.91
€ 55.91
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: GPF; UYD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 16. Weight in Grams: 490.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Vieweg+teubner Verlag United States
- Edition
- 4
- Condition
- New
- SKU
- V9783834806475
- ISBN
- 9783834806475
Paperback
Condition: New
€ 50.81
€ 50.81
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
Paperback / so. Mit einem Geleitwort von Prof. Dr. Heidi Kromker, Prof. Dr. Paul Klimsa" Series: Schriften Zur Medienproduktion. Num Pages: 154 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: THR; UYD. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 154
- Condition
- New
- SKU
- V9783834813305
- ISBN
- 9783834813305
Paperback
Condition: New
€ 77.18
€ 77.18
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 / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UK; UT; UYD. Category: (G) General (US: Trade). Dimension: 244 x 170 x 23. Weight in Grams: 721.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 4
- Condition
- New
- SKU
- V9783834815125
- ISBN
- 9783834815125
Paperback
Condition: New
€ 75.11
€ 75.11
Paperback. Series: Aktuelle Forschung Medizintechnik - Latest Research in Medical Engineering. Num Pages: 158 pages, 20 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 10. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 158
- Condition
- New
- SKU
- V9783834817433
- ISBN
- 9783834817433
Paperback
Condition: New
€ 65.50
€ 65.50
Hardback. This is a unique programming guide for the Cell Broadband Engine. It demonstrates a large number of real-life programs to identify and solve problems in a broad range of subjects. There are numerous diagrams, mnemonics, tables, and charts. Num Pages: 485 pages, 20 black & white illustrations, biography. BIC Classification: PBF; PBW; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 35. Weight in Grams: 902.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 485
- Condition
- New
- SKU
- V9781441903075
- ISBN
- 9781441903075
Hardback
Condition: New
€ 204.23
€ 204.23