A renewed interest in the study of vision has attracted scholars from such diversefields as neuroscience, computer science, mathematics, physics, and philosophy. At the same time,the development of im
Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of
Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of
A computer science text bridging the gap between the perceived impenetrability of computability and complexity theory and practical programming problems. Jones (computer science, U. of Copenhagen) of
A textbook for undergraduate computer science students, introducing formal reasoning about imperative programs. The semantics of imperative programs are specified in the language OBJ. Assumes a famili
The growth of the Internet, online journals, new software packages, computer networks - these and other facets of science writing can be found in the new edition of Robert A. Day's How to Write and Pu
Computer science and artificial intelligence in particular have no curriculum inresearch methods, as other sciences do. This book presents empirical methods for studying complexcomputer programs: expl
Mathematics is the only science with a methodology based upon deductive logic, whereas physics is a quantitative science based upon experiment and observation in which trial and error are inherent. Ph
The "Handbook of Theoretical Computer Science" provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers mo
The thirty original contributions in this book provide a working definition of "computational neuroscience" as the area in which problems lie simultaneously within computer science and neuroscience. T
A textbook for a one term or semester undergraduate course in computer science, updated (from 1988) to include newer operating systems such as IBM's OS/2 and the latest hardware. Assumes a familiarity
Advances in physics, molecular biology, and computer science are converging on the capacity to control, with molecular precision, the structure and function of matter. These twenty original contributi
The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
Information retrieval is a sub-field of computer science that deals with the automated storage and retrieval of documents. Providing the latest information retrieval techniques, this guide discusses I
While creativity plays an important role in the advancement of computer science, great ideas are built on a foundation of practical experience and knowledge. This book presents programming techniques
This volume celebrates the 25th anniversary of the founding of MIT's Project MAC. It covers the full range of ongoing computer science research at the MIT Artificial Intelligence Laboratory and the MI
The growth in digital devices, which require discrete formulation of problems, has revitalized the role of combinatorics, making it indispensable to computer science. Furthermore, the challenges of ne
A textbook for a graduate or advanced undergraduate course in neural networks for computer-science or engineering students. Presumes the standard calculus, differential equations, and advanced mathema
Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and
Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and
An authoritative book for hardware and software designers. Caches are by far the simplest and most effective mechanism for improving computer performance. This innovative book exposes the characterist
Developed as the text for the basic computer architecture course at MIT, Computation Structures integrates a thorough coverage of digital logic design with a comprehensive presentation of computer ar
These proceedings contain the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods throu
Computational Complexity and Natural Language heralds an entirely new way of looking at grammatical systems. It applies the recently developed computer science tool of complexity theory to the study o
The Nobel Prize in Economics was awarded to Herbert Simon in 1978. At Carnegie-MellonUniversity he holds the title of Professor of Computer Science and Psychology. These two factstogether delineate th
This thoroughly revised third edition of Harry H. Harman's authoritative text incorporates the many new advances made in computer science and technology over the last ten years. The author gives full
Published ahead of its time, this trendsetting textbook was first introduced to electrical engineering, computer engineering and computer science instructors in 1999. Since then, Patt and Patels "Intr
KEY MESSAGE: By emphasizing the application of computer programming not only in success stories in the software industry but also in familiar scenarios in physical and biological science, engineeri
Motivates your students while building a cornerstone for the Computer Science curriculum. With a focus on your students' learning, this title approaches programming using the Java, and includes progra
