Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Cave and Karst Systems of Romania
This book focuses on Romania’s more than 12,000 caves, which developed in limestone (including thermal water caves), salt, gypsum, and occasionally in sandstone. It examines these caves and related topics in a format suitable for cavers, while also addressing a broad range of aspects useful for students and researchers. Since the Institute of Speleology was first established by Emil Racovita in 1920, a great deal of research has been conducted on all cave and karst types. As such, the book examines a variety of scientific fields, including karst geology, hydrogeology, biospeleology, paleoclimatology, mineralogy and archaeology.
Water Quality
As concerns increase over the scarcity of water resources and the role of anthropogenic activities, water quality is evermore important. Activities ranging from agriculture to mining have had a bearing on the quality of water that they impact. Several studies assessing such impacts have been conducted at local and global scales over the years. This book, consisting of contributions by authors in various water-related fields, delves into some approaches that are used to understand and/or to improve water quality, and these include assessment of water chemistry, biomonitoring, modelling and water treatment. This book will be useful to environmental scientists, water professionals, researchers, academics and students.
Sinkholes and the Engineering and Environmental Impacts of Karst
GSP 122 contains 66 paperspresented at the Ninth Multidisciplinary Conference on Sinkholes and the Engineering and Environmental Impacts of Karst, held in Huntsville, Alabama, September 6-10, 2003.
Membership Directory
None
Model Checking, second edition
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software...
