This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteIt takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...
Lire la suiteVisual perception is the most important of the human senses. Lack of visual perception is one of the main causes of accidents. ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...
Lire la suiteThis book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Lire la suiteThis open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable ...
Lire la suiteThis book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
Lire la suiteFacial nerve surgery inevitably leads to partial pareses, abnormally associated movements and pathologically altered reflexes. ...
Lire la suiteExpands on Building Information Modeling, showing its applicability to a range of design-oriented projects. It emphasizes ...
Lire la suiteFull of practical tips and hard-won experience, and includes pithy contributions from industry experts who identify and explore ...
Lire la suiteThis volume tends to focus on the biology of biofilms that affect human disease. It opens with chapters that provide the ...
Lire la suiteThis completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...
Lire la suiteThis book imparts fundamental knowledge on the structure, organization, and evolution of bacterial genomes. The value and ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Lire la suiteThis book discusses the morpho-syntactic Balkan Sprachbund features in nine languages in which they are most numerous. It ...
Lire la suiteThe aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...
Lire la suiteThis books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure ...
Lire la suiteA concise text expertly written by the same distinguished author team as the best-selling, comprehensive text, Cellular and ...
Lire la suiteR's open source nature, free availability, and large number of contributor packages have made R the software of choice for ...
Lire la suiteProbabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
Lire la suite