E- text books

Types for Proofs and Programs

Author : Berardi 

Springer

Access online

Game Theory for Data Science

Author : Faltings 

Springer

Access online

Co-oP

Author : Bui 

Springer

Access online

Verilog and SystemVerilog Gotchas

Author : Sutherland 

Springer

Access online

Introduction to the Optical Transfer Function

Author : Williams, Charles S. 

Mechanical Circulatory Support in End-Stage Heart Failure

Author : Andrea Montalto, Antonio Loforte, Francesco Musumeci, Thomas Krabatsch, Mark S. Slaughter 

Springer
Access online

Leonardo’s Choice

Author : Gigliotti 

Springer

Access online

An introduction to Credit Risk Modeling

Author : Bluhm, Christoph Wagner, and Ludger Overbeck 

T&F-Routledge
Access online

Testing of Communicating Systems

Author : Hogrefe 

Springer

Access online

Death Threats and Violence

Author : Morewitz 

Springer

Access online