Computer programming / software development
Results 3049 - 3072 of 8560
Computer programming / software development
Paperback. This book provides an introduction to PHP and server-side programming. It presents readers with a science or engineering background with the information to write their own online science and engineering applications. Num Pages: 153 pages, 5 black & white tables, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 153
- Condition
- New
- SKU
- V9781848002364
- ISBN
- 9781848002364
Paperback
Condition: New
€ 58.98
€ 58.98
Hardback. This book establishes a dialog between the Human-Computer Interaction community and Software Engineering practitioners and researchers on the results and lessons learned associated with applying software development practices in the field of user interface. Editor(s): Seffah, Ahmed; Vanderdonckt, Jean; Desmarais, Michel C. (Ecole Polytechnique de Montreal). Series: Human-Computer Interaction Series. Num Pages: 428 pages, 33 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 31. Weight in Grams: 786.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 428
- Condition
- New
- SKU
- V9781848009066
- ISBN
- 9781848009066
Hardback
Condition: New
€ 192.87
€ 192.87
hardcover. This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included. Num Pages: 234 pages, 62 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 21. Weight in Grams: 510.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2009th Edition
- Number of pages
- 234
- Condition
- New
- SKU
- V9781848822399
- ISBN
- 9781848822399
Hardback
Condition: New
€ 68.60
€ 68.60
Hardcover. This book introduces modern software tools for modeling and simulating life-like phenomena. It offers an overview of major non-profit software packages that are actively developed and supported by experts in artificial life and software design. Editor(s): Komosinski, Maciej; Adamatzky, Andrew. Num Pages: 441 pages, biography. BIC Classification: PS; UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 166 x 34. Weight in Grams: 906.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2nd ed. 2009
- Number of pages
- 464
- Condition
- New
- SKU
- V9781848822849
- ISBN
- 9781848822849
Hardback
Condition: New
€ 188.32
€ 188.32
Paperback. Operating as a practical guide for learning functional programming directly through the diagrams used to define functions, this book describes, and provides access to, a system that gives a level of support akin to that provided in word processing. Num Pages: 395 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 230 x 158 x 24. Weight in Grams: 614.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 395
- Condition
- New
- SKU
- V9781848826175
- ISBN
- 9781848826175
Paperback
Condition: New
€ 69.11
€ 69.11
Hardback. This book probes four types of Web-based support systems (WSS) research: WSS for specific domains, Web-based applications, techniques related to WSS and design, and development of WSS. The aim is to meet the opportunities of WSS, and keep pace with progress. Editor(s): Yao, JingTao. Series: Advanced Information and Knowledge Processing. Num Pages: 462 pages, 160 black & white illustrations, 21 black & white tables, biography. BIC Classification: UMW; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 242 x 166 x 32. Weight in Grams: 836.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 462
- Condition
- New
- SKU
- V9781848826274
- ISBN
- 9781848826274
Hardback
Condition: New
€ 194.41
€ 194.41
Hardback. This book provides a sound theoretical foundation for a disciplined approach to mixed reality engineering. Coverage includes interaction design, software design and implementation. Editor(s): Dubois, Emmanuel; Gray, Philip; Nigay, Laurence. Series: Human-Computer Interaction Series. Num Pages: 464 pages, 170 black & white illustrations, 21 black & white tables, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 162 x 33. Weight in Grams: 796.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 464
- Condition
- New
- SKU
- V9781848827325
- ISBN
- 9781848827325
Hardback
Condition: New
€ 246.19
€ 246.19
Hardback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 273 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 14. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 273
- Condition
- New
- SKU
- V9781848827356
- ISBN
- 9781848827356
Hardback
Condition: New
€ 128.04
€ 128.04
Hardback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 3rd ed. 2009, Corr. 3rd printing 2010
- Number of pages
- 526
- Condition
- New
- SKU
- V9781848827448
- ISBN
- 9781848827448
Hardback
Condition: New
€ 131.61
€ 131.61
Paperback. This is a complete guide to creating object-oriented C++ programs for robots using the Player and Aria APIs within a Linux environment. It is supported throughout with examples, diagrams, sample programs and configuration files. Num Pages: 117 pages, 28 black & white illustrations, 5 colour illustrations, 11 black & white tables, biograph. BIC Classification: TJFM; UMN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 155 x 9. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 117
- Condition
- New
- SKU
- V9781848828636
- ISBN
- 9781848828636
Paperback
Condition: New
€ 62.52
€ 62.52
Hardback. User experience is a key research area in human-computer interaction. This text explores concepts that enhance user experience in games such as fun, flow and immersion. It also shows methods used to evaluate user experience before, during, and after game play. Editor(s): Bernhaupt, Regina. Series: Human-Computer Interaction Series. Num Pages: 286 pages, 27 black & white tables, biography. BIC Classification: UMK; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 166 x 22. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2010
- Number of pages
- 286
- Condition
- New
- SKU
- V9781848829626
- ISBN
- 9781848829626
Hardback
Condition: New
€ 127.00
€ 127.00
Hardback. Speech Dereverberation presents a mathematical formulation of the problem and the state-of-the-art solutions for dereverberation. The text reviews room acoustics and performance measures for dereverberation, as well as current problem-solving approaches. Editor(s): Naylor, Patrick A.; Gaubitch, Nikolay D. Series: Signals and Communication Technology. Num Pages: 388 pages, 126 black & white illustrations, 14 black & white tables, biography. BIC Classification: TTBM; UMB; UYQ; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1650.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 388
- Condition
- New
- SKU
- V9781849960557
- ISBN
- 9781849960557
Hardback
Condition: New
€ 192.50
€ 192.50
Hardback. This text is the first to compile current research findings in the domain of interactive horizontal displays. It integrates and summarizes findings from the most important international tabletop research teams and covers the latest in this research domain. Editor(s): Mueller-Tomfelde, Christian. Series: Human-Computer Interaction Series. Num Pages: 478 pages, 12 black & white tables, 2 colour tables, biography. BIC Classification: UMZ; UT; UYQP; UYZG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 169 x 37. Weight in Grams: 954.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 478
- Condition
- New
- SKU
- V9781849961127
- ISBN
- 9781849961127
Hardback
Condition: New
€ 188.21
€ 188.21
Hardback. Contains the proceedings of the First International Conference on Process Modelling and Process Management (MMEP 2010) held in Cambridge, England, in March 2010. This title includes contributions from an international group of leading researchers in the fields of process modelling and process management. Editor(s): Heisig, Peter; Clarkson, P. John; Vajna, Sandor. Num Pages: 213 pages, biography. BIC Classification: KJMV5; TBD; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 213
- Condition
- New
- SKU
- V9781849961981
- ISBN
- 9781849961981
Hardback
Condition: New
€ 185.32
€ 185.32
Hardback. This unique book provides a fascinating insight into the state-of-the-art in network science. It highlights the commonality across different areas of application and the ways in which each area can be advanced by injecting ideas and techniques from another. Editor(s): Estrada, Ernesto; Fox, Maria; Higham, Desmond J.; Oppo, Gian-Luca. Num Pages: 256 pages, biography. BIC Classification: MBP; PBKB; PHU; TJK; UKN; UMB. Category: (G) General (US: Trade). Dimension: 246 x 183 x 23. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2010
- Number of pages
- 256
- Condition
- New
- SKU
- V9781849963954
- ISBN
- 9781849963954
Hardback
Condition: New
€ 126.65
€ 126.65
Paperback. Num Pages: 232 pages, 52 black & white illustrations, 78 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2006
- Number of pages
- 232
- Condition
- New
- SKU
- V9781849965644
- ISBN
- 9781849965644
Paperback
Condition: New
€ 121.12
€ 121.12
Paperback. Series: Advances in Industrial Control. Num Pages: 302 pages, 29 black & white tables, biography. BIC Classification: TBD; TJFM; TJK; UKN; UKR; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 302
- Condition
- New
- SKU
- V9781849965651
- ISBN
- 9781849965651
Paperback
Condition: New
€ 184.99
€ 184.99
Paperback. Num Pages: 216 pages, 3 black & white tables, biography. BIC Classification: UMX; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 216
- Condition
- New
- SKU
- V9781849966559
- ISBN
- 9781849966559
Paperback
Condition: New
€ 121.80
€ 121.80
Paperback. Editor(s): Burger, Albert; Davidson, Duncan; Baldock, Richard. Series: Computational Biology. Num Pages: 370 pages, 19 black & white tables, biography. BIC Classification: MBF; PSA; UMB; UND. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 370
- Condition
- New
- SKU
- V9781849966665
- ISBN
- 9781849966665
Paperback
Condition: New
€ 185.67
€ 185.67
Paperback. Series: Advanced Information and Knowledge Processing. Num Pages: 304 pages, biography. BIC Classification: PBT; PBW; UMX; UYQL; UYQP; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 304
- Condition
- New
- SKU
- V9781849966948
- ISBN
- 9781849966948
Paperback
Condition: New
€ 74.59
€ 74.59
Paperback. Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages. Num Pages: 302 pages, 119 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 302
- Condition
- New
- SKU
- V9781849967020
- ISBN
- 9781849967020
Paperback
Condition: New
€ 184.39
€ 184.39
Paperback. This book explores where usability techniques and HCD knowledge should be considered in the existing software development lifecycle. It also offers a systematic approach for the adoption, assessment and deployment of usability engineering methods. Num Pages: 222 pages, 39 black & white illustrations, 21 black & white tables, biography. BIC Classification: UMZ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 222
- Condition
- New
- SKU
- V9781849967037
- ISBN
- 9781849967037
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Editor(s): Shull, Forrest; Singer, Janice; Sjoberg, Dag I.K. Num Pages: 388 pages, 31 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 388
- Condition
- New
- SKU
- V9781849967129
- ISBN
- 9781849967129
Paperback
Condition: New
€ 196.07
€ 196.07
Paperback. Written from a multidisciplinary perspective, this book supplies an exhaustive description of NKRL and of the associated knowledge representation principles. It also constitutes an invaluable source of reference for practitioners, researchers and graduates. Series: Advanced Information and Knowledge Processing. Num Pages: 312 pages, 55 black & white illustrations, 56 black & white tables, biography. BIC Classification: UG; UKR; UMB; UND; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 312
- Condition
- New
- SKU
- V9781849967235
- ISBN
- 9781849967235
Paperback
Condition: New
€ 122.09
€ 122.09