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

Crafting Interpreters

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

Farming Simulator Modding For Dummies

Trustworthy Cyber-Physical Systems Engineering

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

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

Compiler Design

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

100 Excel Simulations: Using Excel to Model Risk, Investments, Genetics, Growth, Gambling and Monte Carlo Analysis

Industrial Deployment of System Engineering Methods

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

C++ Quick Syntax Reference

Architecting Dependable Systems III

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

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

Practical TLA+: Planning Driven Development

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