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

What are numbers? Where do they come from? Are there different kings of number? Why was Pythagoras fascinated by triangular and square numbers? Is there a link between perfect numbers and primes? In …

Science and Hypothesis is a classic text in history and philosophy of science. Widely popular since its original publication in 1902, this first new translation of the work in over a century features …

This outstanding reference presents current, state-of-the-art research on importantproblems of finite-dimensional nonlinear optimal control and controllability theory. Itpresents an overview of a bro …

The book presents efficient numerical methods for simulation and analysis of physical processes exhibiting fractional order (FO) dynamics. The book introduces FO system identification method to estim …

Tensor Calculus and Analytical Dynamics provides a concise, comprehensive, and readable introduction to classical tensor calculus – in both holonomic and nonholonomic coordinates – as well as to its …

Prime numbers have fascinated mathematicians since the time of Euclid. This book presents some of our best tools to capture the properties of these fundamental objects, beginning with the most basic …

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of area …

This volume presents a thorough discussion of systems of linear equations and their solutions. Vectors and matrices are introduced as required and an account of determinants is given. Great emphasis …

Response Surfaces: Designs and Analyses; Second Edition presents techniques for designing experiments that yield adequate and reliable measurements of one or several responses of interest, fitting an …

Dynamic programming is a powerful method for solving optimization problems, but has a number of drawbacks that limit its use to solving problems of very low dimension. To overcome these limitations, …