Resources

Codici Cifrati

Author : Beckman 

Springer

Access online

25 Years of Model Checking

Author : Grumberg 

Springer

Access online

A Taste of Topology

Author : RundeAxler 

Springer

Access online

Advances in Visual Informatics

Author : Zaman 

Springer

Access online

Algebraic Geometry

Author : Libgober 

Springer

Access online

Algorithms and Computation

Author : Ibaraki 

Springer

Access online

Applied Reconfigurable Computing

Author : Bonato 

Springer

Access online

Artificial Intelligence

Author : Kovalev 

Springer

Access online

Automated Deduction – CADE-23

Author : Bjørner 

Springer

Access online

Beginning Android

Author : Murphy 

Springer

Access online

Biochemistry

Author :  

Springer

Access online