Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيد
Autonomous Robots and Agents
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...
اقرأ المزيد
Autonomous Systems - Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
اقرأ المزيد
Basics of Aerothermodynamics
The discrete numerical methods of aerodynamics/aerothermodynamics permit now - what was twenty years ago not imaginable - ...
اقرأ المزيد
Bayesian Computation with R : Introduces Bayesian modeling by use of computation using the R language
R's open source nature, free availability, and large number of contributor packages have made R the software of choice for ...
اقرأ المزيد
Bayesian Core: A Practical Approach to Computational Bayesian Statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on ...
اقرأ المزيد
Bayesian Reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...
اقرأ المزيد
Beginning C# 2008
This book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...
اقرأ المزيد
Bifurcations, Instabilities, Degradation in Geomechanics
Leading international researchers and practitioners of bifurcations and instabilities in geomechanics debate the developments ...
اقرأ المزيد
Bio-Inspired Computational Intelligence and Applications
It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. ...
اقرأ المزيد
Bio-Inspired Computational Intelligence and Applications
It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. ...
اقرأ المزيد
Bio-Inspired Computing and Communication : First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...
اقرأ المزيد
Bio-mechanisms of Swimming and Flying
This book follows "Bio-mechanisms of Animals in Swimming and Flying" published in 2004 including 11 chapters. This time, ...
اقرأ المزيد
Bioinformatics Research and Applications
This book including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, ...
اقرأ المزيد
Bioinformatics Research and Applications
This book including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, ...
اقرأ المزيد
Biology and Mechanics of Blood Flows : Part I: Biology
Biology and Mechanics of Blood Flows presents the basic knowledge and state-of-the-art techniques necessary to carry out ...
اقرأ المزيد
Biology and Mechanics of Blood Flows : Part II: Mechanics and Medical Aspects
Biology and Mechanics of Blood Flows presents the basic knowledge and state-of-the-art techniques necessary to carry out ...
اقرأ المزيد
Biomedical Simulation
This book contains the written contributions to the Third International Sym- sium on Biomedical Simulation (ISBMS), which ...
اقرأ المزيد
