Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suite
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suite
Foundations of Generic Optimization : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Lire la suite
Fourier Series in Control Theory
Fourier Series in Control Theory successfully gathers all of the available theory of these "nonharmonic Fourier series" ...
Lire la suite
From Biological Control to Invasion : the Ladybird Harmonia axyridis as a Model Species
Harmonia axyridis has been described as the "most invasive ladybird on Earth". It has a long history of use as a classical ...
Lire la suite
From Stochastic Calculus to Mathematical Finance
The Festschrift is a collection of papers, including several surveys, written by his former students, co-authors and colleagues. ...
Lire la suite
From Stochastic Calculus to Mathematical Finance
The Festschrift is a collection of papers, including several surveys, written by his former students, co-authors and colleagues. ...
Lire la suite
Frontiers in Hardware Security and Trust: Theory, design and practice
The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
Lire la suite
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...
Lire la suite
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...
Lire la suite
Fuel Cell Technology
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lire la suite
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suiteFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suiteFundamentals of Airplane Flight Mechanics
Airplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Lire la suite
Fundamentals of Cancer Prevention
An authoritative work that provides a detailed review of the current status of practice and research in cancer prevention ...
Lire la suite
Fundamentals of Cancer Prevention
An authoritative work that provides a detailed review of the current status of cancer prevention and control practice and ...
Lire la suite
Fundamentals of Cavitation
This book treats cavitation, which is a unique phenomenon in the field of hyd- dynamics, although it can occur in any hydraulic ...
Lire la suite
Fundamentals of Electrical Drives
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
Lire la suite
Fundamentals of Operative Dentistry: A Contemporary Approach / Thomas J. Hilton, James B. Summitt, James Broome
Updated with full-color illustrations throughout and substantial revisions in every chapter to incorporate the latest scientific ...
Lire la suite
Future Data and Security Engineering : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020, Proceedings
This book constitutes the proceedings of the 7th International Conference on Future Data and Security Engineering, FDSE 2020, ...
Lire la suite
