Mathematical theory of computation books

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on...  Read More >>

Constitutes the refereed post-conference proceedings of the 16th International Conference on DNA Computing and Molecular...  Read More >>

This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held...  Read More >>

Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking,...  Read More >>

This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative...  Read More >>

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of...  Read More >>

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory...  Read More >>

This book explains design and analysis of computer experiments and its importance from an introductory level. The...  Read More >>

 Read More >>

Wireless ad hoc sensor networks has recently become a very active research subject. The intended audience includes...  Read More >>

Faced with the challenge of solving the hard optimization problems that abound in the real world, existing methods...  Read More >>

 Read More >>

 Read More >>

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional...  Read More >>

Ward Cheney and David Kincaid have developed Linear Algebra: Theory and Applications, Second Edition, a multi-faceted...  Read More >>

The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following...  Read More >>

The second volume is structured in topical sections on brain computer interface, kernel methods, computational advance...  Read More >>

The second volume is structured in topical sections on brain computer interface, kernel methods, computational advance...  Read More >>

This book constitutes the refereed proceedings of the 6th International Workshop on Internet and Network Economics,...  Read More >>

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational...  Read More >>

This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at...  Read More >>

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging...  Read More >>

In the last decade, we have seen an extraordinary progress in the the­ ory and applications of robot kinematics....  Read More >>