Maple and Mathematica
the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical ...
Lee mas
Mastering VMware Horizon 8 : An Advanced Guide to Delivering Virtual Desktops and Virtual Apps / Peter von Oven
Learn all about designing, installing, configuring, and managing VMware Horizon, with a core focus on how to deliver virtual ...
Lee mas
Materials Chemistry
"Written to fill the need for a textbook that addresses inorganic-, organic-, and nano-based materials from a structure ...
Lee mas
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
Lee mas
Mathematical Software - ICMS 2006
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
Lee mas
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
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
Maturing Usability : Quality in Software, Interaction and Value
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...
Lee mas
Measuring the Business Value of Cloud Computing
The importance of demonstrating the value achieved from IT investments is long established in the Computer Science (CS) and ...
Lee mas
Meccanica delle strutture e Controllo attivo strutturale
The basic texts of Structural Engineering, present in the literature, mostly give introductory examples. This text, however, ...
Lee mas
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee mas
Memories in Wireless Systems
This book is a guide which treats many components used in mobile communications, and in particular focuses on non-volatile ...
Lee mas
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
Lee mas
Methods and Tools for Collaborative Networked Organizations
The main aim of this book is to provide a comprehensive set of reference materials derived from the results of the ECOLEAD ...
Lee mas
Metric Driven Design Verification
A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically ...
Lee mas
Micro Cogeneration
The need for replacement is an extremely important driving force for the current transformation, forcing conventional and ...
Lee mas
Micro-ISV
Micro-ISV: From Vision to Reality explains what works and why in today's emerging micro-ISV sector. Currently, thousands ...
Lee mas
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 ...
Lee mas
Microprocessor 1: Prolegomena - Calculation and Storage Functions - Models of Computation and Computer Architecture / Philippe Darche
Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. ...
Lee masMicroprocessor 2: Communication in a Digital System / Philippe Darche
Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and ...
Lee mas
