E- text books

Teaching Formal Methods

Author : Gibbons 

Springer

Access online

European Ombudsman-Institutions

Author : Kucsko-Stadlmayer 

Springer

Access online

The Einstein Dossiers

Author : Grundmann 

Springer

Access online

Dynamic Fleet Management

Author : Zeimpekis 

Springer

Access online

Continuous System Simulation

Author : Cellier 

Springer

Access online