Maths for computer scientists books

This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient...  Read More >>

Presented using Mathematica code, the book is fully supported by downloadable sessions in Mathematica, Maple, and...  Read More >>

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT...  Read More >>

The theory developed for ℤ2ℤ4-additive codes is the starting point for much generalization about codes over mixed...  Read More >>

This two-volume set LNCS 13344 and 13345 constitutes the proceedings of the 13th International Conference on Advances...  Read More >>

This book constitutes revised selected papers of the 20th International Conference on Information Technologies and...  Read More >>

This edition includes new topics such as Boosting, Multi-armed bandits, statistical tests, social networks, queuing...  Read More >>

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference...  Read More >>

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference...  Read More >>

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference...  Read More >>

 Read More >>

 Read More >>

Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik. Es wird...  Read More >>

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming,...  Read More >>

To succeed in data science you need some math proficiency. But not just any math. This common-sense guide provides...  Read More >>

This book is aimed at researchers, graduate students and engineers who would like to be initiated to Piecewise Deterministic...  Read More >>

The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to...  Read More >>

 Read More >>

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

 Read More >>

This book focuses on recent advances, approaches, theories, and applications related Hidden Markov Models (HMMs)....  Read More >>

The 3-volume set LNAI 13280, LNAI 13281 and LNAI 13282 constitutes the proceedings of the 26th Pacific-Asia Conference...  Read More >>

The 3-volume set LNAI 13280, LNAI 13281 and LNAI 13282 constitutes the proceedings of the 26th Pacific-Asia Conference...  Read More >>

This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT...  Read More >>

This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA...  Read More >>