Abstraction Refinement for Large Scale Model Checking
Autor Chao Wang et al.
20 iul 2006
Hardback
Preț: 617.39 lei 726.35 lei
6-8 săpt.
-15%
Cărți de Chao Wang
From Internet of Things to Smart Cities: Enabling Technologies
Editat de Hongjian Sun et al.
30 iun 2020
Paperback
Preț: 276.02 lei 409.98 lei
6-8 săpt.
-33%
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Editat de Shuvendu K. Lahiri et al.
30 sep 2018
Paperback
Preț: 366.09 lei 457.61 lei
38-44 zile
-20%
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Editat de Shuvendu K. Lahiri et al.
16 iul 2020
Paperback
Preț: 283.61 lei 354.51 lei
6-8 săpt.
-20%
Computational Advertising: Market and Technologies for Internet Commercial Monetization
Autor Peng Liu et al.
13 dec 2021
Paperback
Preț: 359.14 lei 448.93 lei
6-8 săpt.
-20%
Reconfigurable and Adaptive Computing
Editat de Nadia Nedjah et al.
30 apr 2018
Paperback
Preț: 553.60 lei 692.01 lei
6-8 săpt.
-20%
Chinese Currency Exchange Rates Analysis: Risk Management, Forecasting and Hedging Strategies
Autor Jiangze Du et al.
30 iun 2020
Paperback
Preț: 196.89 lei
6-8 săpt.
Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations
Autor Chao Wang et al.
6 mai 2021
Paperback
Preț: 764.40 lei 932.20 lei
6-8 săpt.
-18%
High Performance Computing for Big Data: Methodologies and Applications
Editat de Chao Wang
30 iun 2020
Paperback
Preț: 349.95 lei 437.44 lei
6-8 săpt.
-20%
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
Autor Chao Wang et al.
22 sep 2023
Paperback
Preț: 401.64 lei
6-8 săpt.
Combined Measure and Shift Invariance Theory of Time Scales and Applications
Autor Chao Wang et al.
25 sep 2023
Paperback
Preț: 622.91 lei 732.83 lei
6-8 săpt.
-15%
Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Editat de Xuanhua Shi et al.
19 sep 2017
Paperback
Preț: 314.04 lei 392.55 lei
6-8 săpt.
-20%
Elektronen-Energie-Spektrometer mit Flugzeit
Autor Chao Wang et al.
31 mar 2023
Paperback
Preț: 359.81 lei
3-5 săpt.
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
Autor Sherong Zhang et al.
3 mar 2024
Paperback
Preț: 945.25 lei 1243.76 lei
38-44 zile
-24%
Safe Robot Navigation Among Moving and Steady Obstacles
Autor Andrey V. Savkin et al.
3 sep 2015
Paperback
Preț: 545.54 lei 747.41 lei
5-7 săpt.
-27%