Electronic Books

Total Books: 1821 - 1840 /3348

Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...

Laser Fabrication and Machining of Materials

Laser Fabrication and Machining of Materials introduces readers to the fundamental properties and physical phenomena of laser ...

Lattice Boltzmann Modeling

Lattice Boltzmann models have a remarkable ability to simulate single- and multi-phase fluids and transport processes within ...

Law and the Semantic Web

by Roberto Cencioni At the Lisbon Summit in March 2000, European heads of state and government set a new goal for the European ...

Lead-Free Electronic Solders

In the last few decades the effect of lead contamination on human health has received significant attention. Based on such ...

Lead-free Soldering

The push toward lead-free soldering in computers, cell phones and other electronic and electrical devices has taken on a ...

Leakage in Nanometer CMOS Technologies

It is essential for circuit and system designers to understand the components of leakage, sensitivity of leakage to different ...

Learning Classifier Systems in Data Mining

Just over thirty years after Holland first presented the outline for Learning Classifier System paradigm, the ability of ...

Learning from Nature How to Design New Implantable Biomaterialsis: From Biomineralization Fundamentals to Biomimetic Materials and Processing Routes

The demands upon the material properties largely depend on the site of application and the function it has to restore. Ideally, ...

Leonardo´s Lost Robots

The book reinterprets Leonardo's legacy of notes, showing that apparently unconnected fragments from dispersed manuscripts ...

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

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

Lifetime Estimation of Welded Joints

In the paper the author attempts to assess the fatigue life of chosen welded joints. It focuses especially on chosen problems ...

Light, Water, Hydrogen : The Solar Generation of Hydrogen by Water Photoelectrolysis

The development of a direct, inexpensive, and efficient method for converting solar energy into a portable, clean fuel would ...

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

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

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

Total Books: 1821 - 1840 /3348