E- text books

Temporal Logic and State Systems

Author : Kröger 

Springer

Access online

Model Checking Software

Author : Biondi 

Springer

Access online

Designing Digital Work

Author : Oppl 

Springer

Access online

Games and Learning Alliance

Author : De Gloria 

Springer

Access online

Numerical Analysis

Author : Watson 

Springer

Access online

Demonstrational Optics

Author : Marchenko 

Springer

Access online

Theory of Cryptography

Author : Hofheinz 

Springer

Access online

Numerical Analysis

Author : Watson 

Springer

Access online

The Calculus of Computation

Author : Bradley 

Springer

Access online

Hybrid Artificial Intelligent Systems

Author : Sanjurjo González 

Springer

Access online

The Callias Index Formula Revisited

Author : Gesztesy 

Springer

Access online

Big Data – BigData 2018

Author : Chin 

Springer

Access online