Computer Aided Verification Otros clientes también compraron
Tools and Algorithms for the Construction and Analysis of Systems
2019
Tools and Algorithms for the Construction and Analysis of Systems
2019
Tools and Algorithms for the Construction and Analysis of Systems
2018
Finite Difference Computing with Exponential Decay Models
2016
Tools and Algorithms for the Construction and Analysis of Systems
2019
The Amazing Journey of Reason
2019
Computer Aided Verification
2021
Computer Vision Metrics
2014
Computer Storage Devices
2015
Rethinking the Internet of Things
2014
Cyber-Physical Systems of Systems
2016
High-Performance Modelling and Simulation for Big Data Applications
2019
Computer Tutor
2012
Foundations of Trusted Autonomy
2018
IBM Software Defined Infrastructure for Big Data Analytics Workloads
2015