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

kod QR

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

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Format:	Książka
Język:	English
Wydane:	Springer International Publishing 2020
Hasła przedmiotowe:	Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Probability and Statistics in Computer Science
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Information Security and Privacy
Wydane: (2020)

Concurrency, Security, and Puzzles
od: Gibson-Robinson, Thomas, i wsp.
Wydane: (2020)

Data Privacy Management, Cryptocurrencies and Blockchain Technology
od: Garcia-Alfaro, Joaquin, i wsp.
Wydane: (2020)

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

Petri Nets and Other Models of Concurrency - ICATPN 2007
od: Kleijn, Jetty, i wsp.
Wydane: (2020)

Advances in Cryptology – CRYPTO 2018
od: Shacham, Hovav, i wsp.
Wydane: (2020)

Information Systems Security and Privacy
od: Mori, Paolo, i wsp.
Wydane: (2020)

Engineering Secure Software and Systems
Wydane: (2020)

Privacy Enhancing Technologies
Wydane: (2020)

Information Security and Privacy
Wydane: (2020)

Information Security and Privacy
od: Pieprzyk, Josef, i wsp.
Wydane: (2020)

Information Security and Privacy
od: Mu, Yi, i wsp.
Wydane: (2020)

Trust, Privacy and Security in Digital Business
od: Lopez, Javier, i wsp.
Wydane: (2020)

Data and Applications Security and Privacy XXXII
od: Kerschbaum, Florian, i wsp.
Wydane: (2020)

Data and Applications Security and Privacy XXXI
od: Livraga, Giovanni, i wsp.
Wydane: (2020)

Trust, Privacy and Security in Digital Business
od: Furnell, Steven, i wsp.
Wydane: (2020)

Security and Privacy in Communication Networks
od: Deng, Robert, i wsp.
Wydane: (2020)

Security and Privacy in Communication Networks
od: Lin, Xiaodong, i wsp.
Wydane: (2020)

The Journey to Enterprise Agility
od: Kulak, Daryl, i wsp.
Wydane: (2020)

Trust, Privacy and Security in Digital Business
od: Lambrinoudakis, Costas, i wsp.
Wydane: (2020)

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

Trust, Privacy, and Security in Digital Business
od: Katsikas, Sokratis, i wsp.
Wydane: (2020)

Information Security Education – Towards a Cybersecure Society
od: Drevin, Lynette, i wsp.
Wydane: (2020)

Security and Privacy in Communication Networks
Wydane: (2020)

Cryptology and Network Security
od: Camenisch, Jan, i wsp.
Wydane: (2020)

Application and Theory of Petri Nets and Concurrency
od: Khomenko, Victor, i wsp.
Wydane: (2020)

Application and Theory of Petri Nets and Concurrency
od: Aalst, Wil van der, i wsp.
Wydane: (2020)

Secure Transaction Protocol Analysis
Wydane: (2020)

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

Financial Cryptography and Data Security
od: Kiayias, Aggelos
Wydane: (2020)

Risks and Security of Internet and Systems
od: Cuppens, Frédéric, i wsp.
Wydane: (2020)

Language, Logic, and Computation
od: Silva, Alexandra, i wsp.
Wydane: (2020)

Logic Programming
od: Gabbrielli, Maurizio, i wsp.
Wydane: (2020)

Logic Programming
od: Dahl, Verónica, i wsp.
Wydane: (2020)

Security and Privacy in Ad-hoc and Sensor Networks
od: Stajano, Frank, i wsp.
Wydane: (2020)

The Amazing Journey of Reason
od: Alemi, Mario
Wydane: (2020)

Privacy Enhancing Technologies
od: Danezis, George, i wsp.
Wydane: (2020)

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

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

E-Democracy – Privacy-Preserving, Secure, Intelligent E-Government Services
od: Katsikas, Sokratis K., i wsp.
Wydane: (2020)