Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld = The isomorphism between the Lubin-Tate and Drinfeld towers
This book contains a detailed and complete demonstration of the existence of an equivariate isomorphism between the Lubin-Tate ...
Lee mas
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, ...
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 Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lee mas
Mathematical Knowledge Management (vol. # 4108)
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
Lee mas
Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
Lee mas
Mathematics and Culture II
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...
Lee mas
Mathematics and Politics : Strategy, Voting, Power and Proof
Mathematics and Politics requires no prerequisites in either subject. The underlying philosophy involves minimizing algebraic ...
Lee mas
Matrix Algebra From a Statistician`s Perspective
This book presents matrix algebra in a way that is well-suited for those with an interest in statistics or a related discipline. ...
Lee mas
Measure, Topology, and Fractal Geometry
For the Second Edition of this highly regarded textbook, Gerald Edgar has made numerous additions and changes, in an attempt ...
Lee mas
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lee mas
New Computational Paradigms
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Lee mas
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lee mas
Nonlinear Optimization with Financial Applications
The book introduces the key ideas behind practical nonlinear optimization. Computational finance—an increasingly popular ...
Lee mas
Nonsmooth Analysis
The book treats various concepts of generalized derivatives and subdifferentials in normed spaces, their geometric counterparts ...
Lee mas
Notes on Coxeter Transformations and the McKay Correspondence
One of the beautiful results in the representation theory of the finite groups is McKay's theorem on a correspondence between ...
Lee mas
Numerical Methods for Controlled Stochastic Delay Systems
The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems ...
Lee mas
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
Lee mas
