The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
Lire la suite
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Lire la suite
Parasitic, bacterial and viral agents continue to challenge the welfare of humans, livestock, wild life and plants worldwide. ...
Lire la suite
Genetic engineering is a powerful tool for crop improvement. Crop biotechnology before 2001 was reviewed in Transgenic Crops ...
Lire la suite
Genetic engineering is a powerful tool for crop improvement. The status of crop biotechnology before 2001 was reviewed in ...
Lire la suite
Genetic engineering is a powerful tool for crop improvement. The status of crop biotechnology before 2001 was reviewed in ...
Lire la suite
including our own. By reconstructing the theoretical framework of transmedial narration, this book enables the inclusion ...
Lire la suite
The theory of nonlinear hyperbolic equations in several space dimensions has recently obtained remarkable achievements thanks ...
Lire la suite
The study of kinetic equations related to gases, semiconductors, photons, traffic flow, and other systems has developed rapidly ...
Lire la suite
Tribology of Diamond-like Carbon Films discusses the most important structural, chemical, mechanical and tribological characteristics ...
Lire la suite
This book presents a concise overview of genetic variation, evolutionary processes and the human impact on forest genetic ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Trust Management, iTrust 2006. 30 revised ...
Lire la suite
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Lire la suite
This book summarizes the results of the European research project “Twin-model based virtual manufacturing for machine tool-process ...
Lire la suiteThis unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...
Lire la suite
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suite
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suite
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite
Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...
Lire la suite
We all feel that our world is fundamentally uncertain. But less unanimity emerges as to what we mean by "uncertainty" and ...
Lire la suite