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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Fourier Series in Control Theory
Fourier Series in Control Theory successfully gathers all of the available theory of these "nonharmonic Fourier series" ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...
Lee mas
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...
Lee mas
Fuel Cell Technology
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lee mas
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, ...
Lee masFundamental 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 ...
Lee masFundamentals of Airplane Flight Mechanics
Airplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Lee mas
Fundamentals of Cancer Prevention
An authoritative work that provides a detailed review of the current status of practice and research in cancer prevention ...
Lee mas
Fundamentals of Cancer Prevention
An authoritative work that provides a detailed review of the current status of cancer prevention and control practice and ...
Lee mas
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 ...
Lee mas
Fundamentals of Electrical Drives
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
