Electronic Books

Total Books: 301 - 320 /4224

Algebra, Meaning, and Computation

This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...

Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Algebraic Methodology and Software Technology

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...

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 ...

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 ...

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 ...

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 ...

Alginates in Drug Delivery

Alginates in Drug Delivery explores the vital precepts, basic and fundamental aspects of alginates in pharmaceutical sciences, ...

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, ...

Algorithmic Aspects of Wireless Sensor Networks

This volume contains the contributed papers and invited talks presented at the 1stInternational Workshop on Algorithmic Aspect ...

Algorithmic Aspects of Wireless Sensor Networks : Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers

This book constitutes the reviewed proceedings of the Fourth International Workshop on Algorithmic Aspects of Wireless Sensor ...

Algorithmic Aspects of Wireless Sensor Networks : Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers

This book contains the proceedings of the Third International Workshop on Algorithmic Aspects of Wireless Sensor Networks. ...

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 ...

Algorithmic Game Theory : First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Symposium on Algorithmic Game Theory, SAGT 2008, ...

Algorithmic Learning Theory (vol. # 3734)

This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT ...

Algorithmic Learning in a Random World

This new monograph integrates mathematical theory and revealing experimental work. It demonstrates mathematically the validity ...

Algorithmic Topology and Classification of 3-Manifolds

This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology. The book ...

Algorithms - ESA 2008 : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...

Algorithms and Architectures for Parallel Processing : 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...

Total Books: 301 - 320 /4224