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

Perspectives of System Informatics Perspectives of System Informatics
2019
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011