Advances in Cryptology - EUROCRYPT 2007
This book address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis ...
Lire la suite
Advances in Cryptology - EUROCRYPT 2007
This book address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis ...
Lire la suite
Advances in Evolutionary Computing for System Design
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes ...
Lire la suite
Advances in Information and Computer Security
this year in Kyoto and to publish the proceedings as a volume of the Lecture Notes in Computer Science series. The workshop ...
Lire la suite
Advances in Intelligent Computing (vol. # 3645)
This book constitutes the proceedings of the International Conference on Intelligent Computing (ICIC 2005), held in China, ...
Lire la suite
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...
Lire la suite
Algebra and Coalgebra in Computer Science
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Lire la suite
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suite
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suite
Algebra, Meaning, and Computation
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Lire la suite
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lire la suite
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Lire la suite
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Lire la suite
Algorithmic Foundation of Robotics VII : Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics
This book contains the proceedings from the 2006 Workshop on the Algorithmic Foundations of Robotics. The 32 papers in this ...
Lire la suite
Analog Circuit Design
Analog Circuit Design contains the contribution of 18 tutorials of the 14th workshop on Advances in Analog Circuit Design. ...
Lire la suite
Anti-Spam Measures
The goal of this book is the methodical analysis of the potential, limitations, advantages, and drawbacks of anti-spam measures. ...
Lire la suite
Anti-Spam Measures
The goal of this book is the methodical analysis of the potential, limitations, advantages, and drawbacks of anti-spam measures. ...
Lire la suite
