
Life-Cycle Monte Carlo Simulations for the case of Colon and Rectum Cancers
Javier Gonzalez - ISBN: 978-3-8383-0089-4
€ 49,00



Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
Ofer Strichman - ISBN: 978-3-8383-0082-5
€ 49,00

A case study of employee health in the tertiary education industry that has application to other knowledge workers
Mary Ditton - ISBN: 978-3-8383-0172-3
€ 79,00

