You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
Introductory textbook presenting relational methods in machine learning.
Introductory textbook presenting relational methods in machine learning.
This book offers new insights into the theory and practice of economic airport regulation. In light of recent developments in aviation markets and policy, and the debate on airport regulation and benchmarking, it offers case studies on various aspects of economic regulation of city and regional airports. Written by experts in the field, the volume features contributions on the theory of regulation and benchmarking, as well as case studies on recent experiences in Europe and Latin America. This book is divided into three parts: Part I provides the theoretical background for the study of airport regulation and regulatory systems. Competition at airports is discussed, as are common forms of reg...
None