Iste imprint: 1156 books

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation...

In recent years, the systems designed to support activity in the fields of banking, health, transportation, space, aeronautics, defense, etc. have become increasingly larger and more complex. With the growing maturity of information and communication technologies, systems have been interconnected...

This series of five volumes proposes an integrated description of physical processes modeling used by scientific disciplines from meteorology to coastal morphodynamics. Volume 1 describes the physical processes and identifies the main measurement devices used to measure the main parameters that are...

This third volume in the comprehensive Digital Electronics series, which explores the basic principles and concepts of digital circuits, focuses on finite state machines. These machines are characterized by a behavior that is determined by a limited and defined number of states, the holding conditions...

Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another...

In operation, mechatronics embedded systems are stressed by loads of different causes: climate (temperature, humidity), vibration, electrical and electromagnetic. These stresses in components induce failure mechanisms should be identified and modeled for better control. AUDACE is a collaborative project...

This book focuses on green networking, which is an important topic for the scientific community composed of engineers, academics, researchers and industrialists working in the networking field. Reducing the environmental impact of the communications infrastructure has become essential with the ever...

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings together the contributions of various specialists...

The performance of an company depends both on its technological expertise and its managerial and organizational effectiveness. Production management is an important part of the process for manufacturing firms. The organization of production relies in general on the implementation of a certain number...

In an increasingly interconnected world, "Communication Networks Economy" provides the rational understanding necessary to provide universal access to communication means in an efficient way. This book presents the principal elements of the economics of a network as it stands today, taking into account...

This book aims to extract the "molecular genes" leading to craziness! Geniuses are the ones who are "crazy enough to think they can change the world" and boldly go where no one has gone before. Where no past habit and usage are available, there is no proof of viability, as nobody has done it yet,...

Transport systems are facing an impossible dilemma: satisfy an increasing demand for mobility of people and goods, while decreasing their fossil-energy requirements and preserving the environment. Additionally, transport has an opportunity to evolve in a changing world, with new services, technologies...

Transport systems are facing an impossible dilemma: satisfy an increasing demand for mobility of people and goods, while decreasing their fossil-energy requirements and preserving the environment. Additionally, transport has an opportunity to evolve in a changing world, with new services, technologies...

Model-driven Development for Embedded Software: Application to Communications for Drone Swarm describes the principles of model-oriented design used in the aeronautical field, specifically for the UAV (Unmanned Aerial Vehicle). The book focuses on designing an embedded system for drones to carry out...