Computer

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of th

*The classic reference, with over 25,000 copies in print, has been massively expanded and thoroughly updated to include state-of-the-art methods and 400+ all-new full color images!At ILM, compositing

Computer graphics systems are capable of generating stunningly realistic images of objects that have never physically existed. In order for computers to create these accurately detailed images, digita

This work presents papers from the International e-Conference on Computer Science and from a 2006 symposium on computer and network applications in agriculture, plus three papers from a symposium on i

Today's Technology. Tomorrow's Engineers. This market-leading textbook continues its standard of excellence and innovation built on the solid pedagogical foundation that instructors expect from Adel S

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation

Microsoft Office Project 2007 All-in-One Desk Reference For Dummies is a compilation of multiple short reference-style books covering Microsoft Project, enhanced by the format of a single, easy-to-use

This book proposes a set of models to describe fuzzy multi-objective decision making (MODM), fuzzy multi-criteria decision making (MCDM), fuzzy group decision making (GDM) and fuzzy multi-objective gr

This volume brings together selected contributed papers presented at the International Conference of Computational Methods in Science and Engineering (ICCMSE 2006), held in Chania, Greece, October 200

The latest edition of a classic text on concurrency and distributed programming ? from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and ad

A surprising look at how the Internet does, and does not, affect public discourse and social practice in the Middle East and Kuwait in particular.

Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions an

Completely updated, with 40 percent new material, this is an indispensable guide for people with disabilities who wish to improve their lives through computer technology. It lists what's available an

Leung (computer science, New Jersey Institute of Technology) provides coverage of recent and advanced topics in scheduling. Contributors from management, industrial engineering, operations, and comput

Learning Maya, the world's leading 3D animation and effects package, is a challenge, especially for those who want to master Maya's versatile programming features in addition to its built-in tools. F

Probabilistic Methods of Signal and System Analysis, 3/e stresses the engineering applications of probability theory, presenting the material at a level and in a manner ideally suited to engineering s

This volume presents the proceedings of the International Workshop on Database Issues for Data Visualization, held in conjunction with the IEEE Visualization '93 conference in San Jose, California in

Structure and Interpretation of Computer Programs has had a dramatic impact oncomputer science curricula over the past decade. This long-awaited revision contains changesthroughout the text.There are

The second edition of the highly successful Fundamentals of Electrical Engineering is thoroughly expanded and updated. The text is divided into four parts: circuits, electronics, digital systems, and

MUSE is a method developed specifically to extend the scope of human factors contributions beyond late evaluation and thus increase their effectivness and uptake. This is accomplished by making inputs

This thesis covers the theory and practice behind practical evaluation. It explores how programmers write programs in a highly interpretive style without paying the price in efficiency.

Teaching the theory of error correcting codes on an introductory level is a difficult task. The theory, which has immediate hardware applications, also concerns highly abstract mathematical concepts.

With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the manager responsible for development. The product of each stage of development is individually examined to see how it can be checked for correctness and consistency with earlier specifications. References are given to techniques available to the software developer and there are many helpful checklists. The contributors are all members of the British Computer Society's Working Group on Testing, and betwe

This book presents a coherent approach to the fast moving field of machine vision, using a consistent notation based on a detailed understanding of the image formation process.