語系
Ganty, Pierre.
概要
作品: | 3 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Trustworthy global computing10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
(1998 :); Ganty, Pierre.; Loreti, Michele.; SpringerLink (Online service)
(書目-電子資源)
Verification and evaluation of computer and communication systems13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings /
by:
(1998 :); Ganty, Pierre.; Kaaniche, Mohamed.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Information Systems Applications (incl. Internet)
Database Management.
Algorithm Analysis and Problem Complexity.
Computer security
The Computing Profession.
Computer networks
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.