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 Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيد
Automatic Speech Recognition on Mobile Devices and over Communication Networks
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
اقرأ المزيد
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 ...
اقرأ المزيد
B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
اقرأ المزيد
Bandwidth Extension of Speech Signals
Bandwidth Extension of Speech Signals provides discussion on different approaches for efficient and robust bandwidth extension ...
اقرأ المزيد
Banks and Fintech on Platform Economies: Contextual and Conscious Banking / Paolo Sironi
In Banks and Fintech on Platform Economies: Contextual and Conscious Banking, accomplished fintech professional and author ...
اقرأ المزيد
Basics of Aerothermodynamics
The discrete numerical methods of aerodynamics/aerothermodynamics permit now - what was twenty years ago not imaginable - ...
اقرأ المزيدBayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...
اقرأ المزيد
Beetle Conservation
Interest in beetle conservation has long been evident, with many papers treating these abundant, ecologically important and ...
اقرأ المزيد
Behavioral Dentistry / David I. Mostofsky, Farida Fortune
Surveys the vast and absorbing topic of the role of behavioral science in the study and clinical practice of dentistry. An ...
اقرأ المزيد
Behavioral Finance and Your Portfolio: A Navigation Guide for Building Wealth / Michael M. Pompian
Designed for investors who are serious about maximizing their gains, in this book you’ll discover how to: ● Take control ...
اقرأ المزيد
Bioactive Conformation I
This series presents critical reviews of the present position and future trends in modern chemical research. It contains ...
اقرأ المزيد
Biochemistry and Cell Biology of Ageing: Part III Biomedical Science / J. Robin Harris, Viktor I. Korolchuk
Covering interesting and significant biomedical ageing topics not included in the earlier volumes. Comprehensive and cutting-edge, ...
اقرأ المزيد
Biodiversity and Conservation in Europe
This book brings together a selection of original studies submitted to Biodiversity and Conservation that address biodiversity ...
اقرأ المزيد
Biodiversity in Enclosed Seas and Artificial Marine Habitats
The main themes of the Symposium were biodiversity in enclosed and semi-enclosed seas and artificial habitats, and the restoration ...
اقرأ المزيد
Bioeconomic Modelling and Valuation of Exploited Marine Ecosystems
This book offers an environmental-economic analysis of exploited ecosystems with a clear policy orientation. The study tries ...
اقرأ المزيد
Biological Invasions in New Zealand
Man’s recent colonization of New Zealand has dramatically altered the resident biota and resulted in the introduction of ...
اقرأ المزيد
Biomedical EPR - Part B: Methodology, Instrumentation, and Dynamics
Biomedical EPR – Part B focuses on applications of EPR techniques and instrumentation, with applications to dynamics. The ...
اقرأ المزيد
Biometrics and Identity Management : First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers
This volume constitutes the post-conference proceedings of the First European Workshop on Biometrics and Identity Management, ...
اقرأ المزيد
