Free Delivery Over $100
11059 books were found.
Read More >>
This volume contains lecture notes of the 15th Reasoning Web Summer School (RW 2019), held in Bolzano, Italy, in... Read More >>
This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software... Read More >>
This monograph outlines the structure of index form equations, and makes clear their relationship to other classical... Read More >>
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in... Read More >>
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto,... Read More >>
This book constitutes the proceedings of the 7th International Conference on Statistical Language and Speech Processing,... Read More >>
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019,... Read More >>
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN... Read More >>
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections... Read More >>
"Are You One Of This Who Constantly Change Password? Here is the perfect companion for you. We sometimes forget... Read More >>
This book constitutes the refereed proceedings of the 13th International Conference on Flexible Query Answering... Read More >>
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer... Read More >>
This book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019,... Read More >>
This book constitutes the joint refereed proceedings of the 19th International Conference on Next Generation Teletraffic... Read More >>
This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features... Read More >>
Computing Possible Futures provides an easy to digest tour of modeling, simulation, analytics, and AI and how these... Read More >>
Dieses Buch verschafft Ihnen einen Überblick über einige der bekanntesten Verfahren des maschinellen Lernens aus... Read More >>
Demonstrates how to use Mathematica 4.x to solve difficult problems involving ordinary and partial differential... Read More >>
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019,... Read More >>