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, Mário S. editor.
Title
:
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
Author
:
Alvim, Mário S. editor.
ISBN
:
9783030311759
Edition
:
1st ed. 2019.
Physical Description
:
XXXIV, 461 p. 1292 illus., 45 illus. in color. online resource.
Series
:
Theoretical Computer Science and General Issues ; 11760
Subject Term
:
Computers.
Software engineering.
Artificial intelligence.
Mathematical statistics.
Computer security.
Added Author
:
Alvim, Mário S.
Chatzikokolakis, Kostas.
Olarte, Carlos.
Valencia, Frank.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 486859-1001 | ONLINE | | Elektronik Kütüphane |