E- text books

Reset

Certified Programs and Proofs

Author : Gonthier 

Springer

Access online

Combinatorial Algorithms

Author : Brankovic 

Springer

Access online

Clinical Trial Registries

Author : Foote 

Springer

Access online

Controlled Natural Language

Author : Kuhn 

Springer

Access online

Computer Science Logic

Author : Börger 

Springer

Access online

Crystallography of Quasicrystals

Author : Walter 

Springer

Access online

Computational Modeling of Narrative

Author : Mani 

Morgan & Claypool

Access online

Compiler Construction

Author : Knoop 

Springer

Access online

Chaos, Nonlinearity, Complexity

Author : Sengupta 

Springer

Access online