E- text books

Computer Aided Verification

Author : Alur 

Springer

Access online

Matrix Methods in Analysis

Author : Antosik 

Springer

Access online

Photonics

Author : Menzel 

Springer

Access online

TAPSOFT '89

Author : Díaz 

Springer

Access online

High-Level Synthesis

Author : Coussy 

Springer

Access online

Computer Aided Verification

Author : Halbwachs 

Springer

Access online

Stereochemistry Workbook

Author : Hellwich 

Springer

Access online

Meningiomas

Author : Lee 

Springer

Access online

Harmonic Analysis

Author : Cheng 

Springer

Access online

ICDT '86

Author : Ausiello 

Springer

Access online