Mathematical theory of computation books

This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information...  Read More >>

This book constitutes the proceedings of the 25th International Conference on Information Processing in Medical...  Read More >>

 Read More >>

Although many books have been written about Mathematica, very few of them cover the new functionality added to the...  Read More >>

This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive...  Read More >>

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on...  Read More >>

This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local...  Read More >>

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive...  Read More >>

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS),...  Read More >>

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web...  Read More >>

 Read More >>

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on...  Read More >>

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held...  Read More >>

This book questions the relevance of computation to the physical universe.  Read More >>

This book offers a comprehensive overview of fading and shadowing in wireless channels. Newer models for fading,...  Read More >>

This undergraduate textbook provides an introduction to graph theory, which has numerous applications in modeling...  Read More >>

The papers discuss research results and applications in the intersection of pattern recognition, image analysis,...  Read More >>

This book aims at gathering roboticists, control theorists, neuroscientists, and mathematicians, in order to promote...  Read More >>

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web...  Read More >>

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular...  Read More >>

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017,...  Read More >>

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri...  Read More >>

This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization,...  Read More >>

The 6th International Conference on Pedestrian and Evacuation Dynamics (PED2012) showcased research on human locomotion....  Read More >>