An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation ...
Weiterlesen
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Weiterlesen
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Weiterlesen
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
Bioarrays: From Basics to Diagnostics provides an integrated and comprehensive collection of timely articles on the use of ...
Weiterlesen
The conference was organized by the Laboratory of Theoretical Genetics, Institute of Cytology and Genetics, Siberian Branch ...
Weiterlesen
The average person can name more bird species than they think, but do we really know what a bird “species” is? This open ...
Weiterlesen
This book uses Pierre Bourdieu’s field theory as a lens through which to examine military operations. Novel in its approach, ...
Weiterlesen
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Weiterlesen
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Weiterlesen
This book examines the appearance of matter in its most primitive form, from the vacuum and the diversity that results from ...
Weiterlesen
This book examines the educational conditions that support cultures of exploration in kindergartens. It conceptualises cultures ...
Weiterlesen
Cytogenetics is a very important research tool in basic and applied research. The uses of cytogenetics in human-population ...
Weiterlesen
Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...
Weiterlesen
Although Riemann surfaces are a time-honoured field, this book is novel in its broad perspective that systematically explores ...
Weiterlesen
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop ...
WeiterlesenHybrid Intelligent Systems has become an important research topic in computer science and a key application field in science ...
Weiterlesen
This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...
Weiterlesen