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 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 Groups and Lie Groups with Few Factors
Algebraic groups are treated in this volume from a group theoretical point of view and the obtained results are compared ...
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 Collections for Digital Signal Processing Applications Using Matlab
The Algorithms such as SVD, Eigen decomposition, Gaussian Mixture Model, HMM etc. are scattered in different fields. There ...
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
