Guido Governatori & Giovanni Sartor 
Deontic Logic in Computer Science [PDF ebook] 
10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

An “enjoyable [and] painlessly instructive” guide to probability, full of examples drawn from daily life and history (The Skeptic). Our lives are governed by chance. But what, exactly, is chance? In …

This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods a …

Mathematical Methods in Chemical and Biological Engineering describes basic to moderately advanced mathematical techniques useful for shaping the model-based analysis of chemical and biological engin …

This book gives a comprehensive introduction to the theory of smooth manifolds, maps, and fundamental associated structures with an emphasis on "bare hands" approaches, combining differenti …

The precise mathematical investigation of various natural phenomena is an old and difficult problem. This book is the first to deal systematically with the general non-selfadjoint problems in mechani …

This monograph is devoted to the construction of optimal estimates of values of linear functionals on solutions to Cauchy and two-point boundary value problems for systems of linear first-order ordin …

Solid geometry is defined as the study of the geometry of three-dimensional solid figures in Euclidean space. There are numerous techniques in solid geometry, mainly analytic geometry and methods usi …

‘ Exploring commutative algebra”s connections with and applications to topological algebra and algebraic geometry, Commutative Ring Theory covers the spectra of rings chain conditions, dimension the …

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …