Paperback:

Hardcover:

Paperback:

Hardcover:

*About this edition:*It is with great pleasure that I present this fourth vol ume in the series "Advanced Applications in Pattern Recognition.

Paperback:

*About this edition:*It is with great pleasure that I present this fourth volÂ ume in the series "Advanced Applications in Pattern Recognition.

Hardcover:

*About this edition:*Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.

Paperback:

*About this edition:*Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.

Hardcover:

Paperback:

*About this edition:*This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs.

Hardcover:

*About this edition:*There are many kinds of books on formal logic.

*About this edition:*This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style.

Paperback:

*About this edition:*There are many kinds of books on formal logic.

Hardcover:

*About this edition:*The Nonlinear Workbook provides a comprehensive treatment of all the techniques in nonlinear dynamics together with C++, Java and SymbolicC++ implementations.

Paperback:

*About this edition:*The Nonlinear Workbook provides a comprehensive treatment of all the techniques in nonlinear dynamics together with C++, Java and SymbolicC++ implementations.

Hardcover:

*About this edition:*Interested in how an efficient search engine works?

*About this edition:*Information Retrieval: Algorithms and Heuristics is a comprehensive introduction to the study of information retrieval covering both effectiveness and run-time performance.

Paperback:

*About this edition:*Information Retrieval: Algorithms and Heuristics is a comprehensive introduction to the study of information retrieval covering both effectiveness and run-time performance.

Hardcover:

*About this edition:*The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself.

Paperback:

*About this edition:*The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself.

Hardcover:

*About this edition:*The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history.

Paperback:

*About this edition:*The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history.

Hardcover:

*About this edition:*Book by

Paperback:

*About this edition:*Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community.

Hardcover:

*About this edition:*The contents of this volume are application oriented.

*About this edition:*This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).

*About this edition:*This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets).

*About this edition:*Volume 2: Basic Concepts, Analysis Methods and Practical Use.

Paperback:

*About this edition:*The contents of this volume are application oriented.

*About this edition:*This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets).

*About this edition:*This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).

Hardcover:

*About this edition:*Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

Paperback:

*About this edition:*Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

Hardcover:

*About this edition:*This textbook provides an introduction to the fundamental models of massively parallel computation, the most important technique for high-performance computing.

Paperback:

*About this edition:*Locality is a fundamental restriction in nature.

Paperback:

Hardcover:

*About this edition:*This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction.

Paperback:

*About this edition:*The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose.

Hardcover:

*About this edition:*"This is an excellent and well-written text on discrete event simulation with a focus on applications in Operations Research.

Paperback:

*About this edition:*"This is an excellent and well-written text on discrete event simulation with a focus on applications in Operations Research.

Hardcover:

*About this edition:*This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal languages and automata, computational complexity, and cruptography.

Hardcover:

*About this edition:*Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course.

Paperback:

*About this edition:*A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic.

Hardcover:

*About this edition:*The study of nonlinear dynamical systems has advanced tremendously in the last 20 years, making a big impact on science and technology.

Paperback:

Paperback:

*About this edition:*This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007.

Paperback:

*About this edition:*Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006.

Paperback:

*About this edition:*This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007.

Paperback:

*About this edition:*This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006.