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