Browse all subjects

Theory

PUBLISHED

Forthcoming(0)

Sort By:	Results Per Page:	Viewing: 1 - 10 of 99 1 2 3 4 5 > »

Limits of Computation: An Introduction to the Undecidable and the Intractable

Published:

October 29, 2012

Author(s):

Edna E. Reiter; Clayton Matthew Johnson

Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity. It explains the difficulties of computation, addressing problems that have no algorithm at all and problems that cannot be solved efficiently. The …

Hardback

$89.95

The Universal Computer: The Road from Leibniz to Turing

Published:

December 13, 2011

Author(s):

Martin Davis

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and …

Paperback

$29.95

Mathematical Aspects of Logic Programming Semantics

Published:

November 22, 2010

Author(s):

Pascal Hitzler; Anthony Seda

Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from …

Hardback

$99.95

Introduction to Mathematics of Satisfiability

Published:

September 22, 2009

Author(s):

Victor W. Marek

Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring …

Hardback

$99.95

Perspectives in Concurrency

Published:

April 15, 2009

Editor(s):

Kamal Lodaya; Madhavan Mukund

Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary …

Hardback

$99.95

Quantum Matrix

Published:

November 21, 2008

Author(s):

Robert Croker

YouTube, Wikipedia, Second Life, and My Space are only the beginning. The present and the future is Quantum Matrix. Filled with detailed descriptions of cutting-edge technologies in relation to machine evolution and human emotions, this book includes concrete examples of how technology is changing …

Hardback

$152.95

Java Programming Fundamentals: Problem Solving Through Object Oriented Analysis and Design

Published:

November 20, 2008

Author(s):

Premchand S. Nair

Request Evaluation Copy

While Java texts are plentiful, it’s difficult to find one that takes a real-world approach, and encourages novice programmers to build on their Java skills through practical exercise. Written by an expert with 19 experience teaching computer programming, Java Programming Fundamentals presents …

Paperback

$99.95

Performance Analysis of Queuing and Computer Networks

Published:

June 09, 2008

Author(s):

G.R. Dattatreya

Performance Analysis of Queuing and Computer Networks develops simple models and analytical methods from first principles to evaluate performance metrics of various configurations of computer systems and networks. It presents many concepts and results of probability theory and stochastic processes. …

Hardback

$109.95

Elements of Compiler Design

Published:

December 03, 2007

Author(s):

Alexander Meduna

Request Evaluation Copy

Maintaining a balance between a theoretical and practical approach to this important subject, Elements of Compiler Design serves as an introduction to compiler writing for undergraduate students. From a theoretical viewpoint, it introduces rudimental models, such as automata and grammars, that …

Hardback

$109.95

Software Engineering Foundations: A Software Science Perspective

Published:

August 09, 2007

Author(s):

Yingxu Wang

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author's 30 years of experience, it examines a wide range of underlying …

Hardback

$157.95

1 2 3 4 5 > »

News and Notes

Join the Conversation!
Sign up to receive CRC Press' First Look eAlerts, special discounts, and promotions!

Data Mining "Nobel Prize" Awarded to Series Editor Vipin Kumar

The ACM SIGKDD 2012 Innovation Award, the highest award for technical excellence in the field of Knowledge Discovery and Data Mining (KDD), has been awarded to Prof. Vipin Kumar for his technical contributions to foundational research in data mining and its applications to mining scientific and climate data. Prof. Kumar is the editor of the Chapman & Hall/CRC Data Mining and Knowledge Discovery Series. He has pioneered research in the areas of high performance and parallel data mining. His research group has also been at the forefront in the development of data-driven discovery methods for analyzing global climate and ecosystem data.

Online Bestsellers:

New Handbook! A pioneering publication for researchers in computer science and engineering, Handbook of Energy-Aware and Green Computing - Two Volume Set is one of the first to present a comprehensive account of recent research in energy-aware and green computing.

New Textbooks!

Programming in C++ for Engineering and Science

A Concise Introduction to Programming in Python

Computers and Society: Computing for Good

Operating System Design: The Xinu Approach, Linksys Version

STAY CONNECTED!
Like us on Facebook, join our LinkedIn Group, or follow us on Twitter.

Theory

About Us

Resources

Textbooks

Other CRC Press Sites

Featured Authors

STAY CONNECTED