Distributed Computing and Internet Technology Más libros de Nikolaj Bjørner, Sanjiva Prasad & Laxmi Parida

Perspectives of System Informatics

2019

Automated Deduction -- CADE-23

2011