Mathematical theory of computation books

In the spectrum of mathematics, graph theory which studies a mathe­ matical structure on a set of elements with...  Read More >>

Three basic classes can be identified in location analysis: continuous location, network location and dis­ crete...  Read More >>

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems,...  Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs,...  Read More >>

This book takes a closer look at three time-dependent Petri nets: Time Petri nets, Timed Petri nets, and Petri nets...  Read More >>

This book systematically develops scientific computing from classical approaches – describing equations of motion;...  Read More >>

Applied mathematical modeling is concerned with solving unsteady problems. This book shows how to construct additive...  Read More >>

This book constitutes the thoroughly refereed conference proceedings of the 9th International Conference on Web...  Read More >>

 Read More >>

'Et moi *...si j'avait su comment en revenir. One service mathema tics has rendered the je n'y serais point aIle.'...  Read More >>

 Read More >>

The typical areas include distributed computing, communication networks, game theory, parallel computing, social...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Pattern Recognition and Machine...  Read More >>

This book constitutes the refereed proceedings of the Second International Conference, TPNC 2013, held in Cáceres,...  Read More >>

 Read More >>

Die Stadien seiner Entwicklung sind lebendig und kurzweilig beschrieben, gehen aber so weit in die Tiefe, dass der...  Read More >>

They address topics related to graph-theoretic and algorithmic aspects of related complex networks, including citation...  Read More >>

Accuracy Verification Methods  Read More >>

At present, concerning intensive development of computer hardware and software, computer-based methods for modeling...  Read More >>

Problem dimensionality is reduced through space-filling curves. This book presents an approach to global non-convex...  Read More >>

The three volume set LNCS 8226, LNCS 8227, and LNCS 8228 constitutes the proceedings of the 20th International Conference...  Read More >>

This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for...  Read More >>

This present book provides an alternative approach to study the pre-kernel solution of transferable utility games...  Read More >>

The implementation of state-transfer schemes and the engineering of quantum networks are discussed in the framework...  Read More >>

The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic...  Read More >>