Rakuten Kobo

Skip side bar filters

The Pleated Shield: The B2B Economy of HVAC Air Filters

Fiberglass, MERV Ratings, and the Invisible Breathing Apparatus Protecting Global Infrastructure

by Anthony Lin ...

If the air conditioning fails in an office building, people get uncomfortable. If the HVAC filtration system fails in a massive server farm, millions of dollars of hardware instantly overheat and die under a blanket of microscopic dust. If it fails in a hospital operating room, patients die of airborne sepsis. The world's critical infrastructure relies entirely on the massive, unseen B2B economy ... Read more

$32.99 CAD

If the air conditioning fails in an office building, people get uncomfortable. If the HVAC filtration system fails in a massive server farm, millions of dollars of hardware instantly overheat and die under a blanket of microscopic dust. If it fails in a hospital operating room, patients die of airborne sepsis. The world's critical infrastructure relies entirely on the massive, unseen B2B economy
... Read more
Computer Aided Verification

38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

Edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Read more

Free

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as
... Read more
Reachability Problems

16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

Edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; ... Read more

$70.49 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems;
... Read more
Computer Aided Verification

38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

Edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Read more

Free

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as
... Read more
Programming Languages and Systems

17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Edited by Anthony Widjaja Lin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... Read more

$64.99 CAD

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation,
... Read more
The Changing Military Balance in the Koreas and Northeast Asia

by Anthony H. Cordesman, Aaron Lin ...

Series series CSIS Reports
The tensions between the Koreas—and the potential involvement of China, Japan, Russia, and the United States in a Korean conflict—create a nearly open-ended spectrum of possible conflicts. These conflicts could range from posturing and threats to a major conventional conflict on the Korean peninsula, with intervention by outside powers, to the extreme of nuclear conflict. The Korean balance is ... Read more

$122.99 CAD

The tensions between the Koreas—and the potential involvement of China, Japan, Russia, and the United States in a Korean conflict—create a nearly open-ended spectrum of possible conflicts. These conflicts could range from posturing and threats to a major conventional conflict on the Korean peninsula, with intervention by outside powers, to the extreme of nuclear conflict. The Korean balance is
... Read more
Computer Aided Verification

38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III

Edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer ...

Series Book 3 - Springer Nature Proceedings Computer Science
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Read more

Free

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as
... Read more
Afghanistan at Transition

The Lessons of the Longest War

by Anthony H. Cordesman ...

Series series CSIS Reports
This new study covers the civil and military lessons of the war in Afghanistan as of 2015, the trends at the time of transition, and the risks inherent in the current approach to supporting Afghanistan. The report focuses on the lessons to be learned from the US experience in Afghanistan to date and the problems Afghanistan faces now that most US and allied combat forces have left. The work builds ... Read more

$84.99 CAD

This new study covers the civil and military lessons of the war in Afghanistan as of 2015, the trends at the time of transition, and the risks inherent in the current approach to supporting Afghanistan. The report focuses on the lessons to be learned from the US experience in Afghanistan to date and the problems Afghanistan faces now that most US and allied combat forces have left. The work builds
... Read more
The Iranian Sea-Air-Missile Threat to Gulf Shipping

by Anthony H. Cordesman ...

Series series CSIS Reports
The Arabian Gulf is now involved in a massive arms race, triggered largely by the fear that Iran will try to use its military forces to intimidate or dominate its neighbors. Iran has threatened to close the Gulf and carried out a wide range of large military exercises to show its capabilities. And Iran has steadily increased its ability to exploit the threat of conventional and asymmetric warfare ... Read more

$78.99 CAD

The Arabian Gulf is now involved in a massive arms race, triggered largely by the fear that Iran will try to use its military forces to intimidate or dominate its neighbors. Iran has threatened to close the Gulf and carried out a wide range of large military exercises to show its capabilities. And Iran has steadily increased its ability to exploit the threat of conventional and asymmetric warfare
... Read more

Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Edited by Amal Ahmed ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Read more

Free

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections
... Read more
Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Edited by Christel Baier, Ugo Dal Lago ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... Read more

Free

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions
... Read more
Computer Aided Verification

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

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

Series Book 2 - 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

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 Canada

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

CSIS Reports

Springer Nature Proceedings Computer Science

The Pleated Shield: The B2B Economy of HVAC Air Filters

Computer Aided Verification

Reachability Problems

Computer Aided Verification

Programming Languages and Systems

The Changing Military Balance in the Koreas and Northeast Asia

Computer Aided Verification

Afghanistan at Transition

The Iranian Sea-Air-Missile Threat to Gulf Shipping

People who read these also enjoyed

Programming Languages and Systems

Foundations of Software Science and Computation Structures

Computer Aided Verification

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 Canada

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

CSIS Reports

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed