Auto Suggestions are available once you type at least 3 letters. Use up arrow (for mozilla firefox browser alt+up arrow) and down arrow (for mozilla firefox browser alt+down arrow) to review and enter to select.

Overview

Topology and Category Theory in Computer Science / Edition 1

This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.

Editorial Reviews

Explores how topology and category theory are applied in theoretical computer science, in 14 papers from a session of the Oxford Topology Symposium, June 1989. The topics are such as the soundness and completeness of axioms for CSP processes, concurrency semantics based on metric domain equations, and order and strongly sober compactifications. The purely topological papers will be published elsewhere. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

What would it cost the education system to adopt policies that emphasize science literacy for
all students? How can we ensure that tests measure what educators, parents, and others want them to? How can universities set admissions policies that motivate ...

The papers in this volume were presented at the fourth biennial Summer Conference on Category
Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been ...

The importance of computer security has increased dramatically during the past few years. Bishop provides
a monumental reference for the theory and practice of computer security. This is a textbook intended for use at the advanced undergraduate and introductory graduate ...

The fifth edition of this book reflects its continued popularity and standing in the field.
It provides a clear guide to the role of modelling and the computer simulation methods used in management science. Readers will find an in-depth coverage ...

A first in its field, this book is both an introduction to computer simulation of
liquids for upper level undergraduates and a how-to guide for specialists. The authors discuss the latest simulation techniques of molecular dynamics and the Monte Carlo ...

Intended for designers and researchers, Context and Consciousness brings together 13 contributions that apply activity
theory to problems of human-computer interaction. Understanding how people actually use computers in their everyday lives is essential to good design and evaluation. This insight ...

The theory of finite fields is of central importance in engineering and computer science, because
of its applications to error-correcting codes, cryptography, spread-spectrum communications, and digital signal processing. Though not inherently difficult, this subject is almost never taught in depth ...

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications
This book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting ...