E- text books

Computer Vision – ECCV 2020

Author : Vedaldi 

Springer

Access online

Types for Proofs and Programs

Author : Miculan 

Springer

Access online

Advances in Visual Computing

Author : Bebis 

Springer

Access online

Automated Deduction - CADE-25

Author : Felty 

Springer

Access online