Iste imprint: 1156 books

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line...

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use...

Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the...

Object oriented programming is a way of thinking about problems. Smalltalk is one of the purest incarnations of an object-oriented programming language. Using a pedagogical approach, this book covers all aspects of object oriented programming: first through the study of various preexisting Smalltalk...

The new concept of metamaterial is increasingly attracting the interest of physicists and mechanical engineers. Such materials are obtained by suitably assembling multiple individual elements but usually arranged in (quasi-)periodic substructures in order to show exotic global mechanical properties....

Bistatic radar consists of a radar system which comprises a transmitter and receiver which are separated by a distance comparable to the expected target distance. This book provides a general theoretical description of such bistatic technology in the context of synthetic aperture, inverse synthetic...

During the last decade, image and signal compression for storage and transmission purpose has seen a great expansion. But what about medical data compression? Should a medical image or a physiological signal be processed and compressed like any other data? The progress made in imaging systems, storing...

This book covers the impact of sustainable masonry on the environment, touting the many benefits of utilizing local and/or low embodied energy materials in the construction of sustainable buildings.

The omnipresence of electronic devices in our everyday lives has been accompanied by the downscaling of chip feature sizes and the ever increasing complexity of digital circuits. This book is devoted to the analysis and design of digital circuits, where the signal can assume only two possible...

In this book a general matrix-based approach to modeling electrical machines is promulgated. The model uses instantaneous quantities for key variables and enables the user to easily take into account associations between rotating machines and static converters (such as in variable speed drives). General...

This book presents methods for the design of the main microwave active devices. The first chapter focuses on amplifiers working in the linear mode. The authors present the problems surrounding narrowband and wideband impedance matching, stability, polarization and the noise factor, as well...

This book focuses on Service Oriented Architecture (SOA), the basis of sustainable and more agile IT systems that are able to adapt themselves to new trends and manage processes involving a third party. The discussion is based on the public Praxeme method and features a number of examples taken from...

This title provides a comprehensive survey over the subject of probabilistic combinatorial optimization, discussing probabilistic versions of some of the most paradigmatic combinatorial problems on graphs, such as the maximum independent set, the minimum vertex covering, the longest path and the minimum...

From the characterization of materials to accelerated life testing, experimentation with solids and structures is present in all stages of the design of mechanical devices. Sometimes only an experimental model can bring the necessary elements for understanding, the physics under study just being too...