Hybrid Systems Biology: 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

The Demon-Haunted World: Science as a Candle in the Dark

Lectures on Runtime Verification: Introductory and Advanced Topics

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ebola: The Natural and Human History

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Algebra II For Dummies: Edition 2

Mathematician's Delight

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Artificial Immune Systems: 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings

The Joy Of X: A Guided Tour of Math, from One to Infinity

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Farming Simulator Modding For Dummies

NEST METHODOLOGIES: Multidimensional Aspects

103 Trigonometry Problems: From the Training of the USA IMO Team

Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version

Basic Math & Pre-Algebra For Dummies: Edition 2