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 Analysis of Differential Equations : from Microlocal Analysis to Exponential Asymptotics Festschrift in Honor of Takahiro Kawai Editors
This volume contains 23 articles on algebraic analysis of differential equations and related topics, most of which were presented ...
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 Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem ...
Lire la suite
Algebraic Geometry and Number Theory
One of the most creative mathematicians of our times, Vladimir Drinfeld received the Fields Medal in 1990 for his groundbreaking ...
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
Algebras, Rings and Modules
This book provides both the classical aspects of the theory of groups and their representations as well as a general introduction ...
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
