語系
Sassone, Vladimiro.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sassone, Vladimiro.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
SpringerLink (Online service); Sassone, Vladimiro.; Bruni, Roberto.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
Widmayer, Peter.; Rovan, Branislav.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Sassone, Vladimiro.
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer algorithms
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
Data Structures.
Computer networks
Computer Science.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Management of Computing and Information Systems.
Computer security
Discrete Mathematics in Computer Science.
System analysis
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Computer software
Computation by Abstract Devices.