Mathematical theory of computation books

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Multi-Criterion...  Read More >>

System Modelling and Optimization covers research issues within systems theory, optimization, modelling, and computing....  Read More >>

Computer-based mathematical modeling - the technique of representing and managing models in machine-readable form...  Read More >>

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive...  Read More >>

In the span of only a few decades, the finite element method has become an important numerical technique for solving...  Read More >>

The Language of Mathematics was awarded the E.W. It innovatively combines techniques from linguistics, philosophy...  Read More >>

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and...  Read More >>

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and...  Read More >>

There were 180 papers submitted for inclusion, 50 papers among them have been accepted as long papers and included...  Read More >>

 Read More >>

Designing Effective and Usable Multimedia Systems presents research and development and industrial experience of...  Read More >>

1 This year marks the l0 h anniversary of the IFIP International Workshop on Protocols for High-Speed Networks (PfHSN)....  Read More >>

Deryn Watson CapBIT 97, Capacity Building for Information Technologies in Education in Developing Countries, from...  Read More >>

This book is a collection of thoroughly refereed papers presented at the 25th IFIP TC 7 Conference on System Modeling...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013,...  Read More >>

Algebraic logic is a subject in the interface between logic, algebra...  Read More >>

Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control...  Read More >>

This book was written to provide resource materials for teachers to use in their introductory or intermediate statistics...  Read More >>

The volume contains the papers presented at the fifth working conference on Communications and Multimedia Security...  Read More >>

This volume contains papers presented at the fourth working conference on Communications and Multimedia Security...  Read More >>

This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software...  Read More >>

This book proposes an introduction to the mathematical modeling of the respiratory system. Different levels of description...  Read More >>

This book presents extensions of papers from the Rough Sets and Knowledge Technology Conference held in October...  Read More >>