Dynamical Systems, Graphs, and Algorithms
This book provides a taster for using symbolic analysis, graph theory, and set-oriented methods in a quest to understand ...
Continue reading
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms
For this printing of R. Bowen's book, J.-R. Chazottes has retyped it in TeX for easier reading, thereby correcting typos ...
Continue reading
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Continue reading
Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Continue reading
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Continue reading
Law as Symbolic Form
In this book we describe the rule of law as the reign of persuasion rather than the reign of force, and democracy as the ...
Continue reading
Le silence de l’aiguille : Quand le Yi Jing éclaire les transformations induites par l’acupuncture = The silence of the needle: When Yi Jing illuminates the transformations induced by acupuncture
This book deals with change, a notion little approached in the West. It draws on the Yi Jing, the classic of changes, as ...
Continue reading
L’esprit de l’aiguille : L’apport du Yi Jing à la pratique de l’acupuncture
This book presents the result of research and reflections of more than twenty years on the links that exist between Yi Jing ...
Continue reading
Modern Trends in Pseudo-Differential Operators
The ISAAC Group in Pseudo-diferential Operators (IGPDO) was formed at the Fourth ISAAC Congress held at York University in ...
Continue reading
Modular Algorithms in Symbolic Summation and Symbolic Integration
This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...
Continue readingMultiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...
Continue reading
Pairing-Based Cryptography - Pairing 2008 : Second International Conference, Egham, UK, September 1-3, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, ...
Continue readingPerspectives of Neural-Symbolic Integration
This carefully edited volume contains state-of-the-art contributions in neural-symbolic integration, covering `loose' coupling ...
Continue reading
Programming Languages : An Active Learning Approach
Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Continue reading
Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
This book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
Continue reading
Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Continue reading
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue reading
Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Continue reading
Researching Elites and Power Theory, Methods, Analyses
This book describes how elite studies theoretically and methodologically construct their object, i.e. how particular conceptualizations ...
Continue reading
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Continue reading
