Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4) > Correctness Proofs (D.2.4...)  
  Correctness Proofs (D.2.4) See Reviews  
 
 
         
 
Reviews limited to:
 
 

Reviews in category "Correctness Proofs (D.2.4)":
Data science: an introduction to statistics and machine learning
Plaue M., Springer International Publishing, Cham, Switzerland, 2023. 385 pp.  Type: Book (3662678810)
 Introduction to statistical and machine learning methods for data science
Pinheiro C., Patetta M., SAS Institute Inc., Cary, NC, 2021.  Type: Book (1953329608)
 Predicting the unknown: the history and future of data science and artificial intelligence
Kampakis S., Apress, New York, NY, 2023. 281 pp.  Type: Book (1484295048)
Statistical methods for data analysis: with applications in particle physics (3rd ed.)
Lista L., Springer International Publishing, Cham, Switzerland, 2023. 334 pp.  Type: Book (9783031199332)
Murach's R for data analysis
McCoy S., Mike Murach & Associates, Inc., Fresno, CA, 2022. 557 pp.  Type: Book (1943873038)
more...

Related Topics

D.2.4
Software/Program Verification
  - Specifying And Verifying And Reasoning About Programs
   
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy