Taking greater advantage of powerful computing capabilities over the last several years, the development of fundamental information and new models has led to major advances in nearly every aspect of chemical engineering. Albright’s Chemical Engineering Handbook is a reliable source of updated methods, applications, and fundamental concepts that will continew to play a significant role in driv…
Overing every msajor electrical standard, including NEC,NESC,NFPA 70E, IEEE 1584, and OSHA, Electrical Safety Handbook, Fourth Edition is a practical, illustrated source of life-saving information designed for specific work environments. this must-have guide provides the most current safety strategies for use in industrial, commercial, and home office electrical system in an easy-to-use format…
This book analyses and discusses current issues and trends in finance with a special focus on technological developments and innovations. The book presents an overview of the classical and traditional approaches of financial management in companies and discusses its key strategic role in corporate performance. Furthermore, the volume illustrates how the emerging technological innovations will s…
Influenced by technological innovation, banks and their businesses are changing dramatically. This book explores the transformation and prospects of financial market institutions (banks, insurance companies, pension funds and microfinance organizations) in the context of the development of financial innovation, financial engineering and financial technologies, taking into account risks and new …
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2…
This book constitutes revised selected papers from the proceedings of the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022. The 32 full papers and 4 short papers included in this book were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: tokenomics; MPC (most…
This book comprises the proceedings of the 2nd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2021). This book highlights the high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intel…
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022. The papers included in the HCII-CCD volume set were organized in topical sections as follows: Part I: Cross-Cultural Interaction Design; …
This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021. The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The pape…
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions.
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between progra…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program …
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 pre…
This book illustrates key sustainability issues in global textile and fashion value chains, by examining individual types of fibers either at a single step in or along the entire value chain. It approaches sustainability-related issues in the textile and fashion value chain from an interdisciplinary and holistic viewpoint, with each contribution linking questions on the textile and fashion valu…
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program c…
This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogotá, Colombia, in November/December 2022. The 39 papers presented in this volume were carefully reviewed and selected from 143 submissions. They were organized in topical sections as follows: Artificial Intelligence; Optimization; S…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program sp…
This book is the first comprehensive work on Chinese covered bridges study, covering fields of human geography, historical buildings, and transportation. It includes more than 300 covered bridges of ancient and modern China, researching and analyzing their historical evolutions, architectural technologies and aesthetic values. And it, for the first time, divides Chinese covered bridges into “…