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)