Electronic Books

Total Books: 961 - 980 /1725

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

Total Books: 961 - 980 /1725