Electronic Books

Total Books: 1241 - 1260 /2342

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

Liberal Democracy Prosperity through Freedom

This book aims to show which factors have been decisive in the rise of successful countries. Never before have so many people ...

Life in the Universe : Expectations and Constraints

Energy, chemistry, solvents, and habitats -- the basic elements of living systems - define the opportunities and limitations ...

Lifelong Learning : Interpretations of an Education Policy in Europe

In Europe, the idea of Lifelong Learning has developed from an education policy to the most important pedagogic paradigm. ...

Limnology and Aquatic Birds

The importance of habitat conservation for the protection of birds has become widely acknowledged and accepted by natural ...

Linear Genetic Programming

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

Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project

Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, ...

Liposomes as Drug Carriers / Anthony George Haddad ; Ayat Bassam Kanaan ; Mouhammed Mustafa Ali

Patients have recently suffered from the side effects of a large number of drugs and from the weak pharmacological effect, ...

Literature-based Discovery

When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based ...

Lived Nation as the History of Experiences and Emotions in Finland, 1800-2000

This Finland in the nineteenth and twentieth centuries as an empirical case in order to study the emergence, shaping and ...

Liver أحمد كوجك ؛ أحمد كريمة ؛ نور قريع ؛ مروة كوجك

Liver is the second largest organ in human body, more than 5,000 separate bodily functions including helping blood to clot, ...

Liver Radioembolization with Y90 Microspheres

This book provides an in-depth account of all aspects of radioembolization, a relatively novel technique based on the efficacy ...

Liver and Biliary Tract Surgery

The book also covers cutting-edge research and technological advances that will shape the surgery of tomorrow. There is little ...

Liver and Pancreatic Diseases Management

New therapeutical approaches, advances in oncology and in diagnostic imaging, which reduce the need for invasive techniques ...

Living Rivers: Trends and Challenges in Science and Management

All over the world, sustainable river basin management is a leading principle of policy plans and legal instruments for water ...

Local Elites, Political Capital and Democratic Development

This book helps to understand in which ways local governing elites are important for the success or failure of national democratic ...

Local Pattern Detection

Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation ...

Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems

Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...

Location- and Context-Awareness

These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...

Logging in Java with the JDK 1.4 Logging API and Apache log4j

In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs ...

Total Books: 1241 - 1260 /2342