The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, Bristol, UK, 3rd-5th February 2015

Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, Bristol, UK, 3rd-5th February 2015

Barnes and Noble
Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1

Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1

Barnes and Noble
Computational Methods Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, Proceedings

Computational Methods Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, Proceedings

Barnes and Noble
Proceedings of the Probabilistic Safety Assessment and Management (PSAM) 12 Conference - Volume 2

Proceedings of the Probabilistic Safety Assessment and Management (PSAM) 12 Conference - Volume 2

Barnes and Noble
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Barnes and Noble
Biological and Medical Data Analysis: 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings / Edition 1

Biological and Medical Data Analysis: 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings / Edition 1

Barnes and Noble
Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, Proceedings

Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, Proceedings

Barnes and Noble
Image Analysis and Processing - ICIAP 2019: 20th International Conference, Trento, Italy, September 9-13, 2019, Proceedings, Part I

Image Analysis and Processing - ICIAP 2019: 20th International Conference, Trento, Italy, September 9-13, 2019, Proceedings, Part I

Barnes and Noble
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Barnes and Noble
Bioinspired Optimization Methods and Their Applications: 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, Proceedings

Bioinspired Optimization Methods and Their Applications: 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, Proceedings

Barnes and Noble
Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, Proceedings

Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, Proceedings

Barnes and Noble
Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009 / Edition 1

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009 / Edition 1

Barnes and Noble
Business Modeling and Software Design: 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3-5, 2017, Revised Selected Papers

Business Modeling and Software Design: 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3-5, 2017, Revised Selected Papers

Barnes and Noble
Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

Barnes and Noble
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Barnes and Noble
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Barnes and Noble
Powered by Adeptmind