Electronic Books

Total Books: 1581 - 1600 /2814

Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging the Semantics of Topics Maps

The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, ...

Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences

This is book. Lewis F Richardson (1981-1953), a physicist by training, was a pioneer in meteorology and peace research and ...

Life System Modeling and Simulation

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers ...

Lifetime Spectroscopy

Lifetime spectroscopy is one of the most sensitive diagnostic tools for the identification and analysis of impurities in ...

Light Scattering Reviews 2

Part of the ""Light Scattering Reviews"" series that is devoted to modern knowledge and milestones in both experimental ...

Linear Estimation and Detection in Krylov Subspaces

This book focuses on the foundations of linear estimation theory which is essential for effective signal processing. In its ...

Linear Models and Generalizations: Least Squares and Alternatives

Thebookisbasedonseveralyearsofexperienceofbothauthorsinteaching linear models at various levels. It gives an up-to-date account ...

Linear Optimization Problems with Inexact Data

Linear programming attracted the interest of mathematicians during and after World War II when the first computers were constructed ...

Linear Optimization Problems with Inexact Data

Linear programming attracted the interest of mathematicians during and after World War II when the first computers were constructed ...

Linear Partial Differential Equations for Scientists and Engineers

This significantly expanded fourth edition is designed as an introduction to the theory and applications of linear PDEs. ...

Linear Programming and its Applications

This book presents a unified treatment of linear programming. Without sacrificing mathematical rigor, the main emphasis of ...

Linear Systems Control : Deterministic and Stochastic Methods

Modern control theory and in particular state space or state variable methods can be adapted to the description of many different ...

Linear and Generalized Linear Mixed Models and Their Applications

This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and ...

Linear and Generalized Linear Mixed Models and Their Applications

This book covers two major classes of mixed effects models, linear mixed models and generalized linear mixed models, and ...

Lines of Inquiry in Mathematical Modelling Research in Education

The book addresses the “balancing act” between developing students’ modelling skills on the one hand, and using modelling ...

Linkage in Evolutionary Computation

The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. ...

Linked Democracy : Foundations, Tools, and Applications

This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...

Total Books: 1581 - 1600 /2814