Concise Guide to Software Verification: From Model Checking to Annotation Checking
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science) by Mariek...
最近更新 第770页
Applications of Emerging Technologies and AI/ML Algorithms
Applications of Emerging Technologies and AI/ML Algorithms: International Conference on Data Analytics in Public Procure...
Advances in Artificial Intelligence for Renewable Energy Systems and Energy Autonomy
Advances in Artificial Intelligence for Renewable Energy Systems and Energy Autonomy (EAI/Springer Innovations in Commun...
Data Science and Applications for Modern Power Systems
Data Science and Applications for Modern Power Systems (Power Electronics and Power Systems) 1st ed. 2023 Edition by Le ...
3D Imaging Technologies-Multi-dimensional Signal Processing and Deep Learning: Mathematical Approaches and Applications,Volume 1
3D Imaging Technologies―Multi-dimensional Signal Processing and Deep Learning: Mathematical Approaches and Applications,...
Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers
Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers by Ahmet Bindal (Author)Publisher finelybook 出版...
Applied Statistical Learning: With Case Studies in Stata
Applied Statistical Learning: With Case Studies in Stata (Statistics and Computing) by Matthias Schonlau (Author) Publis...
Challenges of Software Verification
Challenges of Software Verification (Intelligent Systems Reference Library, 238) by Vincenzo Arceri (Editor), Agostino C...
Trends in Data Protection and Encryption Technologies
Trends in Data Protection and Encryption Technologies by Valentin Mulder (Editor), Alain Mermoud (Editor), Vincent Lende...
Dynamics of Number Systems: Computation with Arbitrary Precision
9783319333663 Dynamics of Number Systems: Computation with Arbitrary Precision (Studies in Systems,Decision and C...