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 ...
اقرأ المزيد
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 ...
اقرأ المزيدAlginates in Drug Delivery
Alginates in Drug Delivery explores the vital precepts, basic and fundamental aspects of alginates in pharmaceutical sciences, ...
اقرأ المزيد
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 Learning Theory : 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, ...
اقرأ المزيد
Algorithms and Models for the Web-Graph : Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers
his book constitutes the revised papers of the Fourth International Workshop on Algorithms and Models for the Web-Graph, ...
اقرأ المزيد
Algorithms and Programming : Problems and Solutions
This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered ...
اقرأ المزيد
Amartya Sens Capability Approach
Kuklys examines how Nobel Prize-winning economist Amartya Sen’s approach to welfare measurement can be put in practice ...
اقرأ المزيد
Ambient Intelligence for Scientific Discovery
Many difficult scientific discovery tasks can only be solved in interactive ways, by combining intelligent computing techniques ...
اقرأ المزيد
An Ecological and Societal Approach to Biological Control
Biological control is among the most promising methods for control of pests (including vectors), diseases and weeds. In this ...
اقرأ المزيد
An Introduction to Echo Analysis : Scattering Theory and Wave Propagation
The use of various types of wave energy is an increasingly promising, non-destructive means of detecting objects and of diagnosing ...
اقرأ المزيد
An Introduction to Markov Processes
Provides a more accessible introduction than other books on Markov processes by emphasizing the structure of the subject ...
اقرأ المزيد
An Introduction to Mathematics of Emerging Biomedical Imaging
Biomedical imaging is a fascinating research area to applied mathematicians. Challenging imaging problems arise and they ...
اقرأ المزيد
An Introduction to Network Programming with Java
This book provides an overview of Java … . Each chapter is supplemented with practical programming exercises.The combination ...
اقرأ المزيد
