Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Leveraging Mobile Media
Mobile communications and next generation wireless networks emerge as new distribution channels for the media. This development ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Lie Theory (vol. # 230)
Van den Ban’s introductory chapter explains the basic setup of a reductive symmetric space along with a careful study of ...
Continue reading
Life System Modeling and Simulation
The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers ...
Continue reading
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. ...
Continue reading
Lifelong Learning, Participation and Equity
In many countries, schools, universities and other traditional learning institutions are not providing for the educational ...
Continue reading
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 ...
Continue reading
Lifetime Spectroscopy
Lifetime spectroscopy is one of the most sensitive diagnostic tools for the identification and analysis of impurities in ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Limnology and Aquatic Birds
The importance of habitat conservation for the protection of birds has become widely acknowledged and accepted by natural ...
Continue reading
Lindhe's Clinical Periodontology and Implant Dentistry, 2 Volume Set, 7th Edition / Niklaus P. Lang, Tord Berglundh, William V. Giannobile, Mariano Sanz
Provides an introduction to anatomy, including periodontal tissues, the edentulous ridge, the mucosa at teeth and implants, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...
Continue reading
