The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

QRコード

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

保存先:

書誌詳細
主要な著者:	Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
フォーマット:	図書
言語:	English
出版事項:	Springer International Publishing 2020
主題:	Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Probability and Statistics in Computer Science
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Information Security and Privacy
出版事項: (2020)

Concurrency, Security, and Puzzles
著者:: Gibson-Robinson, Thomas, 等
出版事項: (2020)

Data Privacy Management, Cryptocurrencies and Blockchain Technology
著者:: Garcia-Alfaro, Joaquin, 等
出版事項: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
出版事項: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
著者:: Kleijn, Jetty, 等
出版事項: (2020)

Advances in Cryptology – CRYPTO 2018
著者:: Shacham, Hovav, 等
出版事項: (2020)

Information Systems Security and Privacy
著者:: Mori, Paolo, 等
出版事項: (2020)

Engineering Secure Software and Systems
出版事項: (2020)

Privacy Enhancing Technologies
出版事項: (2020)

Information Security and Privacy
出版事項: (2020)

Information Security and Privacy
著者:: Pieprzyk, Josef, 等
出版事項: (2020)

Information Security and Privacy
著者:: Mu, Yi, 等
出版事項: (2020)

Trust, Privacy and Security in Digital Business
著者:: Lopez, Javier, 等
出版事項: (2020)

Data and Applications Security and Privacy XXXII
著者:: Kerschbaum, Florian, 等
出版事項: (2020)

Data and Applications Security and Privacy XXXI
著者:: Livraga, Giovanni, 等
出版事項: (2020)

Trust, Privacy and Security in Digital Business
著者:: Furnell, Steven, 等
出版事項: (2020)

Security and Privacy in Communication Networks
著者:: Deng, Robert, 等
出版事項: (2020)

Security and Privacy in Communication Networks
著者:: Lin, Xiaodong, 等
出版事項: (2020)

The Journey to Enterprise Agility
著者:: Kulak, Daryl, 等
出版事項: (2020)

Trust, Privacy and Security in Digital Business
著者:: Lambrinoudakis, Costas, 等
出版事項: (2020)

Trust, Privacy and Security in Digital Business
出版事項: (2020)

Trust, Privacy, and Security in Digital Business
著者:: Katsikas, Sokratis, 等
出版事項: (2020)

Information Security Education – Towards a Cybersecure Society
著者:: Drevin, Lynette, 等
出版事項: (2020)

Security and Privacy in Communication Networks
出版事項: (2020)

Cryptology and Network Security
著者:: Camenisch, Jan, 等
出版事項: (2020)

Application and Theory of Petri Nets and Concurrency
著者:: Khomenko, Victor, 等
出版事項: (2020)

Application and Theory of Petri Nets and Concurrency
著者:: Aalst, Wil van der, 等
出版事項: (2020)

Secure Transaction Protocol Analysis
出版事項: (2020)

Computer Safety, Reliability, and Security
出版事項: (2020)

Financial Cryptography and Data Security
著者:: Kiayias, Aggelos
出版事項: (2020)

Risks and Security of Internet and Systems
著者:: Cuppens, Frédéric, 等
出版事項: (2020)

Language, Logic, and Computation
著者:: Silva, Alexandra, 等
出版事項: (2020)

Logic Programming
著者:: Gabbrielli, Maurizio, 等
出版事項: (2020)

Logic Programming
著者:: Dahl, Verónica, 等
出版事項: (2020)

Security and Privacy in Ad-hoc and Sensor Networks
著者:: Stajano, Frank, 等
出版事項: (2020)

The Amazing Journey of Reason
著者:: Alemi, Mario
出版事項: (2020)

Privacy Enhancing Technologies
著者:: Danezis, George, 等
出版事項: (2020)

Transactions on Petri Nets and Other Models of Concurrency XII
出版事項: (2020)

Advances in Computer Science, Information Security and Privacy
出版事項: (2020)

E-Democracy – Privacy-Preserving, Secure, Intelligent E-Government Services
著者:: Katsikas, Sokratis K., 等
出版事項: (2020)