电子书百科大全 Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 805 pages
Publisher: Springer (June 27, 2012)
Language: English
ISBN-10: 3642314236
Computer Aided Verification: 24th International
相关推荐
Data Engineering with Databricks Cookbook: Build effective data and AI solutions using Apache Spark, Databricks, and Delta Lake- Machine Learning Model Serving Patterns and Best Practices: A definitive guide to deploying, monitoring, and providing accessibility to ML models in production
- Persuasive Gaming in Context (Games and Play, 6)
- Advanced Spiking Neural P Systems: Models and Applications (Computational Intelligence Methods and Applications)
- Big Data on Kubernetes: A practical guide to building efficient and scalable data solutions
- Streaming Databases: Unifying Batch and Stream Processing
- The Definitive Guide to Data Integration: Unlock the power of data integration to efficiently manage, transform, and analyze data
- Advanced Database Systems