Matematisk databehandlingsteori

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, …

A clear, comprehensive, and rigorous introduction to the theory of computation. What is computable? What leads to efficiency in computation? Computability and Complexity offers a …

The two-volume set, CCIS 243 and CCIS 244, constitutes the refereed proceedings of the Second International Conference on Information Computing and Applications, ICICA 2010, held …

This volume on the latest developments in the theory and applications of time series analysis and forecasting comprises a selection of refereed papers presented at the 9th …

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Networks, CN 2018, held in Gliwice, Poland, in June 2018. The 34 full …

This book constitutes the proceedings of the 7th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2011, held in Karlsruhe, Germany in September …

The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. …

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites …

The definitive computer vision book is back, featuring the latest neural network architectures and an exploration of foundation and diffusion models Purchase of the print or Kindle …

In remembrance of the First European Workshop on Case-Based Reasoning, which took place 15 years ago at the European Academy Otzenhausen, not far from Trier, this year’s conference …