Basin, David.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theorem proving in higher order logics = 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Wolff, Burkhart, (1962-); Basin, David.
(書目-語言資料,印刷品)
The Complete Guide to SCION = From Design Principles to Formal Verification /
by:
Hitz, Samuel.; Hausheer, David.; SpringerLink (Online service); Basin, David.; Legner, Markus.; Perrig, Adrian.; Müller, Peter.; Chuat, Laurent.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Principles of security and trust = second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /
by:
SpringerLink (Online service); Basin, David.; Mitchell, John C.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
Basin, David.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Rusinowitsch, Michael.
(書目-語言資料,印刷品)
Applied information security = a hands-on approach /
by:
SpringerLink (Online service); Schaller, Patrick.; Schlapfer, Michael.; Basin, David.
(書目-語言資料,印刷品)
主題
Computer engineering.
Systems and Data Security.
Computer networks .
Innovation/Technology Management.
Data protection.
Data Encryption.
Automatic theorem proving
Computer Communication Networks.
Security Science and Technology.
Computer networks
Cloud Computing.
Computer Science.
Computer Engineering and Networks.
Management of Computing and Information Systems.
Computer logic
Computer security
e-Commerce/e-business.
Security systems.
Data Structures, Cryptology and Information Theory.
Business Information Systems.
Computers.
Data encryption (Computer science)
Computer Hardware.
Data and Information Security.
Computer security.