Distributed Computing and Internet Technology Nikolaj Bjørner, Sanjiva Prasad & Laxmi Parida의 도서 더 보기

Perspectives of System Informatics

2019년

Automated Deduction -- CADE-23

2011년