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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Probability and Statistics in Computer Science
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Information Security and Privacy
Baskı/Yayın Bilgisi: (2020)

Concurrency, Security, and Puzzles
Yazar:: Gibson-Robinson, Thomas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Data Privacy Management, Cryptocurrencies and Blockchain Technology
Yazar:: Garcia-Alfaro, Joaquin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Baskı/Yayın Bilgisi: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
Yazar:: Kleijn, Jetty, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Cryptology – CRYPTO 2018
Yazar:: Shacham, Hovav, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Information Systems Security and Privacy
Yazar:: Mori, Paolo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Engineering Secure Software and Systems
Baskı/Yayın Bilgisi: (2020)

Privacy Enhancing Technologies
Baskı/Yayın Bilgisi: (2020)

Information Security and Privacy
Baskı/Yayın Bilgisi: (2020)

Information Security and Privacy
Yazar:: Pieprzyk, Josef, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Information Security and Privacy
Yazar:: Mu, Yi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trust, Privacy and Security in Digital Business
Yazar:: Lopez, Javier, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Data and Applications Security and Privacy XXXII
Yazar:: Kerschbaum, Florian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Data and Applications Security and Privacy XXXI
Yazar:: Livraga, Giovanni, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trust, Privacy and Security in Digital Business
Yazar:: Furnell, Steven, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Security and Privacy in Communication Networks
Yazar:: Deng, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Security and Privacy in Communication Networks
Yazar:: Lin, Xiaodong, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

The Journey to Enterprise Agility
Yazar:: Kulak, Daryl, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trust, Privacy and Security in Digital Business
Yazar:: Lambrinoudakis, Costas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Trust, Privacy and Security in Digital Business
Baskı/Yayın Bilgisi: (2020)

Trust, Privacy, and Security in Digital Business
Yazar:: Katsikas, Sokratis, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Information Security Education – Towards a Cybersecure Society
Yazar:: Drevin, Lynette, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Security and Privacy in Communication Networks
Baskı/Yayın Bilgisi: (2020)

Cryptology and Network Security
Yazar:: Camenisch, Jan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Application and Theory of Petri Nets and Concurrency
Yazar:: Khomenko, Victor, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Application and Theory of Petri Nets and Concurrency
Yazar:: Aalst, Wil van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Secure Transaction Protocol Analysis
Baskı/Yayın Bilgisi: (2020)

Computer Safety, Reliability, and Security
Baskı/Yayın Bilgisi: (2020)

Financial Cryptography and Data Security
Yazar:: Kiayias, Aggelos
Baskı/Yayın Bilgisi: (2020)

Risks and Security of Internet and Systems
Yazar:: Cuppens, Frédéric, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Language, Logic, and Computation
Yazar:: Silva, Alexandra, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Gabbrielli, Maurizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Dahl, Verónica, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Security and Privacy in Ad-hoc and Sensor Networks
Yazar:: Stajano, Frank, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

The Amazing Journey of Reason
Yazar:: Alemi, Mario
Baskı/Yayın Bilgisi: (2020)

Privacy Enhancing Technologies
Yazar:: Danezis, George, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transactions on Petri Nets and Other Models of Concurrency XII
Baskı/Yayın Bilgisi: (2020)

Advances in Computer Science, Information Security and Privacy
Baskı/Yayın Bilgisi: (2020)

E-Democracy – Privacy-Preserving, Secure, Intelligent E-Government Services
Yazar:: Katsikas, Sokratis K., ve diğerleri
Baskı/Yayın Bilgisi: (2020)