Resources

Automated Deduction – CADE-23

Author : Bjørner 

Springer

Access online

Beginning Android

Author : Murphy 

Springer

Access online

Biochemistry

Author :  

Springer

Access online

Catalogue of Risks

Author : Proske 

Springer

Access online

Codici correttori

Author : Giuzzi 

Springer

Access online

Advances in Visual Informatics

Author : Badioze Zaman 

Springer

Access online

Algebraic Geometry

Author : Aroca 

Springer

Access online

Algorithms and Computation

Author : Fleischer 

Springer

Access online