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
Rational Algebraic Curves : A Computer Algebra Approach
Algebraic curves and surfaces are an old topic of geometric and algebraic investigation. They have found applications for ...
Lee mas
Reasoning Robots
The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains ...
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
Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Lee mas
Sequences and Their Applications - SETA 2008 : 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings
The book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Lee mas
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Lee mas
Storie di cose semplici = Stories of simple things
The nut, the thread, the key, the ring, the mirror, the button and the sphere are simple things that we encounter every day, ...
Lee mas
Symbolic Analysis and Reduction of VLSI Circuits
Efficient modeling and reduction of both the passive and active circuits is essential for hierarchical and IP-based reuse ...
Lee mas
Symbolic Integration I
This first volume in the series "Algorithms and Computation in Mathematics" is destined to become the standard reference ...
Lee mas
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
Lee mas
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ...
Lee mas
Symbolic-Numeric Computation
The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the ...
Lee mas
