語系
Alvim, Mario S.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The art of modelling computational systems = a journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday /
by:
Alvim, Mario S.; SpringerLink (Online service)
(書目-電子資源)
The science of quantitative information flow
by:
Alvim, Mario S.; SpringerLink (Online service)
(書目-電子資源)