Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Alvim, Mario S.

Overview

Works:	0 works in 2 publications in 1 languages

Titles

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) (Electronic resources)

The science of quantitative information flow by: Alvim, Mario S.; SpringerLink (Online service) (Electronic resources)

Subjects

Computer security. Theory of Computation. Data Structures and Information Theory. Software Engineering/Programming and Operating Systems. Logic in AI. Data protection. Programming languages (Electronic computers) Probability and Statistics in Computer Science. Systems and Data Security.

Change password

Login