The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Uloženo v:
Hlavní autoři: | Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank |
---|---|
Médium: | Kniha |
Jazyk: | English |
Vydáno: |
Springer International Publishing
2020
|
Témata: | |
On-line přístup: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191 |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Podobné jednotky
-
Information Security and Privacy
Vydáno: (2020) -
Concurrency, Security, and Puzzles
Autor: Gibson-Robinson, Thomas, a další
Vydáno: (2020) -
Data Privacy Management, Cryptocurrencies and Blockchain Technology
Autor: Garcia-Alfaro, Joaquin, a další
Vydáno: (2020) -
Transactions on Petri Nets and Other Models of Concurrency II
Vydáno: (2020) -
Petri Nets and Other Models of Concurrency - ICATPN 2007
Autor: Kleijn, Jetty, a další
Vydáno: (2020)