Book I Linear Systems introduces structural design concepts that include the CAD-based design model, design parameterization, ...
Lire la suiteThis book includes : graph-based methods, probabilistic and stochastic structural models for PR, image and video analysis, ...
Lire la suiteThis book focuses on structural principles applied to the design of typical structural members—a beam, a girder, and a ...
Lire la suiteStudying Human Populations is a textbook for graduate students and research workers in social statistics and related subject ...
Lire la suiteThis book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
Lire la suiteThis open access book details tools and procedures for data collections of hard-to-reach, hard-to-survey populations. Inside, ...
Lire la suiteFocuses on individual materials, addressing material characterization, their role in the strength and durability of construction ...
Lire la suitePresents new technologies for easy and economical construction of light concrete structures saving materials and CO2. The ...
Lire la suiteThis book presents the findings of the CIVITAS DESTINATIONS project regarding the link between mobility and tourism in urban ...
Lire la suiteWith the large-scale utilization of forest biomass for energy still in its infancy, there is an urgent need to understand ...
Lire la suiteProf. McClain has indeed produced "a new kind of tutorial book." It is written using the logic engine Mathematica, which ...
Lire la suiteThe structural challenges of building 800 metres into the sky are substantial, and include several factors which do not affect ...
Lire la suiteExplains the various types of construction such as solid wood frame construction, hybrid wood/concrete or wood/steel constructions ...
Lire la suiteThis book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...
Lire la suiteTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suiteBuild, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
Lire la suiteProvides an understanding of peer-reviewed international construction materials and their testing methods in a simplified ...
Lire la suiteThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lire la suiteThe Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
Lire la suiteThis book is a landmark study of the Holocene evolution and functioning of a suite of seasonal wetland basins in the temperate ...
Lire la suite