Distributed Computing and Internet Technology More Books by Nikolaj Bjørner, Sanjiva Prasad & Laxmi Parida

Perspectives of System Informatics

2019

Automated Deduction -- CADE-23

2011