E- text books

Reset

Types for Proofs and Programs

Author : Miculan 

Springer

Access online

The Metabolic Syndrome

Author : Hansen 

Springer

Access online

Tests and Proofs

Author : Beyer 

Springer

Access online

The Scientist as Philosopher

Author : Weinert 

Springer

Access online

The Semantic Web – ISWC 2004

Author : McIlraith 

Springer

Access online

The Semantic Web – ISWC 2010

Author : Patel-Schneider 

Springer

Access online