E- text books

Computer Aided Verification

Author : Lahiri 

Springer

Access online

Wired/Wireless Internet Communications

Author : Masip-Bruin 

Springer

Access online

Computer Security — ESORICS 96

Author : Bertino 

Springer

Access online

Material Agency

Author : Knappett 

Springer

Access online

NASA Formal Methods

Author : Badger 

Springer

Access online

Coordination Models and Languages

Author : Di Marzo Serugendo 

Springer

Access online

Lasers in the Conservation of Artworks

Author : Nimmrichter 

Springer

Access online

Solidarity in Europe

Author : Lahusen 

Springer

Access online