Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
$109.99 - $139.99
Alakazam
Out of Stock
Theory of Translation Closedness for Time Scales : With Applications to Translation Functions and Dynamic Equations
$139.99
Chinese Currency Exchange Rates Analysis: Risk Management, Forecasting and Hedging Strategies
$37.43
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)
$46.89 - $49.27
Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations
$139.99
Computational Advertising: Market and Technologies for Internet Commercial Monetization
$69.60 - $180.00
Safe Robot Navigation Among Moving and Steady Obstacles
$148.39
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
$59.99
Combined Measure and Shift Invariance Theory of Time Scales and Applications
$109.99
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete (Hydroscience and Engineering)
$199.99
Spectromètre d'énergie électronique à temps de vol
Out of Stock
Spettrometro di energia elettronica a tempo di volo
Out of Stock
Espectr?metro de Energia Electr?nica de Tempo de Voo
Out of Stock
Elektronen-Energie-Spektrometer mit Flugzeit
Out of Stock
Reconfigurable and Adaptive Computing: Theory and Applications
$102.99
