Electronic Books

Total Books: 741 - 760 /1247

Methods of Celestial Mechanics

G. Beutler's Methods of Celestial Mechanics is a coherent textbook for students in physics, mathematics and engineering ...

Microformats: Empowering Your Markup for Web 2.0

This book is a comprehensive guide to microformats. It explores why—in Bill Gates' words—"We need microformats," how ...

Microinvasive Dentistry : Clinical Strategies and Tools / John J Graeber

A comprehensive guide to techniques, technologies and tools used in microinvasive dentistry. Divided into four sections, ...

Micromechanics of Contact and Interphase Layers

Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals ...

Microscale and Nanoscale Heat Transfer

Constitutes a particularly complete and original collection of ideas, models, numerical methods and experimental tools which ...

Microservices

This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...

Microsoft SharePoint

This detailed second edition is Scot Hilliers follow-up to his market-leading SharePoint book. This version includes extensive ...

Mid-Infrared Coherent Sources and Applications

Coherent sources of mid-infrared (mid-IR) radiation are of great interest for a wide range of scienti?c and technological ...

Mining Sequential Patterns from Large Data Sets

To meet the different needs of various applications, several models of sequential patterns have been proposed. This volume ...

Misch's Contemporary Implant Dentistry / Randolph Resnik

Uses a multidisciplinary approach to cover the industry’s most current processes and surgical procedures. The new edition ...

Mobile Ad-hoc and Sensor Networks (vol. # 3794)

Constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks held in 2005. ...

Mobile Forensics – The File Format Handbook : Common File Formats and File Systems Used in Mobile Devices

This book summarizes knowledge about several file systems and file formats commonly used in mobile devices. In addition to ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model Driven Architecture

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...

Model Driven Architecture and Ontology Development

Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...

Model Driven Engineering Languages and Systems (vol. # 4199)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools

The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...

Model-based Process Supervision : A Bond Graph Approach

Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...

Total Books: 741 - 760 /1247