Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suite
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
Lire la suite
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Lire la suite
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lire la suite
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Lire la suite
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Lire la suiteAlginates in Drug Delivery explores the vital precepts, basic and fundamental aspects of alginates in pharmaceutical sciences, ...
Lire la suite
This book contains the proceedings from the 2006 Workshop on the Algorithmic Foundations of Robotics. The 32 papers in this ...
Lire la suite
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, ...
Lire la suite
his book constitutes the revised papers of the Fourth International Workshop on Algorithms and Models for the Web-Graph, ...
Lire la suite
This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered ...
Lire la suite
Kuklys examines how Nobel Prize-winning economist Amartya Sen’s approach to welfare measurement can be put in practice ...
Lire la suite
Many difficult scientific discovery tasks can only be solved in interactive ways, by combining intelligent computing techniques ...
Lire la suite
Biological control is among the most promising methods for control of pests (including vectors), diseases and weeds. In this ...
Lire la suite
The use of various types of wave energy is an increasingly promising, non-destructive means of detecting objects and of diagnosing ...
Lire la suite
Provides a more accessible introduction than other books on Markov processes by emphasizing the structure of the subject ...
Lire la suite
Biomedical imaging is a fascinating research area to applied mathematicians. Challenging imaging problems arise and they ...
Lire la suite
This book provides an overview of Java … . Each chapter is supplemented with practical programming exercises.The combination ...
Lire la suite