Mathematical theory of computation books

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering,...  Read More >>

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition...  Read More >>

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP...  Read More >>

This book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing...  Read More >>

This unique, accessible textbook gives a comprehensive introduction to software architecture, using ‘clean architecture’...  Read More >>

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are...  Read More >>

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV...  Read More >>

 Read More >>

This book presents dual quaternions and their associated Clifford algebras in a new light, accessible to and geared...  Read More >>

This book covers recent developments in the understanding, quantification, and exploitation of entanglement in spin...  Read More >>

Introductory courses in combinatorial optimization are popular at the upper undergraduate/graduate levels in computer...  Read More >>

Mechatronics is a mongrel, a crossbreed of classic mechanical engineering, the relatively young pup of computer...  Read More >>

A rigorous, yet accessible, textbook for computer science students learning probability. It covers topics of interest...  Read More >>

Mechatronics is a mongrel, a crossbreed of classic mechanical engineering, the relatively young pup of computer...  Read More >>

 Read More >>

Computer Arithmetic in Practice - Exercises and Programming is a simple, brief introductory volume for undergraduate...  Read More >>

Computer Arithmetic in Practice - Exercises and Programming is a simple, brief introductory volume for undergraduate...  Read More >>

 Read More >>

This book covers the state of art image classification methods for discrimination of earth objects from remote sensing...  Read More >>

This book lays emphasis on two subjects, the first being lattice algebra and the second the practical applications...  Read More >>

Intelligent Support for Computer Science Education presents the authors’ research journey into the effectiveness...  Read More >>

This book describes algorithms like Locally Linear Embedding, Laplacian eigenmaps, Semidefinite Embedding, t-SNE...  Read More >>

‘Machine Learning for Knowledge Discovery with R’ contains methodologies and examples for statistical modelling,...  Read More >>

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023,...  Read More >>

This book highlights the three pillars of data security, viz protecting data at rest, in transit, and in use.  Read More >>