E- text books

Soziale Armut

Author : Knabe 

Springer

Access online

Quantitative Evaluation of Systems

Author : Bertrand 

Springer

Access online

Stochastic Analysis and Related Topics

Author : Korezlioglu 

Springer

Access online

Nano-Net

Author : Cheng 

Springer

Access online

Boundedly Controlled Topology

Author : Anderson 

Springer

Access online

Towards a Formal Description of Ada

Author : Bjørner 

Springer

Access online

Teaching Formal Methods

Author : Gibbons 

Springer

Access online