Distributed Computing and Internet Technology 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년