E- text books

Treasure Your Exceptions

Author : Cock 

Springer

Access online

FM’99 — Formal Methods

Author : Wing 

Springer

Access online

Hubble 15 Years of Discovery

Author : Christensen 

Springer

Access online

Inductive Logic Programming

Author : Muggleton 

Springer

Access online

Security Protocols XVIII

Author : Christianson 

Springer

Access online

Digital Timing Measurements

Author : Maichen 

Springer

Access online

The Mathematics of Language

Author : Ebert 

Springer

Access online

Signal Extraction

Author : Wildi 

Springer

Access online

Types for Proofs and Programs

Author : Giménez 

Springer

Access online