E- text books

Automated Reasoning

Author : Giesl 

Springer

Access online

Hardware Verification with C++

Author : Mintz 

Springer

Access online

Laser 2004

Author : Błaszczak 

Springer

Access online

Astrophysics Update 2

Author : Mason 

Springer

Access online

Interactive Storytelling

Author : Mitchell 

Springer

Access online

Graphical Models for Security

Author : Cybenko 

Springer

Access online

Fast Software Encryption

Author : Nyberg 

Springer

Access online

The Near-Surface Layer of the Ocean

Author : Soloviev 

Springer

Access online

Computer Simulation of Solids

Author : Catlow 

Springer

Access online

Text, Speech, and Dialogue

Author : Sojka 

Springer

Access online

Electrochemical Dictionary

Author : Bard 

Springer

Access online