Electronic Books

Total Books: 1881 - 1900 /3500

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

Life - As a Matter of Fat

Lipids are as important for life as proteins, sugars, and genes. The present book gives a multi-disciplinary perspective ...

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

Lifestyle modifications : The best treatment for prediabetes عبد الرحمن عجاج ؛ سارة عكش ؛ عمر الحوراني ؛ إشراف د. رانيا مطر

The main objective of the study is to demonstrate the physiological effects of lifestyle modification on prediabetes. Prediabetes ...

Limnology and Aquatic Birds

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

Linear Models for Optimal Test Design

This book begins with a reflection on the history of test design--the core activity of all educational and psychological ...

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

Linking Restoration and Ecological Succession

This innovative book recognizes the critical roles of disturbance ecology, landscape ecology, ecological assembly, invasion ...

Links Between Geological Processes, Microbial Activities&Evolution of Life : Microbes and Geology

Microbial activities influence water-rock interaction processes and chemical transport between the major geochemical reservoirs ...

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

Lippincott Illustrated Review Immunology / Roger Melvold

Offers a highly visual presentation of essential immunology material, with all the popular features of the series: over 300 ...

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 and Biliary Tract Surgery

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

Living Off the Land in Space

This book draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion 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 Pattern Detection

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

Location- and Context-Awareness (vol. # 3987)

nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...

Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

Logic Based Program Synthesis and Transformation (vol. # 3901)

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

Logic Programming

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

Total Books: 1881 - 1900 /3500