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

Mã QR

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

Đã lưu trong:

Sonraí Bibleagrafaíochta
Những tác giả chính:	Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Formáid:	Leabhar
Teanga:	English
Foilsithe:	Springer International Publishing 2020
Ábhair:	Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Probability and Statistics in Computer Science
Rochtain Ar Líne:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Information Security and Privacy
Foilsithe: (2020)

Concurrency, Security, and Puzzles
le: Gibson-Robinson, Thomas, et al.
Foilsithe: (2020)

Data Privacy Management, Cryptocurrencies and Blockchain Technology
le: Garcia-Alfaro, Joaquin, et al.
Foilsithe: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Foilsithe: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
le: Kleijn, Jetty, et al.
Foilsithe: (2020)

Advances in Cryptology – CRYPTO 2018
le: Shacham, Hovav, et al.
Foilsithe: (2020)

Information Systems Security and Privacy
le: Mori, Paolo, et al.
Foilsithe: (2020)

Engineering Secure Software and Systems
Foilsithe: (2020)

Privacy Enhancing Technologies
Foilsithe: (2020)

Information Security and Privacy
Foilsithe: (2020)

Information Security and Privacy
le: Pieprzyk, Josef, et al.
Foilsithe: (2020)

Information Security and Privacy
le: Mu, Yi, et al.
Foilsithe: (2020)

Trust, Privacy and Security in Digital Business
le: Lopez, Javier, et al.
Foilsithe: (2020)

Data and Applications Security and Privacy XXXII
le: Kerschbaum, Florian, et al.
Foilsithe: (2020)

Data and Applications Security and Privacy XXXI
le: Livraga, Giovanni, et al.
Foilsithe: (2020)

Trust, Privacy and Security in Digital Business
le: Furnell, Steven, et al.
Foilsithe: (2020)

Security and Privacy in Communication Networks
le: Deng, Robert, et al.
Foilsithe: (2020)

Security and Privacy in Communication Networks
le: Lin, Xiaodong, et al.
Foilsithe: (2020)

The Journey to Enterprise Agility
le: Kulak, Daryl, et al.
Foilsithe: (2020)

Trust, Privacy and Security in Digital Business
le: Lambrinoudakis, Costas, et al.
Foilsithe: (2020)

Trust, Privacy and Security in Digital Business
Foilsithe: (2020)

Trust, Privacy, and Security in Digital Business
le: Katsikas, Sokratis, et al.
Foilsithe: (2020)

Information Security Education – Towards a Cybersecure Society
le: Drevin, Lynette, et al.
Foilsithe: (2020)

Security and Privacy in Communication Networks
Foilsithe: (2020)

Cryptology and Network Security
le: Camenisch, Jan, et al.
Foilsithe: (2020)

Application and Theory of Petri Nets and Concurrency
le: Khomenko, Victor, et al.
Foilsithe: (2020)

Application and Theory of Petri Nets and Concurrency
le: Aalst, Wil van der, et al.
Foilsithe: (2020)

Secure Transaction Protocol Analysis
Foilsithe: (2020)

Computer Safety, Reliability, and Security
Foilsithe: (2020)

Financial Cryptography and Data Security
le: Kiayias, Aggelos
Foilsithe: (2020)

Risks and Security of Internet and Systems
le: Cuppens, Frédéric, et al.
Foilsithe: (2020)

Language, Logic, and Computation
le: Silva, Alexandra, et al.
Foilsithe: (2020)

Logic Programming
le: Gabbrielli, Maurizio, et al.
Foilsithe: (2020)

Logic Programming
le: Dahl, Verónica, et al.
Foilsithe: (2020)

Security and Privacy in Ad-hoc and Sensor Networks
le: Stajano, Frank, et al.
Foilsithe: (2020)

The Amazing Journey of Reason
le: Alemi, Mario
Foilsithe: (2020)

Privacy Enhancing Technologies
le: Danezis, George, et al.
Foilsithe: (2020)

Transactions on Petri Nets and Other Models of Concurrency XII
Foilsithe: (2020)

Advances in Computer Science, Information Security and Privacy
Foilsithe: (2020)

E-Democracy – Privacy-Preserving, Secure, Intelligent E-Government Services
le: Katsikas, Sokratis K., et al.
Foilsithe: (2020)