Games
Apps
Movies & TV
Books
Kids
google_logo Play
Games
Apps
Movies & TV
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies & TV
Books
Kids
Chao Wang
Ebooks
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
5.0
star
Free
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Free
Safe Robot Navigation Among Moving and Steady Obstacles
3.0
star
$130.00
$104.00
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
5.0
star
$169.00
$135.20
Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations
Book 62
$45.15
$39.28
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
$59.99
$47.39
Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
$19.25
$16.75
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
$19.25
$16.75
Abstraction Refinement for Large Scale Model Checking
4.3
star
$34.65
$30.15
Combined Measure and Shift Invariance Theory of Time Scales and Applications
Book 77
$99.00
$79.20