Electronic Books

Total Books: 301 - 320 /510

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 ...

Total Books: 301 - 320 /510