Theory

Recommended for you

99 Results


Subject


Status


Type

Theory

Per Page:
Sort:
Theoretical and Computational Research in the 21st Century

Theoretical and Computational Research in the 21st Century

Nazmul Islam

October 28, 2014

This book focuses mainly on the recent developments of all types of theoretical, mathematical, and computational conceptions, as well as modelling and simulation of specific research themes covering all scientific and technical disciplines from chemistry, physics, and engineering to biology and...

Computing: A Historical and Technical Perspective

Computing: A Historical and Technical Perspective

Yoshihide Igarashi, Tom Altman, Mariko Funada, Barbara Kamiyama

May 27, 2014

Exploring a vast array of topics related to computation, Computing: A Historical and Technical Perspective covers the historical and technical foundation of ancient and modern-day computing. The book starts with the earliest references to counting by humans, introduces various number systems, and...

Formal Languages and Computation: Models and Their Applications

Formal Languages and Computation: Models and Their Applications

Alexander Meduna

February 11, 2014

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches...

A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis

A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis

Anne Benoit, Yves Robert, Frédéric Vivien

August 27, 2013

Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It...

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

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

Edna E. Reiter, Clayton Matthew Johnson

October 29, 2012

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...

The Universal Computer: The Road from Leibniz to Turing

The Universal Computer: The Road from Leibniz to Turing

Martin Davis

December 13, 2011

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...

Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

Pascal Hitzler, Anthony Seda

November 22, 2010

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...

Perspectives in Concurrency

Perspectives in Concurrency

Kamal Lodaya, Madhavan Mukund

April 15, 2009

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...

Quantum Matrix

Quantum Matrix

Robert Croker

November 21, 2008

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...

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

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

Premchand S. Nair

November 20, 2008

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...

Performance Analysis of Queuing and Computer Networks

Performance Analysis of Queuing and Computer Networks

G.R. Dattatreya

June 09, 2008

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....

Elements of Compiler Design

Elements of Compiler Design

Alexander Meduna

December 03, 2007

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...

CRC Press exhibits every year at more than 100 professional and cademic conferences held across the world. At these events, you will have the chance to meet the authors and to get to know the CRC Press staff. You can also take advantage of special discounts for convention attendees. Visit us at the following conventions throughout the year.

Conferences