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…

Matrix Discrete Element Analysis of Geological and Geotechnical Engineering

This book introduces the basic structure, modeling methods, numerical calculation processes, post-processing, and system functions of MatDEM, which applies the basic principles and algorithm of the discrete element method. The discrete element method can effectively simulate the discontinuity, inhomogeneity, and large deformation damage of rock and soil. It is widely used in both research and i…

Smart Villages : Bridging the Global Urban-Rural Divide

This book brings together technical expertise, best practices, case studies and ground-level application of the ideas for empowering the rural population of the world to live economically prosperous, environmentally sustainable, and socially progressive lives, on par or comparable with the quality of life enjoyed by the global urban population. The idea of Smart Villages takes on greater urgenc…

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as…

Collaboration and Integration in Construction, Engineering, Management and Te…

This book gathers papers presented at the 11th International Conference on Construction in the 21st Century, held in London in 2019. Bringing together a diverse group of government agencies, academics, professionals, and students, the book addresses issues related to construction safety, innovative technologies, lean and sustainable construction, international construction, improving quality an…

Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India…

This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022. The 19 full and 11 short papers were carefully reviewed and selected from 82 submissions. The papers are organzed in the following topical sections: ​foundations of conceptual modeling; ontologies and their applications; applications…

Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, J…

This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and r…

Membrane Technology Enhancement for Environmental Protection and Sustainable …

This book presents a detailed discussion of the fundamentals and practical applications of membrane technology enhancement in a range of industrial processes, energy recovery, and resource recycling. To date, most books on the applications of membrane technology have mainly focused on gas pollution removal or industrial wastewater treatment. In contrast, the enhancement of various membrane proc…

Agromining: Farming for Metals

This second and expanded edition of the first book on agromining (phytomining) presents a comprehensive overview of the metal farming & recovery of the agromining production chain. Agromining is an emerging technology that aims to transform the extraction of sources of target elements not accessible by traditional mining and processing techniques. Agromining, which is based on sustainable devel…

Environmental Microbiology and Biotechnology

This book provides up-to-date information on the state of the art in applications of biotechnological and microbiological tools for protecting the environment. Written by leading international experts, it discusses potential applications of biotechnological and microbiological techniques in solid waste management, wastewater treatment, agriculture, energy and environmental health. This secon…

Theoretical Aspects of Software Engineering: 16th International Symposium, TA…

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the late…