Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
ISBN-10: 144194981X
ISBN-13: 9781441949813
Edition: Softcover reprint of the original 1st ed. 2000
Publication date: December 9, 2010
Paperback: 337 pages
List Price $379.00
Introduction to Modern Cryptography: Revised Third Edition
Ultimate Machine Learning with LightGBM Using TensorFlow: Master LightGBM, XGBoost, TensorFlow, Deep Learning, Feature Engineering, Explainable AI, and MLOps with Python
Mastering Elastic Kubernetes Service on AWS: Build, Secure, Scale, and Operate Production Kubernetes and GenAI Workloads 2nd Edition
Algorithms and Numerical Techniques for Modern Antenna Measurements in MATLAB®
Wow! eBook