Languages
Sangiorgi, Davide.
Overview
Works: | 11 works in 1 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
CONCUR'98concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings /
by:
(1998 :); Sangiorgi, Davide.; Simone, Robert de.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.