Mathematical theory of computation books

If you're looking to make a career move from programmer to AI specialist, this is the ideal place to start. Based...  Read More >>

This proceedings volume collects contributions from the 5th AIRO Young Workshop and AIRO PhD School 2021 joint event...  Read More >>

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022,...  Read More >>

The thesis gives the first experimental demonstration of a new quantum bit (“qubit”) that fuses two promising physical...  Read More >>

This book constitutes the refereed proceedings of the Third Southern African Conference on Artificial Intelligence...  Read More >>

 Read More >>

Occultism and the Origins of Psychoanalysis traces the origins of key psychoanalytic ideas back to their roots in...  Read More >>

This book constitutes the refereed proceedings of the Third International Workshop on Human Brain and Artificial...  Read More >>

This volume highlights recent advances in data science, including image processing and enhancement on large data,...  Read More >>

Julia is an open-source and fast-growing programming language for scientific computing that offers clarity and ease...  Read More >>

This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman...  Read More >>

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical...  Read More >>

This unique open access book applies the functional OCaml programming language to numerical or computational weighted...  Read More >>

 Read More >>

 Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination,...  Read More >>

This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental...  Read More >>

This wide-ranging book introduces information as a key concept not only in physics, from quantum mechanics to thermodynamics,...  Read More >>

This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial...  Read More >>

 Read More >>

 Read More >>

This book gives an intuitive and hands-on introduction to Topological Data Analysis (TDA). The first third of the...  Read More >>

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic,...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 7th China Conference on Knowledge Graph and Semantic Computing:...  Read More >>