Distributed Computing and Internet Technology Mehr Bücher von Nikolaj Bjørner, Sanjiva Prasad & Laxmi Parida

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