Mathematical theory of computation books

One of the most well-known of all network optimization problems is the shortest path problem, where a shortest connection...  Read More >>

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods...  Read More >>

An account is given of the state of the art of numerical methods employed in computational fluid dynamics. ""This...  Read More >>

The first part concerns Scilab and includes a tutorial covering the language features, the data structures and specialized...  Read More >>

Society heavily depends on infrastructure systems, such as road-traffic networks, water networks, electricity networks,...  Read More >>

 Read More >>

These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors...  Read More >>

Cuts and metrics are well-known objects that arise-- independently, but with many deep and fascinating connections--in...  Read More >>

This book discusses the basic geometric contents of an image and presents a treedatastructuretohandleite?ciently.Itanalyzesalsosomemorphological...  Read More >>

Ein herausragendes mathematisches Video ber vielfl chige Netzwerke und ihre Rolle in der Geometrie, der Numerik...  Read More >>

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data...  Read More >>

The first book to offer a comprehensive view of the LLL algorithm, this text surveys computational aspects of Euclidean...  Read More >>

Stefan Baerisch applies a combination of feature modelling and code generation, for which he uses a model-driven...  Read More >>

In view of the incessant growth of data and knowledge and the continued diversifi- tion of information dissemination...  Read More >>

This volume represents the refereed proceedings of the Eighth International C- ference on Monte Carlo and Quasi-Monte...  Read More >>

 Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation,...  Read More >>

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight...  Read More >>

The papers are divided into topical sections on program analysis, transformation and optimization, type system,...  Read More >>

th This two-volume set constitutes the Proceedings of the 16 International Conference on Neural Information Processing...  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Cryptology in India, INDOCRYPT...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Cryptology and Network Security,...  Read More >>

This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held...  Read More >>