語系
Basin, David.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Applied information securitya hands-on approach /
by:
Basin, David.; Schaller, Patrick.; Schlapfer, Michael.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(1998 :); Basin, David.; Rusinowitsch, Michael.; SpringerLink (Online service)
(書目-電子資源)
Theorem proving in higher order logics16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
by:
(1998 :); Basin, David.; SpringerLink (Online service); Wolff, Burkhart, (1962-)
(書目-電子資源)
主題
Computer security.
Data Structures, Cryptology and Information Theory.
Automatic theorem proving
Data protection.
Management of Computing and Information Systems.
Computer logic
Data encryption (Computer science)
Business Information Systems.
Computer networks
Computer Science.
Systems and Data Security.
Innovation/Technology Management.