Computer science: an overview (3rd ed.) | Guide books skip to main content ACM Digital Library
home ACM Association for Computing Machinery corporate logo Google, Inc. (search) …

The Formal Semantics of Programming Languages provides the basic mathematical
techniques necessary for those who are beginning a study of the semantics and logics of …

The undersigned hereby transfer any and all rights in and to the work includin without
limitation all copyright rights in the above work to The Institute of Electriial and Electronics …

Abstract Information may be defined as the characteristics of the output of a process, these
being informative about the process and the input. This discipline independent definition …

Many metaphors go beyond pionting to the existing similarities between two objects--they
create the similarities. Such metaphors, which have been relegated to the back seat in most …

Computability and complexity theory should be of central concern to practitioners as well as
theorists. Unfortunately, however, the field is known for its impenetrability. Neil Jones's goal …

From the Publisher:" IEEE Press is pleased to bring you this Second Edition of Phillip A.
Laplante's best-selling and widely-acclaimed practical guide to building real-time systems …

Interest in finite automata theory continues to grow, not only because of its applications in
computer science, but also because of more recent applications in mathematics, particularly …

It is noted that almost all attempts to construct special-purpose robot programming
languages have proceeded by taking a computer-programming language and adding some …

We present a solution for optimal triangulation in three views. The solution is guaranteed to
find the optimal solution because it computes all the stationary points of the (maximum …