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 ...
Lee mas
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 ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
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 ...
Lee mas
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 ...
Lee masLow-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 ...
Lee mas
Low-Temperature Physics
This book provides a concise but thorough introduction to important phenomena of low-temperature physics. It is ideally suited ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
MRI of the Liver
Due to the latest developments in magnetic resonance imaging for the evaluation of liver pathology, a second, completely ...
Lee mas
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 ...
Lee mas
Machine Learning for Multimedia Content Analysis
Challenges in complexity and variability of multimedia data have led to revolutions in machine learning techniques. Multimedia ...
Lee mas
Magnetic Resonance Imaging in Orthopedic Sports Medicine
Though magnetic resonance imaging has helped revolutionize the field of orthopedic medicine, a difference in perspective ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Maxillofacial Imaging
Maxillofacial imaging has evolved dramatically over the past two decades with development of new cross-sectional imaging ...
Lee mas
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 ...
Lee masMedical 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 ...
Lee mas
Methods and Tools for Drought Analysis and Management
Implementation of effective drought management policies requires both advanced technologies and appropriate methods. Monitoring ...
Lee mas
