語系
Ganty, Pierre.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
Ganty, Pierre.; Loreti, Michele.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Trustworthy Global Computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers /
by:
Loreti, Michele.; SpringerLink (Online service); Ganty, Pierre.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
SpringerLink (Online service); Ganty, Pierre.; Kaâniche, Mohamed.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer organization.
Systems and Data Security.
Computer logic.
Algorithm Analysis and Problem Complexity.
Software engineering.
Computer networks
Information Systems Applications (incl. Internet).
The Computing Profession.
Computer Science.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Logics and Meanings of Programs.
Computer security
Application software.
Database management.
Computers.
Computer security.
Computer software
Database Management.