The Inverse Method: Parametric Verification of Real-time Unbedded Systems
- takbook
- سایر محصولات
- 10th ژانویه 2018
- بدون نظر
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
Etienne André, Romain Soulat…
Forecast Verification: A Practitioners Guide in Atmospheric Science
- takbook
- سایر محصولات
- 9th ژانویه 2018
- بدون نظر
Forecast Verification: A Practitioners Guide in Atmospheric Science
Ian T. Jolliffe, David B. Stephenson…
Real-Time Systems: Scheduling, Analysis, and Verification
- takbook
- سایر محصولات
- 9th ژانویه 2018
- بدون نظر
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
- takbook
- سایر محصولات
- 9th ژانویه 2018
- بدون نظر
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools…
Biometrics: identity verification in a networked world
- takbook
- سایر محصولات
- 9th ژانویه 2018
- بدون نظر
Biometrics: identity verification in a networked world
Samir Nanavati, Michael Thieme, Raj Nanavati…
Guidance for the verification and validation of neural networks
- takbook
- سایر محصولات
- 8th ژانویه 2018
- بدون نظر
Guidance for the verification and validation of neural networks
Darrah, Majorie A.; Taylor, Brian J.; Pullum, Laura L…
Real-time systems. Scheduling, analysis and verification
- takbook
- سایر محصولات
- 8th ژانویه 2018
- بدون نظر
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
- takbook
- سایر محصولات
- 7th ژانویه 2018
- بدون نظر
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
Franck Cassez, Jean-François Raskin (eds.)…
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceed
- takbook
- سایر محصولات
- 7th ژانویه 2018
- بدون نظر
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceed
Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)…
