E- text books

From Vectors to Tensors

Author : Ruíz-Tolosa 

Springer

Access online

Parenting and Work in Poland

Author : Suwada 

Springer

Access online

Effective Functional Verification

Author : Vasudevan 

Springer

Access online

Types in Compilation

Author : Leroy 

Springer

Access online

Automated Deduction - CADE-17

Author : McAllester 

Springer

Access online

Tree and Forest Measurement

Author : West 

Springer

Access online