語系
Probst, Christian W.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Graphical models for security6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers /
by:
(1998 :); Albanese, Massimiliano.; Horne, Ross.; Probst, Christian W.; SpringerLink (Online service)
(書目-電子資源)
Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
by:
Hankin, Chris.; Hansen, Rene Rydhof.; Probst, Christian W.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer security.
Data Structures, Cryptology and Information Theory.
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Calculus.
Logics and Meanings of Programs.
Mathematics of Computing.
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Internet
Data Encryption.
Information Systems Applications (incl.Internet)
Semantic computing.
Computer security
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer networks
Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.