This book is aimed at developing sustainability competences through pedagogical approaches by comparing 15 case studies from 12 countries in 4 continents (Africa, America, Australia, and Europe) analysing how Sustainable Development (SD) is being taught in their courses, which competences are being developed, and which pedagogical approaches are being used to develop the competences. The book b…
This book provides a didactic overview of techniques for inferring information from soil spectroscopic data, and the codes in the R programming language for performing such analyses. It is intended for students, researchers and practitioners looking to infer soil information from spectroscopic data, focusing mainly on, but not restricted to, the infrared range of the electromagnetic spectrum. …
This book presents state-of-the-art knowledge concerning water quality in Poland. It offers a wide variety of cases and issues on water resource quality management. The book also presents different methods and strategies to effectively use the most advanced water resource quality problems such as water pollution, whether physical, chemical, or biological, of surface water resources and groundwa…
This book provides practical knowledge and skills on high-speed networks, emphasizing on Science Demilitarized Zones (Science DMZs). The Science DMZ is a high-speed network designed to facilitate the transfer of big science data which is presented in this book. These networks are increasingly important, as large data sets are now often transferred across sites. This book starts by describing th…
This book explores sustainable development from the perspective of resources and energy, based on China’s practical experience and cross-disciplinary research. It focuses on major challenges, key solutions and policy recommendations, and studies and explores seven important themes of resources, energy and sustainable development, including: 1) China’s low-carbon energy transition, 2) Chinaâ…
-
This book focuses on the soil and environmental resources and how to utilize them under Egyptian conditions to achieve tolerance to environmental abiotic stresses, i.e., drought, heat, salt, pollutants, and biotic stresses such as disease resistance. Further, it explores ways to increase productivity, improve the quality of field crops, and reduce the food gap. The application of modern technol…
This book provides thorough knowledge and detailed information of oil shales using a range of conventional and unconventional techniques and methodologies combined to elucidate the composition of oil shale deposits. As these rocks are mined for energy production their composition and mineral constituents are of special interests to individuals and communities that are likely to be effected by t…
This book contains a rich resource of essential information on the water resources capacities in Poland. This book contributes to the recognition of water resources management including extreme hydrological events such as floods and droughts. The book incorporates case studies illustrating solutions of water quantity management in Poland. This edited book covers all water bodies in the country …
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…
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…
This edited volume highlights the geographies of six European Mediterranean countries: France, Spain, Italy, Portugal, Turkey and Greece. The book provides a balanced overview on what the geographers of these six countries have investigated and reflected in recent decades. This thematically arranged book takes into account the national differences of the authors, but also highlights the main co…
This book constitutes the revised selected papers of the 14th International Symposium on Foundations and Practice of Security, FPS 2021, held in Paris, France, in December 2021. The 18 full papers and 9 short paper presented in this book were carefully reviewed and selected from 62 submissions. They cover a range of topics such as Analysis and Detection; Prevention and Efficiency; and Privac…
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…
This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: * the 23rd International Conference on Business Process Modeling, Development and Support, BPMDS 2022, and * the 27th International Conference on Exploring Modeling Methods for Systems Analysis and D…
This book covers a broad range of topics relating to architecture and urban design, such as the conservation of cities’ culture and identity through design and planning processes, various ideologies and approaches to achieving more sustainable cities while retaining their identities, and strategies to help cities advertise themselves on the global market. Every city has its own unique id…
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…