Mathematical theory of computation books

This book constitutes the proceedings of the 9th International Workshop on Frontiers in Algorithmics, FAW 2015,...  Read More >>

The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay...  Read More >>

This book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, SEA...  Read More >>

 Read More >>

This book presents a comprehensive review of key distributed graph algorithms for computer network applications,...  Read More >>

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held...  Read More >>

 Read More >>

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

This book first introduces classic as well as recent computational models for just-noticeable-difference (JND) applications....  Read More >>

This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete...  Read More >>

Mark Zuckerberg's 'A Year of Books' Selection George Orwell's bleak visions of the future, one in which citizens...  Read More >>

This book covers the latest advances in playful user interfaces – interfaces that invite social and physical interaction....  Read More >>

Computer Arithmetic (Volumes I-III) collects landmark articles originally published by the IEEE Computer Society...  Read More >>

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity...  Read More >>

The book covers advanced Java topics in three parts: language features like Reflection and AWT, core network programming...  Read More >>

 Read More >>

 Read More >>

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

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical...  Read More >>

The book includes some of the latest results in network analysis, machine learning, data mining and data clustering...  Read More >>

These include random matrix theory, nonparametric statistics, empirical process theory, statistical learning theory,...  Read More >>

This book discusses state estimation of stochastic dynamic systems from noisy measurements, specifically sequential...  Read More >>

The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference...  Read More >>

The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference...  Read More >>

It has been shown that several mathematical concepts such as the theory of fuzzy sets, theory of rough sets, evidence...  Read More >>