Computer programming / software engineering

Non-photorealistic rendering (NPR) is a combination of computer graphics and computer vision that produces renderings in various artistic, expressive or stylized ways such as painting and drawing.

Research into the methods and techniques used in simulating crowds has developed extensively within the last few years, particularly in the areas of video games and film.

This text reviews the evolution of the field of visualization, providing innovative examples from various disciplines, highlighting the important role that visualization plays in extracting and organizing the concepts found in complex data.

In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T.

Base stations developed according to the 3GPP Long Term Evolution (LTE) standard require unprecedented processing power.

Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications.

Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises.

This indispensable text introduces the foundations of three-dimensional computer vision and describes recent contributions to the field.

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches.

Creativity and rationale comprise an essential tension in design.

This textbook provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students.

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development.

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981.

A number of widely used contemporary processors have instruction-set extensions for improved performance in multi-media applications.

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree- ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour.

This volume contains papers from the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, held in Washington DC, USA, on 26 September 1993.

RenderMan has long been associated with top-end film production and is an essential tool for creating many of the effects and images in recent animated films (such as Final Fantasy, Monsters, Inc.

Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development.

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991.

We live in a commercial world where much of our work is undertaken through a project -oriented approach.

Automatie object recognition is a multidisciplinary research area using con- cepts and tools from mathematics, computing, optics, psychology, pattern recognition, artificial intelligence and various other disciplines.

Baffled by maths?

This is the twelfth volume in the rapidly expanding Springer Practitioner Series, and the third authored or co-.

As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives.

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group.

The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993.

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992.

This collection of papers draws together a variety of approaches for adding ob- ject orientation to the Z formal specification language.

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.

Architectures and tools are two important considerations in the construction of interactive computer systems.

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering.

This book contains the edited versions of papers presented at the 3rd Irish Conference on Artificial Intelligence and Cognitive Science, which was held at the University of Ulster at Jordanstown, Northern Ireland on 20-21 September 1990.

In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe.

The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com- puter Systems (FM89} was an invitational workshop that brought together repre- sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade.

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing.

Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991.

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program.

The manipulation of pictures and video in digital form has been an established research activity for more than twenty years.

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994.

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification.

Up and Running with C++ provides the reader with a quick guide to the fundamental concepts of object orientation and the implementation of those concepts in the C++ programming language.

Errata, detected in Taylor's Logarithms.

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering.

Visual Basic is a mature and powerful, integrated development environment which allows you to create professional Windows applications.

Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas.

3.

Object-oriented languages are probably the most important development in computing for many years.