Operating Rules and Interoperability in Trans-National High-Speed Rail

How to Solve It: A New Aspect of Mathematical Method

Short Tricks of Math

Concurrency in Dependable Computing

Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

Trustworthy Cyber-Physical Systems Engineering

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense (Bad Arguments)

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Farming Simulator Modding For Dummies

Industrial Deployment of System Engineering Methods

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

Mathematical Modelling

Architecting Dependable Systems III

Fast Math: Learn the Secrets of Mental Math: By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Construction Program Management – Decision Making and Optimization Techniques

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings