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