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