Implementation and Application of Functional Languages (vol. # 4015)
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lee mas
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lee mas
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Lee mas
Independent Component Analysis and Blind Signal Separation
This book constitutes the refereed proceedings of the 6th International Conference on Independent Component Analysis and ...
Lee mas
Index and Stability in Bimatrix Games
The contribution of this thesis can be divided into two parts. The first part concerns methods and techniques. By introducing ...
Lee mas
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Lee mas
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lee mas
International Symposium on Fundamentals of Software Engineering
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Lee mas
Iterative Approximation of Fixed Points
The aim of this monograph is to give a unified introductory treatment of the most important iterative methods for constructing ...
Lee mas
Laplacian Eigenvectors of Graphs
Eigenvectors of graph Laplacians have not, to date, been the subject of expository articles and thus they may seem a surprising ...
Lee mas
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Lee mas
Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems
Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...
Lee mas
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lee mas
MacLaurins Physical Dissertations
The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...
Lee mas
Matematica e cultura in Europa
Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...
Lee mas
Mathematical Analysis
The book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the ...
Lee mas
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lee mas
