Mathematical Theory of Computation

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Mode...

This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming...

FUN with Algorithms is a three-yearlyconference that aims at attracting works which, besides a deep and interesting algorithmic content, also prese...

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-p...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was...

This volume contains revised versions of the papers presented at the sixth e- tion of the International Workshop on Argumentation in Multi-Agent Sy...

The 2010 European Conference on Modelling Foundations and Applications (ECMFA 2010) was dedicated to assessing the state of the art and the state o...

Nature-Inspired Computing: Physics and Chemistry-Based Algorithms provides a comprehensive introduction to the methodologies and algorithms in natu...

A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of valid...

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods some old, some new that...

The Nature of Complex Networks provides a systematic introduction to the statistical mechanics of complex networks and the different theoretical ac...

Deep learning from the ground up using R and the powerful Keras library! In   Deep Learning with R, Second Edition  you will learn: ...

Want to kill it at your job interview in the tech industry? Want to win that coding competition? Learn all the algorithmic techniques and programmi...

Spectral analysis is widely used to interpret time series collected in diverse areas. This book covers the statistical theory behind spectral analy...

With high hopes that the worst of the financial crisis is now behind us, our efforts looking forward must be more vigilant. Change is constant in t...

What is commonly called the information age began with a double big bang. It was 1948 and the United States of America was continuing to invest hea...

The ILP conference series has been the premier forum for work on logic-based approaches to machine learning for almost two decades. The 19th Intern...

Geometric and topological inference deals with the retrieval of information about a geometric object using only a finite set of possibly noisy samp...

This is a practical guide to P-splines, a simple, flexible and powerful tool for smoothing. P-splines combine regression on B-splines with simple, ...

Getting numbers is easy; getting numbers you can trust is hard. This practical guide by experimentation leaders at Google, LinkedIn, and Microsoft ...

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardwar...

The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is...

ThelegaldomainrepresentsaprimarycandidateforWeb-basedinformationd- tribution,exchangeandmanagement,astesti?edbythenumerouse-government, e-justice a...