Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Farming Simulator Modding For Dummies

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Machine Learning for Hackers: Case Studies and Algorithms to Get You Started

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

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

Practical Guide to Applied Conformal Prediction in Python: Learn and apply the best uncertainty frameworks to your industry applications

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Mathematical Modelling

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Construction Program Management – Decision Making and Optimization Techniques

Theoretical Computer Science - Proceedings Of The 6th Italian Conference

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Mastering Reinforcement Learning with Python: Build next-generation, self-learning models using reinforcement learning techniques and best practices

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures