Random Generation of Trees : Random Generators in Computer Science

Laurent Alonso
Hardcover - $567.95

Random Generation of Trees is about a field on the crossroads between computer science, combinatorics and probability theory. Computer scientists need random generators for performance analysis, simulation, image synthesis, etc. In this context rando ...

Introduction to Machine Learning

Ethem Alpaydin
Hardcover - $95.95

The goal of machine learning is to program computers to use example data or past experience to solve a given problem. Many successful applications of machine learning exist already, including systems that analyze past sales data to predict customer b ...

Theory Reasoning in Connection Calculi

Peter Baumgartner
Paperback - $143.95

The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with ...

Computational Logic

U. Berger
Hardcover - $318.95

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be us ...

Theorem Proving in Higher Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Yves Bertot
Paperback - $169.95

Computational Modeling and Problem Solving in the Networked World : Interfaces in Computer Science and Operations Research

Hemant K. Bhargava
Hardcover - $299.95

The first section of Computational Modeling and Problem Solving in the Networked World focuses on the reflective and integrative thinking that is critical to contemporary science - "Perspectives on Computation." This section presents philosophical pe ...

Discrete Mathematics

Norman L. Biggs
Paperback - $156.95

The long-awaited second edition of Norman Bigg's best-selling Discrete Mathematics, includes new chapters on statements and proof, logical framework, natural numbers, and the integers, in addition to updated chapters from the previous edition. Carefu ...

Algorithms - ESA '98 : 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings

G. Bilardi
Paperback - $194.95

This book constitutes the refereed proceedings of the 6th Annual European Symposium on Algorithms, ESA'97, held in Venice, Italy, in August 1998.
The 40 revised full papers presented together with two invited contributions were carefully reviewed ...

Theorem Proving in Higher Order Logics : 14th International Conference, Tphols 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

R. J. Boulton
Paperback - $153.95

Lectures on Formal Methods and Performance Analysis : First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7

E. Brinksma
Paperback - $163.95