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

Lee mas
Explainable AI with Python

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

Lee mas
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 ...

Lee mas
Finding the Limits of the Limes

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

Lee mas
NoIMG
Finite Difference Computing with Exponential Decay Models

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

Lee mas
Finite Mixture and Markov Switching Models

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

Lee mas
Finite Mixture and Markov Switching Models

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

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
NoIMG
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 ...

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

Lee mas
Fundamental Approaches to Software Engineering

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

Lee mas
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 ...

Lee mas
Generalized Collocations Methods : Solutions to Nonlinear Problems

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

Lee mas
Total Books: 121 - 140 /354