Electronic Books

Total Books: 2801 - 2820 /4928

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

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

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

Liapunov Functions and Stability in Control Theory

This book presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework ...

Life as We Know It

Life As we Know It ["LAKI"] covers several aspects of Life, ranging from the prebiotic level, origin of life, evolution ...

Life: An Introduction to Complex Systems Biology

What is life? Has molecular biology given us a satisfactory answer to this question? And if not, why, and how to carry on ...

Light Scattering Reviews 3 : Light Scattering and Reflection

This book is devoted to modern knowledge and milestones in both experimental and theoretical techniques related to light ...

Light Scattering in Solids IX

This is the ninth volume of a well-established series. It reviews recent developments concerning mainly semiconductor nanostructures ...

Light, Nature, Architecture : A Guide to Holistic Lighting Design / Ulrike Brandi, Ian Ritchie

Proves how important, but also how easy it is to integrate natural light into planning and thus into the design of healthy ...

Limit Cycles of Differential Equations

This textbook contains the lecture series originally delivered at the "Advanced Course on Limit Cycles of Differential Equations" ...

Linear Algebra Thoroughly Explained

Linear Algebra Thoroughly Explained provides a comprehensive introduction to the subject suitable for adoption as a self-contained ...

Linear Genetic Programming

Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. ...

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 : Foundations and Extensions

Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained ...

Linear Systems

Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, ...

Linear Systems

Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, ...

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

Linearization Methods for Stochastic Dynamic Systems

The aim of this book is to give a systematic introduction to and overview of the relatively simple and popular linearization ...

Total Books: 2801 - 2820 /4928