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 Aspects of the Advanced Encryption Standard
The Belgian block cipher Rijndael was chosen in 2000 by the U.S. government’s National Institute of Standards and Technology ...
Lire la suite
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suite
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suite
Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
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
Algorithm Theory - SWAT 2006
This book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in ...
Lire la suite
Algorithm Theory - SWAT 2008 : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
his book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, ...
Lire la suite
Algorithmes dapproximation
Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. ...
Lire la suite
Algorithmic Applications in Management
The papers in this volume were presented at the 1st International Conference onAlgorithmic Applications in Management (AAIM ...
Lire la suite
Algorithmic Aspects in Information and Management
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Lire la suite
Algorithmic Aspects in Information and Management
This Book is intended for or- inal algorithmic research on immediate applications and/or fundamental pr- lems pertinent to ...
Lire la suite
Algorithmic Aspects in Information and Management
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information ...
Lire la suite
Algorithmic Aspects in Information and Management
This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, ...
Lire la suite
Algorithmic Aspects in Information and Management : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Algorithmic Aspects in Information ...
Lire la suite
