Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Crafting Interpreters

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Farming Simulator Modding For Dummies

Computing and Software Science: State of the Art and Perspectives

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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Compiler Design

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

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

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

C++ Quick Syntax Reference

Correct System Design: Recent Insights and Advances

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

Object-Oriented Programming and Java: Edition 2

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I