語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (1)

跳至 : 概要 | 書目資訊 | 主題

Catherine Meadows Festschrift Symposium ((2019 :)

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows / by: Catherine Meadows Festschrift Symposium ((2019 :); Guttman, Joshua D.; SpringerLink (Online service) (書目-電子資源)

主題

Computer network protocols Software Engineering. Data protection Logics and Meanings of Programs. Cryptography Programming Languages, Compilers, Interpreters. Logic design Security. Computer Systems Organization and Communication Networks. Computers and Society.

變更密碼

登入