Computer programming / software engineering

Mathematica(R): A Problem-Centered Approach introduces the vast array of features and powerful mathematical functions of Mathematica using a multitude of clearly presented examples and worked- out problems.

In the late 1960s British mathematician John Conway invented a virtual mathematical machine that operates on a two-dimensional array of square cell.

The objects displayed on a table can take multiple forms.

Introduced forty years ago, relational databases proved unusually succe- ful and durable.

Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010.

Speech Dereverberation gathers together an overview, a mathematical formulation of the problem and the state-of-the-art solutions for dereverberation.

Service-Oriented Computing (SOC) allows software development time to be shortened by the composition of existing services across the Internet.

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD, and other areas of computer graphics.

Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirements.

Network Science is the emerging field concerned with the study of large, realistic networks.

IT systems explode budget estimates, bust production deadlines by years, and then fail to work properly.

Programming Finite Elements in Java(TM) teaches the reader how to programme the algorithms of the finite element method (FEM) in Java(TM).

This excellent addition to the UTiCS series of undergraduate textbooks provides a detailed and up to date description of the main principles behind the design and implementation of modern programming languages.

William Sims Bainbridge Virtual worlds are persistent online computer-generated environments where people can interact, whether for work or play, in a manner comparable to the real world.

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?

Web-based Support Systems (WSS) are an emerging multidisciplinary research area in which one studies the support of human activities with the Web as the common platform,mediumandinterface.

Drawing Programs: The Theory and Practice of Schematic Functional Programming describes a diagrammatic (schematic) approach to programming.

Research into the 3D Physiological Human is a very active field focusing on the creation of patient-specific computer models for personalised healthcare.

Fortran has been the premier language for scientific computing since its introduction in 1957.

In this second volume of Computer Graphics for Artists the author, Andrew Paquette, guides the reader through the creation of realistic computer-generated backgrounds and characters.

A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics.

Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional parametric objects.

Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style.

This book comprises a variety of breakthroughs and recent advances on Human- Computer Interaction (HCI) intended for both researchers and practitioners.

"e;Safety-Critical Systems: Problems, Process and Practice"e; contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009.

A Concise and Practical Introduction to Programming Algorithms in Java has two main goals.

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace.

Overview and Goals This book is dedicated to scheduling for parallel processing.

The advent of powerful processing technologies and the advances in software development tools have drastically changed the approach and implementation of computational research in fundamental properties of living systems through simulating and synthesizing biological entities and processes in artificial media.

Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades.

"e;The situation is good, but not hopeless"e; (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness.

State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing.

By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the necessary fundamentals of this language as a first objective.

Activity theory is a way of describing and characterizing the structure of human - tivity of all kinds.

The 2nd edition of this integrated guide explains and lists readily available graphics software tools and their applications, while also serving as a shortcut to graphics theory and programming.

Substantially revised, reorganised and updated, the second edition now comprises eighteen chapters, carefully arranged in a straightforward and logical manner, with many new results and open problems.

Compression is an option naturally selected when faced with problems of high costs or restricted space.

This newly expanded and updated second edition of the best-selling classic continues to take the "e;mystery"e; out of designing algorithms, and analyzing their efficacy and efficiency.

The ability to reason correctly is critical to most aspects of computer science and to software development in particular.

As we enter the third decade of the World Wide Web (WWW), the textual revolution has seen a tremendous change in the availability of online information.

Empirical studies have become an important part of software engineering research and practice.

Distributed search by agents is an important topic of distributed AI and has not been treated thoroughly as such.

OpenGL Graphics Through Applications is a practical introduction to Computer Graphics with an emphasis on understanding through practice.

Developing software systems which are easy to use while simultaneously increasing the productivity, performance and satisfaction of users is still a major challenge in software engineering.

Abu?

The best way to become acquainted with a subject is to write a book about it.