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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Light Shadow Space
The visualization of light in space, its effect on model cubature and scenery, is one of the great challenges in architectural ...
Lee mas
Light earth building : a handbook for building with wood and earth / Franz Volhard, Julian Reisenberger
Light clay, which is light in weight and easy to work, is presented here as a versatile and forward-looking building material ...
Lee mas
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 ...
Lee mas
Lighting Design Basics, 3rd Edition / Mark Karlen, Christina Spangler, James R. Benya
Offering fundamental concepts and prescriptive techniques in a highly visual format, this book provides clear, practical ...
Lee mas
Linkage in Evolutionary Computation
The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. ...
Lee mas
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...
Lee mas
Low Impact Building: Housing using Renewable Materials / Tom Woolley
Guides to the designs, technologies and materials that really make green buildings work will help architects, specifiers ...
Lee mas
Low Power VCO Design in CMOS
The performance of voltage controlled oscillators (VCO) is of extreme importance for any telecommunication or data communication ...
Lee mas
Lunar and Planetary Rovers
The book provides extensive quotes from the astronauts who drove the LRV on the Moon from interviews conducted especially ...
Lee mas
MEMS/NEMS ; Handbook Techniques and Applications
Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...
Lee mas
Machine Learning for Multimodal Interaction : 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings
The 12 revised full papers and 15 revised poster papers presented together with 5 papers of a special session on user requirements ...
Lee mas
Mack Scogin Merrill Elam
Mack Scogin Merrill Elam Architects/Knowlton Hall provides a comprehensive look at this impressive new work using sketches, ...
Lee mas
Made by James: The Honest Guide to Creativity and Logo Design / James Martin, Made by James
Includes: Annotated case studies that follow designs from concept to completion The advantages of a hands-on, human approach ...
Lee mas
Magnesium Technology
Magnesium, with a density of 1.74 g/cm², is the lightest structural metal and magnesium are increasingly chosen for weight-critical ...
Lee mas
Maine Cottages
this book serves memories relevant to understanding the roots of communities on Mount Desert Island, Maine. The surnames ...
Lee mas
Maintenance Theory of Reliability
The book provides a detailed introduction to maintenance policies, updates the reader on the current status of the field ...
Lee masMaintenance, Safety, Risk, Management and Life-Cycle Performance of Bridges ; Proceedings of the Ninth International Conference on Bridge Maintenance, Safety and Management (IABMAS 2018), 9-13 July 2018, Melbourne, Australia / Nigel Powers, Dan M. Frangopol, Riadh Al-Mahaidi, Colin Caprani
Provides both an up-to-date overview of the field of bridge engineering and significant contributions to the process of more ...
Lee mas
