Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
اقرأ المزيد
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
اقرأ المزيد
Long-Run Growth Forecasting
This book explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number ...
اقرأ المزيد
Long-Term Preservation of Digital Documents
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...
اقرأ المزيدLow-Cost Methods for Molecular Characterization of Mutant Plants : Tissue Desiccation, DNA Extraction and Mutation Discovery: Protocols
This book offers low-cost and rapid molecular assays for the characterization of mutant plant germplasm. Detailed protocols ...
اقرأ المزيد
Low-Temperature Physics
This book provides a concise but thorough introduction to important phenomena of low-temperature physics. It is ideally suited ...
اقرأ المزيد
L’osservazione delle stelle variabili = The observation of variable stars
The observation of variable stars is one of the main contributions that amateur astronomers can offer to science and this ...
اقرأ المزيد
MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
اقرأ المزيد
MRI of the Liver
Due to the latest developments in magnetic resonance imaging for the evaluation of liver pathology, a second, completely ...
اقرأ المزيد
Machine Learning and Big Data Analytics Paradigms: Analysis, Applications and Challenges
This book is intended to present the state of the art in research on machine learning and big data analytics. The accepted ...
اقرأ المزيد
Machine Learning for Multimedia Content Analysis
Challenges in complexity and variability of multimedia data have led to revolutions in machine learning techniques. Multimedia ...
اقرأ المزيد
Magnetic Resonance Imaging in Orthopedic Sports Medicine
Though magnetic resonance imaging has helped revolutionize the field of orthopedic medicine, a difference in perspective ...
اقرأ المزيد
Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
اقرأ المزيد
Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
اقرأ المزيد
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
اقرأ المزيد
Maxillofacial Imaging
Maxillofacial imaging has evolved dramatically over the past two decades with development of new cross-sectional imaging ...
اقرأ المزيد
Measuring Emission of Agricultural Greenhouse Gases and Developing Mitigation Options using Nuclear and Related Techniques Applications of Nuclear Techniques for GHGs
This book is an outcome of the collaboration between the Soil and Water Management & Crop Nutrition Section, Joint FAO/IAEA ...
اقرأ المزيدMedical Reprints : 3D Edition / Heba Alkhatib ; Wafaa Baalbaky ; Lilas Abdlly
3D printing or additive manufacturing is a novel method of manufacturing parts directly from a digital model by using layer ...
اقرأ المزيد
Methods and Tools for Drought Analysis and Management
Implementation of effective drought management policies requires both advanced technologies and appropriate methods. Monitoring ...
اقرأ المزيد
