Mathematical Theory of Computation

This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 201...

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

th The 5 International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010) has become a unique, established and broad interdisciplinar...

The International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU, is organized every two years...

This book celebratesthe 25th anniversaryof GULPthe Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of th...

It is an honor and a pleasure to present the proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010) held in Maribo...

This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,20...

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial...

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 20...

To design future networks that are worthy of societys trust, we must put the discipline of computer networking on a much stronger foundation. This ...

This textbook comprehensively explores the foundational principles, algorithms, and applications of intelligent optimization, making it an ideal re...

Put the power of AWS Cloud machine learning services to work in your business and commercial applications!  Machine Learning in the AWS Cloud intro...

Collection of selected, peer reviewed papers from the Special topic volume with invited peer reviewed papers only. The 79 papers are grouped as fol...

Digitalism is a philosophical strategy that uses new computational ways of thinking to develop naturalistic but meaningful ways of thinking about b...

This book is a collection of selected research papers presented at the Mathematics, Statistics and Computing Technology (ICMSCT2023), held at the U...

MATHEMATICS FOR INFORMATION TECHNOLOGY 1E delivers easy-to-understand and balanced mathematical instruction. Each chapter begins with an applicatio...

This is the first rigorous, self-contained treatment of the theory of deep learning. Starting with the foundations of the theory and building it up...

Accurate, robust and fast image reconstruction is a critical task in many scientific, industrial and medical applications. Over the last decade, im...

This book presents topics in a single source format using unified spectral theory of computing. With developments of DNS and LES, practitioners are...

Starting with the Shannon-Wiener approach to mathematical information theory, allowing a mathematical measurement of an amount of information, the ...

The goal of Algorithmic Mathematics in Machine Learning is to explore several well-known machine learning and data analysis algorithms from a mathe...