Iste imprint: 1156 books

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods...

After a quick survey of the famous pioneers of human movement analysis and the actual needs in different domains, this book presents the main types of systems available on the market (with the pros and cons), and then details the most widely used: the optoelectronic systems using passive markers....

Texturing surfaces at micro- and/or nano-scales modifies the interactions of liquids and solids. This book is a summary of the state of the art concerning the development and use of micro/nano-technologies for the design of synthetic liquid repellent surfaces with a particular focus on super-omniphobic...

Mathematical Imaging is currently a rapidly growing field in applied mathematics, with an increasing need for theoretical mathematics. This book, the second of two volumes, emphasizes the role of mathematics as a rigorous basis for imaging sciences. It provides a comprehensive and convenient...

Combining laboratory experience with research and policy developments, this book provides an insight into the historical background of marine monitoring, its regulatory frameworks and science–policy interactions. With experience in the European Commission, the author draws from practical...

This book focuses on the emergence of the "science of sustainability" and the key concepts in making sustainability operational in an organization. The authors discuss the methods, techniques and tools needed to manage the impact of sustainability and how these can be reformulated into business...

This book discusses the key concepts of the technologies that underpin the drive towards sustainability in today’s complex world. The authors propose an integrated view of the frontiers facing any organization nowadays – whether an enterprise, an administration or any human collective construction...

Faced with ever-increasing complexity on a daily basis, the decision-makers of today are struggling to find the appropriate models, methods and tools to face the issues arising in complex systems across all levels of global operations. Having, in the past, resorted to outdated approaches which...

Growth is a dominant economic driver accounting for the wealth of nations and organizations alike. However, in the face of environmental pressures, widespread social and economic imbalance, and the reigning climate of uncertainty we are experiencing today, there is now a need for a viable interpretation...

CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard...

Electrochemical capacitors are electrochemical energy storage devices able to quickly deliver or store large quantities of energy. They have stimulated numerous innovations throughout the last 20 years and are now implemented in many fields. Supercapacitors Based on Carbon or Pseudocapacitive Materials...

Agent-based modeling is a flexible and intuitive approach that is close to both data and theories, which gives it a special position in the majority of scientific communities. Agent models are as much tools of understanding, exploration and adaptation as they are media for interdisciplinary exchange....

This book aims to provide a synthesis of work and ideas done by our team over the last fifteen years in the field of information processing for expression of industrial performance. The statement of objectives on the one hand and the calculation of the other performances are discussed, with the search...

This book describes the potentialities of metaheuristics for solving production scheduling problems and the relationship between these two fields. For the past several years, there has been an increasing interest in using metaheuristic methods to solve scheduling problems. The main reasons for this...