.png){kind=logo}
Computer programming / software development
Results 7441 - 7464 of 8431
Computer programming / software development
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. 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
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€ 37.91
€ 48.99
€ 37.91
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
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
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
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
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. 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
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
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic...
Ma, Zheng; Marchal, Pol; Scarpazza, Daniele P...
Hardback. Num Pages: 264 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 264
- Condition
- New
- SKU
- V9781402063282
- ISBN
- 9781402063282
Hardback
Condition: New
€ 133.08
€ 133.08
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. 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 / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen. Series: Iwb Forschungsberichte. Num Pages: 144 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJT; TBC; TD; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783540577942
- ISBN
- 9783540577942
Paperback
Condition: New
€ 70.91
€ 70.91
perfect. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1994. Series: Iwb Forschungsberichte. Num Pages: 176 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJM; KJT; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 11. Weight in Grams: 249.
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 176
- Condition
- New
- SKU
- V9783540589532
- ISBN
- 9783540589532
Paperback
Condition: New
€ 71.31
€ 71.31
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. 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. 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: 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. 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. 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. 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
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. Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008. Proceedings Series: Communications in Computer and Information Science. Num Pages: 135 pages, biography. BIC Classification: UL; UMB; UMZ; UTV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 135
- Condition
- New
- SKU
- V9783540887072
- ISBN
- 9783540887072
Paperback
Condition: New
€ 66.95
€ 66.95