Electronic Books

Total Books: 541 - 560 /989

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

Total Books: 541 - 560 /989