Maple and Mathematica
the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical ...
اقرأ المزيد
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
اقرأ المزيد
Mathematical Software - ICMS 2006
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
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, ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Meccanica delle strutture e Controllo attivo strutturale
The basic texts of Structural Engineering, present in the literature, mostly give introductory examples. This text, however, ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Memories in Wireless Systems
This book is a guide which treats many components used in mobile communications, and in particular focuses on non-volatile ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Micro Cogeneration
The need for replacement is an extremely important driving force for the current transformation, forcing conventional and ...
اقرأ المزيد
Micro-ISV
Micro-ISV: From Vision to Reality explains what works and why in today's emerging micro-ISV sector. Currently, thousands ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيدMicroprocessor 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 ...
اقرأ المزيد
Microprocessor 3: Core Concepts - Hardware Aspects / Philippe Darche
Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor ...
اقرأ المزيد
Microprocessor 4: Core Concepts - Software Aspects / Philippe Darche
Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the ...
اقرأ المزيد
