Software Engineering and Formal Methods: 20th International Conference, SEFM …

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis…

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28…

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verificati…

Numerical Modeling of Soil Constitutive Relationship

This book adopts numerical method to model soil constitutive relationship while it abandons the traditional idea of looking for plastic potential as the only way to model. Firstly, the triaxial compression tests of expansive soil, sand and clay under different stress paths are introduced; then the elastoplastic constitutive equations of expansive soil, sand and clay under various stress paths a…

Blockchain in Life Sciences

This book highlights the latest advances on the implementation and adaptation of blockchain technologies in real-world scientific, biomedical, and data applications. It presents rapid advancements in life sciences research and development by applying the unique capabilities inherent in distributed ledger technologies. The book unveils the current uses of blockchain in drug discovery, drug and d…

Emerging Technologies in Biomedical Engineering and Sustainable TeleMedicine

This book presents the most recent research and applications in Biomedical Engineering, electronic health and TeleMedicine. Top-scholars and research leaders in the field contributed to the book. It covers a broad range of applications including smart platforms like DietHub which connects patients with doctors online. The book highlights the advantages of Telemedicine to improve the healthcare …

Mobilities in India

This book presents commuting as a new paradigm in mobility studies in the context of global south. It delves into suburban train commuting in Eastern India. The book interprets commuting not only as a means to attend work but also as a process producing kinetic event-space infused with different mobile practices, which is not determined by their locational fixity, rather can be cognized. It ana…

Advances in Innovative Geotechnical Engineering

With the development of social and science, new requirements are put forward for geotechnical engineering. Advanced geotechnical techniques were proposed to solve the new challenges in geotechnical engineering. The articles presented in this volume aim to the new development of geotechnical engineering such as characterization of geomaterials, slope stability, application of environmental prote…

Oxford English for Electrical and Mechanical Engineering

Edition

-

ISBN/ISSN

978-0-19-457392-4

Collation

190 p.; 23 cm

Series Title

-

Call Number

621.31 Gle o

Developments in Sustainable Geomaterials and Environmental Geotechnics

The current trends in Geotechnical Engineering are moving towards sustainable design and construction. Studies presented in this volume present recent research findings and critically review the existing literature related to assessment of sustainable geomaterials and environmental geotechnics. Special emphasise is given to the material characterization on industry by product or newly developed…

Finding Solutions of the 21st Century Transportation Problems Through Researc…

This volume presents challenges in transportation infrastructures and geotechniques, advancements in recycling, soil stabilization and reinforcement technologies, and assessments of roadway conditions using modern tools and techniques. The articles presented in this volume focus on fundamental investigations on various aspects of civil engineering materials and structures. The scope of this vol…

Advances in Urban Geotechnical Engineering

This volume discusses a compilation of studies regarding transportation geotechnics, geomechanics, rock mechanics, and geosynthetics reinforced soils from the 6th GeoChina International Conference held in NanChang, China, July 19-21, 2021.

Advances in Geotechnical Engineering & Geoenvironmental Engineering

This book includes a collection of researches that contains research data, discussions and conclusions focusing on several related geotechnical aspects of infrastructure. Topics include issues related to civil infrastructure such as temperature-induced lateral earth pressure on bridge abutment, subsidence of high speed rail and expressway, application of recycled rubber mats, railway ballast ev…

Advanced Geotechnical and Structural Engineering in the Design and Performanc…

This book covers different geotechnical and structural engineering topics applied to buildings, power grid infrastructures, hydroelectric projects, bridges, and transport infrastructures. The book contains research data useful for researchers and practitioners to support the sustainable design, building, operation, and maintenance of civil infrastructures. The papers included in this book were …

Transportation Infrastructure Engineering, Materials, Behavior and Performance

Society needs to travel to engage in productive and effective commerce, social, educational and related activities. Efficient travel is founded on an operational transport infrastructure system that is well-designed, engineering, constructed and maintained. This volume shares some of the latest innovations and thoughts in the areas of pavement infrastructure materials, behavior and performance.…

Resilient Design and Construction of Geostructures Against Natural Hazards

This volume contains state of the engineering practice and recent research in the field of built infrastructure and natural hazards. It is expected that the book will help engineers and researchers to design and built resilient infrastructures in challenging conditions (e.g., earthquakes and climate change) while optimising the design and minimising the future maintenance cost. In particular ne…

New Approaches of Geotechnical Engineering: Soil Characterization, Sustainabl…

The studies presented in this volume cover new approaches of geotechnical engineering introduced by researchers, engineers and scientists to address contemporary issues in geotechnical engineering such as the usage of sustainable materials in soil, soil characterization with new methods, and numerical simulations to predict material properties, etc. Studies were selected from the 6th GeoChina I…

Nanozymes for Environmental Engineering

This book reviews the latest developments and applications of nanozymes in environmental science. Protection of the environment is essential because pollution has become a global problem with many adverse effects on life and ecosystems. For that, remediation strategies and techniques have been designed, yet they are limited. Here, the recent development of nanotechnology opens a new vista for e…

AUTOMOTIVE HEATING & AIR CONDITIONING

Edition

-

ISBN/ISSN

978-1-56392-913-7

Collation

272 p.; 26 cm

Series Title

-

Call Number

629.2 Mik a

Evaluation of Novel Approaches to Software Engineering: 16th International Co…

The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), held as an online event from April 26 to 27, 2021. The 15 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the un…

CMOS Nanoelectronics: Analog and RF VLSI Ciruits

Edition

-

ISBN/ISSN

978-0-07-175565-8

Collation

xix, 684 p. ; 23 cm

Series Title

-

Call Number

621.382 Cmo c

Nanoelectronics, Circuits and Communication Systems

This book features selected papers presented at the Fifth International Conference on Nanoelectronics, Circuits and Communication Systems (NCCS 2019). It covers a range of topics, including nanoelectronic devices, microelectronics devices, material science, machine learning, Internet of things, cloud computing, computing systems, wireless communication systems, advances in communication 5G and …

Bio#Futures

This volume presents a timely recognition, warning and mapping of the fast approaching wave, or “bio-tsunami”, of global socio-technical transformation, built by a much wider spectrum of converging powers, including biotechnology, new agriculture, novel foods, health, quality of life, environment, energy, sustainability, education, knowledge management, and design of smart applications. The…

Practical Guide to the Packaging of Electronics: Thermal and Mechanical Desig…

Edition

-

ISBN/ISSN

0-8247-0865-2

Collation

374 p.; 24 cm

Series Title

-

Call Number

621.31 Jam p

Chemical Reaction Engineering: A First Course

Edition

-

ISBN/ISSN

978-0-19-856538-3

Collation

90 p.; 23 cm.

Series Title

-

Call Number

547.2 Met c

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked gr…

Waterflooding Sandstone Reservoirs: Methods, Design and Analysis

This book focuses on oilfield performance analysis and development adjustment by integrating geology, applied mathematics, and other relevant theories. Based on the abundant and detailed field test and production data from Daqing and Tarim, two major oilfields in China, the regularities, characteristics, design, and adjustment of waterflooding development of sandstone reservoirs throughout the …

Environmental Remote Sensing and GIS in Tunisia

This book focuses on monitoring and assessing various environmental processes in Tunisia using state-of-the-art remote sensing and GIS technologies. In addition to addressing the diversity of Tunisian landscapes and providing spatial analysis of natural, cultivated and urbanized environments. It presents and discusses several case studies on integrated RS / GIS approaches for mapping, modeling,…

Application of Multi-Criteria Decision Analysis in Environmental and Civil En…

The use of a multi-criteria, decision-making theory was first studied in the 1970s. Its application in civil and environmental engineering is a new approach which can be enormously helpful for manufacturing companies, students, managers, engineers, etc. The purpose of this book is to provide a resource for students and researchers that includes current application of a multi-criteria, decision-…

Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2…

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational syst…