The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Independent Component Analysis and ...
Lire la suiteThe contribution of this thesis can be divided into two parts. The first part concerns methods and techniques. By introducing ...
Lire la suiteA model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suiteThe present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Lire la suiteThe aim of this monograph is to give a unified introductory treatment of the most important iterative methods for constructing ...
Lire la suiteEigenvectors of graph Laplacians have not, to date, been the subject of expository articles and thus they may seem a surprising ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Lire la suiteOnce again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...
Lire la suiteThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lire la suiteThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lire la suiteConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteThe Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...
Lire la suiteNon è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...
Lire la suiteThe book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the ...
Lire la suiteThis volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lire la suite