.png){kind=logo}
Computer programming / software development
Results 901 - 920 of 7831
Computer programming / software development
Paperback. Editor(s): Henderson, Peter. Num Pages: 383 pages, biography. BIC Classification: KJMV3; UL; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 598.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 402
- Condition
- New
- SKU
- V9781447110842
- ISBN
- 9781447110842
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Henderson, Peter. Num Pages: 315 pages, biography. BIC Classification: KJMV3; UL; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 19. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 332
- Condition
- New
- SKU
- V9781447111467
- ISBN
- 9781447111467
Paperback
Condition: New
€ 67.29
€ 67.29
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. 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
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. This book assesses the contribution to a business's success that can be made by focusing on quality control in its IT systems and software. It discusses the quality issues arising in a fast-moving software industry where products often have a limited lifespan. Num Pages: 209 pages, 6 black & white illustrations, 102 colour illustrations, 20 black & white tables, biograp. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 209
- Condition
- New
- SKU
- V9783662514047
- ISBN
- 9783662514047
Paperback
Condition: New
€ 125.65
€ 125.65
Paperback. Num Pages: 444 pages, black & white tables, figures. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 252 x 178 x 25. Weight in Grams: 832.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 444
- Condition
- New
- SKU
- V9780738158525
- ISBN
- 9780738158525
Paperback
Condition: New
€ 136.88
€ 136.88
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. Num Pages: 303 pages, 20 black & white tables, biography. BIC Classification: THR; TJFC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 303
- Condition
- New
- SKU
- V9781489982667
- ISBN
- 9781489982667
Paperback
Condition: New
€ 138.94
€ 138.94
Paperback / so. Series: Informatik-Fachberichte. Num Pages: 162 pages, black & white illustrations, bibliography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 162
- Condition
- New
- SKU
- V9783540152200
- ISBN
- 9783540152200
Paperback
Condition: New
€ 71.57
€ 71.57
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
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic...
Ma, Zhe; Marchal, Pol; Scarpazza, Daniele Pao...
Paperback. Num Pages: 264 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 264
- Condition
- New
- SKU
- V9789048176106
- ISBN
- 9789048176106
Paperback
Condition: New
€ 127.78
€ 127.78
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. Series: Fachberichte Simulation. Num Pages: 248 pages, black & white illustrations, bibliography. BIC Classification: PS; TBJ; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540137849
- ISBN
- 9783540137849
Paperback
Condition: New
€ 83.55
€ 83.55
System-on-Chip Architectures and Implementations for Private-Key Data ...
McLoone, Maire; McCanny, John V.
Paperback. Num Pages: 160 pages, biography. BIC Classification: GPJ; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 160
- Condition
- New
- SKU
- V9781461348979
- ISBN
- 9781461348979
Paperback
Condition: New
€ 126.62
€ 126.62
paperback. Num Pages: 372 pages, 22 black & white illustrations. BIC Classification: THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2002nd Edition
- Number of pages
- 372
- Condition
- New
- SKU
- V9781475774689
- ISBN
- 9781475774689
Paperback
Condition: New
€ 206.19
€ 206.19
Paperback. Editor(s): Villar, Eugenio; Mermet, Jean. Num Pages: 340 pages, biography. BIC Classification: TJF; UGC; UK; UM; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 340
- Condition
- New
- SKU
- V9781441953483
- ISBN
- 9781441953483
Paperback
Condition: New
€ 193.53
€ 193.53
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. 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