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 ...
Lee mas
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 ...
Lee mas
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masMultiple 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 ...
Lee mas
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, ...
Lee masPerspectives of Neural-Symbolic Integration
This carefully edited volume contains state-of-the-art contributions in neural-symbolic integration, covering `loose' coupling ...
Lee mas
Programming Languages : An Active Learning Approach
Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Researching Elites and Power Theory, Methods, Analyses
This book describes how elite studies theoretically and methodologically construct their object, i.e. how particular conceptualizations ...
Lee mas
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 ...
Lee mas
