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

Isaac's Storm: A Man, a Time, and the Deadliest Hurricane in History

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

The Making of Tornado Chasers: Behind The Scenes Of The Groundbreaking Documentary Series

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Climate Change Biology: Edition 2

The Coming Global Superstorm

Abstraction Refinement for Large Scale Model Checking

Our Fragile Moment: How Lessons from Earth's Past Can Help Us Survive the Climate Crisis

Seismic Performance Analysis of Concrete Gravity Dams

Safe Robot Navigation Among Moving and Steady Obstacles

The Physics of Climate Change

Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

The Man Who Caught the Storm: The Life of Legendary Tornado Chaser Tim Samaras

Instant Weather Forecasting: You Can Predict the Weather

Earth's Climate Science Learning Guide

Earth's Surface Science Learning Guide

Storm Tactics Handbook: Modern Methods of Heaving-to for survival in extreme conditions

Introduction to Modern Instrumentation: For Hydraulics and Environmental Sciences