Maths for computer scientists books

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than...  Read More >>

This volume contains the accounts of the principal survey papers presented at GRAPHS and ORDER, held at Banff, Canada...  Read More >>

Reliability analysis is concerned with the analysis of devices and systems whose individual components are prone...  Read More >>

We planned this book as a Festschrift for Smitty Stevens because we thought he might be retiring around 1974, although...  Read More >>

On March 28~31, 1994 (Farvardin 8~11, 1373 by Iranian calendar), the Twenty­ fifth Annual Iranian Mathematics Conference...  Read More >>

Offers a collection of research papers in optimization and approximation that covers the research on optimization...  Read More >>

Although random variate generation with popular standard distributions have become part of every course on discrete...  Read More >>

This book constitutes the refereed proceedings of the 14th International Conference on Information Security, ISC...  Read More >>

This research monograph offers an introduction to advanced quantum field theoretical techniques for many particle...  Read More >>

In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology...  Read More >>

This book constitutes the refereed proceedings of the Fourth International Symposium on Algorithmic Game Theory,...  Read More >>

This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Decision Theory,...  Read More >>

Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying...  Read More >>

Designs and Finite Geometries brings together in one place important contributions and up-to-date research results...  Read More >>

Resolution Proof Systems: An Algebraic Theory presents a new...  Read More >>

A class of finite element methods, the Discontinuous Galerkin Methods (DGM), has been under rapid development recently...  Read More >>

Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as...  Read More >>

The papers collected here provide an overview of recent Russian research in topics such as analysis of algorithms,...  Read More >>

Codes, Designs, and Geometry brings together in one place important contributions and up-to-date research results...  Read More >>

This volume contains essays dealing with decision models for supporting individuals facing situations encompassing...  Read More >>

Includes topics such as: binary decision diagrams, multi-terminal binary decision diagrams, edge-valued binary decision...  Read More >>

The field of computational learning theory arose out of the desire to for­ mally understand the process of learning....  Read More >>

Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both...  Read More >>

The algorith­ mic approach to the subject has two principal aims: developing new tools for research within mathematics,...  Read More >>

In this book we develop various mathematical models of information dynamics, I -dynamics (including the process...  Read More >>