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