語系
Sangiorgi, Davide.
概要
| 作品: | 11 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical computer science8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(1998 :); Diaz, Josep.; Lanese, Ivan.; Sangiorgi, Davide.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy Global Computing :International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(1998 :); De Nicola, Rocco.; Sangiorgi, Davide.; SpringerLink (Online service)
(書目-電子資源)
CONCUR'98concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings /
by:
(1998 :); Sangiorgi, Davide.; Simone, Robert de.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Operating Systems.
Programming Techniques.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Computer security
Computer science
Computer Science.
Computer Communication Networks.
Computer networks
Parallel processing (Electronic computers)
Discrete Mathematics in Computer Science.