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

क्यूआर कोड

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)