E- text books

Computer Aided Verification

Author : Silva 

Springer

Access online

Computer Aided Verification

Author : Silva 

Springer

Access online

Rule Interchange and Applications

Author : Governatori 

Springer

Access online

Studies of Software Design

Author : Lamb 

Springer

Access online

Time Predictions

Author : Halkjelsvik 

Springer

Access online

Software Architecture

Author : Biffl 

Springer

Access online

Algorithms for Reinforcement Learning

Author : Szepesvári 

Springer

Access online

Layered Double Hydroxides

Author : Duan 

Springer

Access online

Cellular Automata

Author : Sirakoulis 

Springer

Access online