Electronic Books

Total Books: 121 - 140 /354

Evolution of Thin Film Morphology

Thin film deposition is the most ubiquitous and critical of the processes used to manufacture high tech devices. Morphology ...

Explainable AI with Python

This book provides a full presentation of the current concepts and available techniques to make “machine learning” systems ...

Explainable Artificial Intelligence : An Introduction to Interpretable Machine Learning / Uday Kamath, Dr. John Liu

Offers a curriculum for introducing interpretability to machine learning at every stage. The authors provide compelling examples ...

Finding the Limits of the Limes

This book demonstrates the application of simulation modelling and network analysis techniques. The book shows the added ...

Finite Difference Computing with Exponential Decay Models

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...

Finite Mixture and Markov Switching Models

The prominence of finite mixture modelling is greater than ever. Many important statistical topics like clustering data, ...

Finite Mixture and Markov Switching Models

The prominence of finite mixture modelling is greater than ever. Many important statistical topics like clustering data, ...

Forecasting and Assessing Risk of Individual Electricity Peaks

The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction ...

Forecasting with Exponential Smoothing : The State Space Approach

Exponential smoothing methods have been around since the 1950s, and are the most popular forecasting methods used in business ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 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 Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

From Data to Models and Back

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...

Fundamental Approaches to Software Engineering

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

General Theory of Information Transfer and Combinatorics

This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of ...

Generalized Collocations Methods : Solutions to Nonlinear Problems

This book examines various mathematical tools—based on generalized collocation methods—to solve nonlinear problems related ...

Total Books: 121 - 140 /354