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 recyclin…
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…
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 expe…
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 pa…
This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presente…
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous…
This book demonstrates the measurement, monitoring, mapping, and modeling of forest resources. It explores state-of-the-art techniques based on open-source software & R statistical programming and …
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The…
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the prem…
This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Erns…
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Isr…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich…
This book gathers outstanding papers presented at the Conference on Automation Innovation in Construction (CIAC-2019). In recent years, there have been significant transformations in the constructi…
This book mainly focuses on the adaptive analysis of damage and fracture in rock, taking into account multiphysical fields coupling (thermal, hydro, mechanical, and chemical fields). This type of c…
This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processi…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 …
This book endeavours to highlight the untapped potential of Smart Agriculture for the innovation and expansion of the agriculture sector. The sector shall make incremental progress as it learns fro…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces pri…
The general topic of the symposium follows mechanisms development through all stages of conception, modeling, analysis, synthesis and control to advanced product design. This volume brings toge…
This book includes the original, peer reviewed research papers from the conference, Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013),…
This research volume is a continuation of our previous volumes on intelligent machine. It is divided into three parts. Part I deals with big data and ontologies. It includes examples related to the…
This book contains a selection of papers presented at the 17th AISEM (“Associazione Italiana Sensori e Microsistemi”) National Conference on Sensors and Microsystems, held in Brescia, 5-7 Febru…
This innovative volume provides a systematic treatment of the basic concepts and computational procedures for structural motion design and engineering for civil installations. The authors illustrat…