Electronic Books

Total Books: 361 - 380 /952

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, ...

Total Books: 361 - 380 /952