Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suite
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lire la suite
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lire la suite
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suite
Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Lire la suite
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suite
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 ...
Lire la suite
Autonomous Navigation in Dynamic Environments
The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...
Lire la suite
Autonomous Robots and Agents
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...
Lire la suite
Autonomy and Human Rights in Health Care : An International Perspective
Autonomy and Human Rights in Healthcare: An International Perspective is a group of essays published in memory of David Thomasma, ...
Lire la suite
Axially Chiral Compounds: Asymmetric Synthesis and Applications / Bin Tan
Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially ...
Lire la suite
Axially Chiral Compounds: Asymmetric Synthesis and Applications / Bin Tan
Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially ...
Lire la suite
Axon Growth and Guidance
The complexarchitectureofneuronal networks togetherwith the extraordinary associated functions make the nervous system a ...
Lire la suite
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. ...
Lire la suite
Azaheterocycles Based on -, ß-Unsaturated Carbonyls
This book is devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles ...
Lire la suite
Bacterial Fish Pathogens
This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...
Lire la suite
Bacteriocins
Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules ...
Lire la suite
Bancroft’s Theory and Practice of Histological Techniques / S. Kim Suvarna, Christopher Layton, John D. Bancroft
Suitable for those involved with histological preparations and applications, from the student to the highly experienced laboratory ...
Lire la suite
