Mathematical theory of computation books

Discrete-event simulation consists of a collection of techniques that when applied to a discrete-event dynamical...  Read More >>

Programmable Logic Devices (PLDs) have become the key implementation medium for the vast majority of digital circuits...  Read More >>

The potential of the natural neural system as a biological prototype of a computing scheme has already been utilized...  Read More >>

 Read More >>

Interest in constrained optimization originated with the simple linear pro­ gramming model since it was practical...  Read More >>

applications to general combinatorial optimization problems such as graph partitioning and the traveling salesman...  Read More >>

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and...  Read More >>

Under this view, epistemic contents are introduced into the object language as operators yielding propositions from...  Read More >>

""Et moi, ..., si j'avait Sll comment en revenir. One sennce mathematics has rendered the human race. It has put...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Knowledge Technology,...  Read More >>

Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification...  Read More >>

Proceedings of the Summerschool on High Performance Computing in Fluid Dynamics, held at Delft University of Technology,...  Read More >>

In part, this is a matter of fashion, inasmuch as they are perceived as not readily lending themselves to applications,...  Read More >>

While I was visiting Boston University during the 1996-97 academic year, I noticed a small book, written in German,...  Read More >>

This book contains the thoroughly refereed post-conferernce proceedings of the 13th Information Hiding Conference,...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation...  Read More >>

This volume contains all of the papers presented at the ""Advanced In- ternational Workshop on Sequences: Combinatorics,...  Read More >>

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical...  Read More >>

Constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Implementation...  Read More >>

Constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in...  Read More >>

Whitehead and Russell showed in their Principia Mathematica that the entirety of classical mathematics can be developed...  Read More >>

The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989,...  Read More >>

Ifone supposes that the semigroup is also periodic the study offiniteness conditions for these semigroups (or groups)...  Read More >>

Fluids, play an important role in environmental systems, appearing as surface water in rivers, lakes, and coastal...  Read More >>

This volume contains the edited texts of the lectures presented at the Workshop on High Performance Algorithms and...  Read More >>