
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st ed. Edition by Boro Sitnikovski(Author)...
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st ed. Edition by Boro Sitnikovski(Author)...
Image and Video Color Editing (Synthesis Lectures on Visual Computing: Computer Graphics, Animation, Computational Photo...
The C++ Standard Library What every professional C++ programmer should know about the C++ standard library.2,324 READERS...
Big Data Analytics and Intelligent Systems for Cyber Threat Intelligence 1st Edition by Yassine Maleh (Editor), Mamoun A...
Advances in Computers (Volume 130) by Ali Hurson (Editor) Publisher finelybook 出版社: Academic Press; (March 16, 2023) La...
Experimentation for Engineers: From A/B testing to Bayesian optimization by David Sweet(Author)Publisher finelybook 出版社:...
Computational Statistical Methodologies and Modeling for Artificial Intelligence (Edge AI in Future Computing) 1st Editi...
Functional Programming in Go: Apply functional techniques in Golang to improve the testability, readability, and securit...
Kubernetes for Jobseekers: DevOps and Kubernetes interview questions and answers for freshers and experienced profession...
Windows APT Warfare: Identify and prevent Windows APT attacks effectively by Sheng-Hao Ma(Author), Ziv Chang (Foreword),...