.png){kind=logo}
Computer programming / software development
Results 5209 - 5232 of 8429
Computer programming / software development
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
€ 202.06
€ 202.06
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
€ 133.25
€ 133.25
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
€ 65.52
€ 65.52
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
€ 138.08
€ 138.08
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
€ 133.53
€ 133.53
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
€ 258.47
€ 258.47
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
€ 203.12
€ 203.12
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
€ 72.42
€ 72.42
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
€ 197.25
€ 197.25
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
€ 71.59
€ 71.59
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
€ 202.40
€ 202.40
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
€ 61.43
€ 61.43
Paperback. Computing is quickly making much of geometry intriguing. What is the core set of topics that a practitioner needs to study before embarking on the design and implementation of a geometric system in a specialized discipline? This book attempts to find the answer. Num Pages: 340 pages, biography. BIC Classification: PBMS; UMZ. Category: (UU) Undergraduate. Dimension: 254 x 203 x 20. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st Edition. 2nd Printing.
- Number of pages
- 340
- Condition
- New
- SKU
- V9781848001145
- ISBN
- 9781848001145
Paperback
Condition: New
€ 85.69
€ 85.69
Paperback. This book teaches readers how to better reason about software development. It teaches how to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic. Num Pages: 314 pages, biography. BIC Classification: PBCD; UMZ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 314
- Condition
- New
- SKU
- V9781848000810
- ISBN
- 9781848000810
Paperback
Condition: New
€ 72.82
€ 72.82
Hardback. Gathers chapters that focuses on the practical knowledge necessary for conducting, reporting and using empirical methods in software engineering. This book includes topics and features such as guidance on how to design, conduct and report empirical studies. It provides information across a range of techniques. 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; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 167 x 29. Weight in Grams: 726.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 388
- Condition
- New
- SKU
- V9781848000438
- ISBN
- 9781848000438
Hardback
Condition: New
€ 213.06
€ 213.06
Hardback. 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. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 384.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 222
- Condition
- New
- SKU
- V9781848000186
- ISBN
- 9781848000186
Hardback
Condition: New
€ 66.95
€ 66.95
Hardback. 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: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 302
- Condition
- New
- SKU
- V9781848000162
- ISBN
- 9781848000162
Hardback
Condition: New
€ 200.26
€ 200.26
Hardback. Presents the approaches for obtaining a correct and complete Web software product from conceptual schemas, represented via well-known design notations. This volume describes mature and consolidated approaches to developing complex applications. It is suitable for researchers, students, software engineers, software architects and business analysts. Editor(s): Rossi, G.; Pastor, Oscar; Schwabe, Dietrich; Olsina, L. Series: Human-Computer Interaction Series. Num Pages: 474 pages, 23 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 474
- Condition
- New
- SKU
- V9781846289224
- ISBN
- 9781846289224
Hardback
Condition: New
€ 203.33
€ 203.33
Paperback. This book jumps directly to the "good stuff," allowing readers to quickly start writing real applications using JSP, JavaBeans, Annotations, JSTL, Java 1.5, Hibernate, Apache Velocity and Tomcat Written for novice developers, it provides an introductory course in web development. Num Pages: 288 pages, 93 black & white illustrations, 22 black & white tables, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 235 x 159 x 16. Weight in Grams: 446.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 288
- Condition
- New
- SKU
- V9781846288623
- ISBN
- 9781846288623
Paperback
Condition: New
€ 75.75
€ 75.75
Hardback. Suitable for network professionals and postgraduates studying network performance, this book provides analytical tools and uses J as a means of providing a practical treatment of Network Calculus. It builds a bridge between mathematics theory and the practical use of computers in the field of network performance analysis. Num Pages: 216 pages, 3 black & white tables, biography. BIC Classification: UMX; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 216
- Condition
- New
- SKU
- V9781846288227
- ISBN
- 9781846288227
Hardback
Condition: New
€ 132.10
€ 132.10
Hardback. This updated third edition is a thorough introduction to all aspects of business transformation and analysis. With additional chapters, and brand new case studies it is a valuable resource for all information systems students, as well as professionals. Num Pages: 418 pages, 249 black & white illustrations, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 3rd ed. 2008
- Number of pages
- 418
- Condition
- New
- SKU
- V9781846286544
- ISBN
- 9781846286544
Hardback
Condition: New
€ 69.27
€ 69.27
The FORTRAN 2003 Handbook. The Complete Syntax, Features and Procedure...
Adams, Jeanne C.; Brainerd, Walter S.; Hendri...
Hardback. This highly versatile handbook is a definitive and comprehensive guide to Fortran 2003 and its use. The book is intended for anyone who wants a comprehensive survey of Fortran 2003. All authors have been heavily involved in the development of Fortran standards. Num Pages: 713 pages, 65 black & white tables, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 242 x 186 x 39. Weight in Grams: 1344.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 713
- Condition
- New
- SKU
- V9781846283789
- ISBN
- 9781846283789
Hardback
Condition: New
€ 288.82
€ 288.82
Hardback. Presents a comprehensive introduction to various mathematical approaches to achieving high-quality software. This book considers such mathematical approaches as: Z specification language; Vienna Development Methods (VDM); Cleanroom approach developed at IBM software reliability; and, unified modelling language (UML). Num Pages: 232 pages, 52 black & white illustrations, 78 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 232
- Condition
- New
- SKU
- V9781846282423
- ISBN
- 9781846282423
Hardback
Condition: New
€ 128.36
€ 128.36
Paperback. Provides an overview of the work in dependable computer-based systems. Topics include fault tolerance, evolution, software development, HCI, architecture certification, dependability arguments, organisations diagrams, time and procedures. This book is useful for system developers, stakeholders, decision makers, policymakers and academics. Num Pages: 306 pages, 50 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 140 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 306
- Condition
- New
- SKU
- V9781846281105
- ISBN
- 9781846281105
Paperback
Condition: New
€ 131.49
€ 131.49