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 ...
اقرأ المزيد
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 Shadow Space
The visualization of light in space, its effect on model cubature and scenery, is one of the great challenges in architectural ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Linkage in Evolutionary Computation
The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. ...
اقرأ المزيد
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...
اقرأ المزيد
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 ...
اقرأ المزيد
Low Power VCO Design in CMOS
The performance of voltage controlled oscillators (VCO) is of extreme importance for any telecommunication or data communication ...
اقرأ المزيد
Lunar and Planetary Rovers
The book provides extensive quotes from the astronauts who drove the LRV on the Moon from interviews conducted especially ...
اقرأ المزيد
MEMS/NEMS ; Handbook Techniques and Applications
Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...
اقرأ المزيد
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 ...
اقرأ المزيد
Mack Scogin Merrill Elam
Mack Scogin Merrill Elam Architects/Knowlton Hall provides a comprehensive look at this impressive new work using sketches, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Magnesium Technology
Magnesium, with a density of 1.74 g/cm², is the lightest structural metal and magnesium are increasingly chosen for weight-critical ...
اقرأ المزيد
Maine Cottages
this book serves memories relevant to understanding the roots of communities on Mount Desert Island, Maine. The surnames ...
اقرأ المزيد
Maintenance Theory of Reliability
The book provides a detailed introduction to maintenance policies, updates the reader on the current status of the field ...
اقرأ المزيدMaintenance, 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 ...
اقرأ المزيد
