
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) P...
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) P...
Artificial Financial Intelligence in China (Financial Mathematics and Fintech) Author: Dawei Zhao and Wenting Zhang Publ...
Advances in Soft Computing and Machine Learning in Image Processing (Studies in Computational Intelligence) ISBN-10: 331...
The Data Science Design Manual (Texts in Computer Science) by: Steven S. Skiena ISBN-10: 3319554433 ISBN-13: 97833195544...
Scale Space and Variational Methods in Computer Vision: 6th International Conference,SSVM 2017,Kolding,Denmark,June 4-8,...
Robot Operating System (ROS): The Complete Reference (Volume 7) (Studies in Computational Intelligence, 1051) 1st ed. 20...
Programming Language Design and Implementation (Texts in Computer Science) 1st ed. 2022 Edition by Torben Ægidius Mogens...
Introduction to Software Design with Java Author: Martin P. Robillard Publisher finelybook 出版社: Springer; 2nd ed. 2022 ...
Advances in Intelligent Systems Research and Innovation 4 Nov. 2021 Author: Vassil Sgurev,Vladimir Jotsov,Janusz Kacprzy...
Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EA...