Financial Markets Evolution

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 …

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022,…

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…

MASS-TRANSFER OPERATIONS, Third Edition

Edition

3rd

ISBN/ISSN

-

Collation

xiv, 800 p,; ill.; 23 cm.

Series Title

-

Call Number

660.284 Tre m

Financial Cryptography and Data Security: 26th International Conference, FC 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…

High Performance Computing and Networking: Select Proceedings of CHSN 2021

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…

Cross-Cultural Design. Applications in Learning, Arts, Cultural Heritage, Cre…

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; …

Trandisciplinary Multispectral Modelling and Cooperation for the Preservation…

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…

Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, E…

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.

Leveraging Applications of Formal Methods, Verification and Validation. Adapt…

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…

Mechanical Behavior of Materials, 2ND EDITION

Edition

-

ISBN/ISSN

978-1-259-00749-1

Collation

xviii, 733 p. ; 24 cm

Series Title

-

Call Number

620.1 Cou m

Leveraging Applications of Formal Methods, Verification and Validation. Adapt…

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 …

MECHANISMS MECHANICAL DEVICES SOURCEBOOK, FIFTH EDITION

Edition

5th

ISBN/ISSN

978-0-07-170442-7

Collation

xxii, 560 p. : ill. ; 24 cm

Series Title

-

Call Number

620.1 Scl m

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFM…

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…

ENGINEERING OUR DIGITAL FUTURE: THE INFINITY PROJECT

Edition

-

ISBN/ISSN

0-13-035482-1

Collation

xv, 528 p.; 24 cm

Series Title

-

Call Number

621.381 Eng e

Sustainable Textile and Fashion Value Chains

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…

Animated Program Design: Intermediate Program Design Using Video Game Develop…

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…

Applied Computer Sciences in Engineering: 9th Workshop on Engineering Applica…

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…

Leveraging Applications of Formal Methods, Verification and Validation. Pract…

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…

Covered Bridges in China

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 “…

AN INTRODUCTION MECHANICAL ENGINEERING, THIRD EDITION

Edition

3rd

ISBN/ISSN

978-1-111-57682-0

Collation

xiv, 448 p. : ill. ; 24 cm

Series Title

-

Call Number

621.8 Wic i

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…