語系
Alvim, Mario S.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
The art of modelling computational systemsa 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)
(書目-電子資源)