Algebra, Meaning, and Computation
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
Weiterlesen
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 ...
Weiterlesen
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
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 ...
Weiterlesen
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Weiterlesen
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Weiterlesen
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Algorithm Theory - SWAT 2006
This book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in ...
Weiterlesen
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, ...
Weiterlesen
Algorithmes dapproximation
Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. ...
Weiterlesen
Algorithmic Applications in Management
The papers in this volume were presented at the 1st International Conference onAlgorithmic Applications in Management (AAIM ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Algorithmic Aspects in Information and Management
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information ...
Weiterlesen
Algorithmic Aspects in Information and Management
This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, ...
Weiterlesen
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 ...
Weiterlesen
