Electronic Books

Total Books: 21 - 40 /51

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 ...

Total Books: 21 - 40 /51