Electronic Books

Total Books: 541 - 560 /989

the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical ...

This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...

This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...

The importance of demonstrating the value achieved from IT investments is long established in the Computer Science (CS) and ...

The basic texts of Structural Engineering, present in the literature, mostly give introductory examples. This text, however, ...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

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 is the culmination of the first ...

The main aim of this book is to provide a comprehensive set of reference materials derived from the results of the ECOLEAD ...

A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically ...

The need for replacement is an extremely important driving force for the current transformation, forcing conventional and ...

Micro-ISV: From Vision to Reality explains what works and why in today's emerging micro-ISV sector. Currently, thousands ...

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

Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. ...

Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and ...

Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor ...

Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the ...

Total Books: 541 - 560 /989