Rakuten Kobo

Skip side bar filters

Formal Methods and Software Engineering

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

Edited by Étienne André, Jingyi Wang, Naijun Zhan ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical ... Read more

$71.99 USD

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical
... Read more
Big Data Privacy Preservation for Cyber-Physical Systems

by Miao Pan, Jingyi Wang, Sai Mounika Errapotu, Xinyue Zhang, Jiahao Ding, Zhu Han ...

Series series Engineering (R0)
This SpringerBrief mainly focuses on effective big data analytics for CPS, and addresses the privacy issues that arise on various CPS applications. The authors develop a series of privacy preserving data analytic and processing methodologies through data driven optimization based on applied cryptographic techniques and differential privacy in this brief. This brief also focuses on effectively ... Read more

$49.49 USD

This SpringerBrief mainly focuses on effective big data analytics for CPS, and addresses the privacy issues that arise on various CPS applications. The authors develop a series of privacy preserving data analytic and processing methodologies through data driven optimization based on applied cryptographic techniques and differential privacy in this brief. This brief also focuses on effectively
... Read more
The Past and Future of International Monetary System

With the Performances of the US Dollar, the Euro and the CNY

by Jingyi Wang ...

Series series Economics and Finance (R0)
This book examines essential problems in the current International Monetary System, especially those concerning the International Standard. To do so, it focuses on the different monetary systems of today’s major currencies – the US dollar, the euro and the CNY, as well as the performance of the standards used in the international monetary system, i.e., the SDRs. In addition, it projects the ... Read more

$49.49 USD

This book examines essential problems in the current International Monetary System, especially those concerning the International Standard. To do so, it focuses on the different monetary systems of today’s major currencies – the US dollar, the euro and the CNY, as well as the performance of the standards used in the international monetary system, i.e., the SDRs. In addition, it projects the
... Read more

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

Free

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Read more
Global Bank Regulation

Principles and Policies

by Heidi Mandanis Schooner, Michael W. Taylor ...

Global Bank Regulation: Principles and Policies covers the global regulation of financial institutions. It integrates theories, history, and policy debates, thereby providing a strategic approach to understanding global policy principles and banking. The book features definitions of the policy principles of capital regularization, the main justifications for prudent regulation of banks, the ... Read more

$77.39 USD

Global Bank Regulation: Principles and Policies covers the global regulation of financial institutions. It integrates theories, history, and policy debates, thereby providing a strategic approach to understanding global policy principles and banking. The book features definitions of the policy principles of capital regularization, the main justifications for prudent regulation of banks, the
... Read more
Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Reiner Hähnle, Wil van der Aalst ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... Read more
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more
Macroeconomics in Emerging Markets

by Peter J. Montiel ...

The macroeconomic experience of emerging and developing economies has tended to be quite different from that of industrial countries. Compared to industrial countries, emerging and developing economies have tended to be much more unstable, with more severe boom/bust cycles, episodes of high inflation and a variety of financial crises. This textbook describes how the standard macroeconomic models ... Read more

$104.19 USD

The macroeconomic experience of emerging and developing economies has tended to be quite different from that of industrial countries. Compared to industrial countries, emerging and developing economies have tended to be much more unstable, with more severe boom/bust cycles, episodes of high inflation and a variety of financial crises. This textbook describes how the standard macroeconomic models
... Read more
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more
Invest in Europe Now!

Why Europe's Markets Will Outperform the US in the Coming Years

by David R. Kotok, Vincenzo Sciarretta ...

An insider's guide to investing in EuropeWith the U.S. market in shambles, investors are looking for other places to put their money. Europe has become the destination of choice, and will continue to be for the foreseeable future.Using the different perspectives of an author who lives in Europe and an author who lives in the United States, Invest in Europe Now! is one the most informative guides ... Read more

$18.00 USD

Also available as: Audiobook

An insider's guide to investing in EuropeWith the U.S. market in shambles, investors are looking for other places to put their money. Europe has become the destination of choice, and will continue to be for the foreseeable future.Using the different perspectives of an author who lives in Europe and an author who lives in the United States, Invest in Europe Now! is one the most informative guides
... Read more

Also available as: Audiobook
Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Edited by Sriram Sankaranarayanan, Natasha Sharygina ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

Free

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Engineering (R0)

Springer Nature Proceedings Computer Science

Economics and Finance (R0)

Formal Methods and Software Engineering

Big Data Privacy Preservation for Cyber-Physical Systems

The Past and Future of International Monetary System

People who read these also enjoyed

Formal Methods

Global Bank Regulation

Fundamental Approaches to Software Engineering

Computer Aided Verification

Macroeconomics in Emerging Markets

Computer Aided Verification

Computer Aided Verification

Invest in Europe Now!

Tools and Algorithms for the Construction and Analysis of Systems

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Engineering (R0)

Springer Nature Proceedings Computer Science

Economics and Finance (R0)

Show:

People who read these also enjoyed