Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
Automatic Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...
اقرأ المزيد
Automotive Lighting and Human Vision
Visual perception is the most important of the human senses. Lack of visual perception is one of the main causes of accidents. ...
اقرأ المزيد
Autonomic and Trusted Computing
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...
اقرأ المزيد
Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
اقرأ المزيد
Autonomous Control for a Reliable Internet of Services
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable ...
اقرأ المزيد
Autonomous Intelligent Systems: Agents and Data Mining
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
اقرأ المزيد
Axonal Branching and Recovery of Coordinated Muscle Activity after Transsection of the Facial Nerve in Adult Rats
Facial nerve surgery inevitably leads to partial pareses, abnormally associated movements and pathologically altered reflexes. ...
اقرأ المزيدBIM for Design Firms: Data Rich Architecture at Small and Medium Scales / François Lévy, Jeffrey W. Ouellette
Expands on Building Information Modeling, showing its applicability to a range of design-oriented projects. It emphasizes ...
اقرأ المزيد
BIM in Small Practices : Illustrated Case Studies / Robert Klaschka
Full of practical tips and hard-won experience, and includes pithy contributions from industry experts who identify and explore ...
اقرأ المزيد
Bacterial Biofilms
This volume tends to focus on the biology of biofilms that affect human disease. It opens with chapters that provide the ...
اقرأ المزيد
Bacterial Fish Pathogens
This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...
اقرأ المزيد
Bacterial Genomes and Infectious Diseases
This book imparts fundamental knowledge on the structure, organization, and evolution of bacterial genomes. The value and ...
اقرأ المزيد
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
اقرأ المزيد
Balkan Sprachbund Morpho-Syntactic Features
This book discusses the morpho-syntactic Balkan Sprachbund features in nine languages in which they are most numerous. It ...
اقرأ المزيد
Bargaining Power Effects in Financial Contracting
The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...
اقرأ المزيد
Barriers and Biases in Computer-Mediated Knowledge Communication
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure ...
اقرأ المزيد
Basic Immunology / Abul K. Abbas
A concise text expertly written by the same distinguished author team as the best-selling, comprehensive text, Cellular and ...
اقرأ المزيد
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 Networks and Influence Diagrams : A Guide to Construction and Analysis
Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
اقرأ المزيد
