You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book is a part of ICL new book series “ICL Contribution to Landslide Disaster Risk Reduction” founded in 2019. Peer-reviewed papers submitted to the Fifth World Landslide Forum were published in six volumes of this book series. This book contains the following parts: • Impact of Large Ground Deformations near Seismic Faults on Critically Important Civil Infrastructures• Recent Progress in the Landslide Initiating Science• Earth Observation and Machine Learning in Landslide Science• General Landslide Studies Professor Željko Arbanas is the Vice President of International Consortium on Landslides. He is a Professor of Faculty of Civil Engineering, University of Rijeka, Croati...
None
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey present...
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
This volume contains peer-reviewed papers from the Fourth World Landslide Forum organized by the International Consortium on Landslides (ICL), the Global Promotion Committee of the International Programme on Landslides (IPL), University of Ljubljana (UL) and Geological Survey of Slovenia in Ljubljana, Slovenia from May 29 to June 2, 2017. The complete collection of papers from the Forum is published in five full-color volumes. This fourth volume contains the following: • Earthquake-Induced Landslides • Rainfall-Induced Landslides • Rapid Landslides: Debris Flows, Mudflows, Rapid Debris-Slides • Landslides in Rocks and Complex Landslides: Rock Topples, Rock Falls, Rock Slides,Complex ...
Green Biocatalysis presents an exciting green technology that uses mild and safe processes with high regioselectivity and enantioselectivity. Bioprocesses are carried out under ambient temperature and atmospheric pressure in aqueous conditions that do not require any protection and deprotection steps to shorten the synthetic process, offering waste prevention and using renewable resources. Drawing on the knowledge of over 70 internationally renowned experts in the field of biotechnology, Green Biocatalysis discusses a variety of case studies with emphases on process R&D and scale-up of enzymatic processes to catalyze different types of reactions. Random and directed evolution under process c...
This book constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 35 papers presented were carefully reviewed and selected from 134 submissions. The topics covered are probabilistic systems and optimization, decision procedures, tools, automata theory, liveness, software verification, real time and information flow, and testing.
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): – Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between dif...