語系
Sassone, Vladimiro.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical computer science6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
(1998 :); Calude, Cristian S.; Sassone, Vladimiro.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy global computing6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
(1998 :); Bruni, Roberto.; Sassone, Vladimiro.; SpringerLink (Online service)
(書目-電子資源)
Foundations of Software Science and Computational Structures8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
by:
(1998 :); Sassone, Vladimiro.; SpringerLink (Online service)
(書目-電子資源)
Mathematical foundations of computer science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(1998 :); Rovan, Branislav.; Sassone, Vladimiro.; SpringerLink (Online service); Widmayer, Peter.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer algorithms
Computer software
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Data Structures.
Programming Languages, Compilers, Interpreters.
Computer programming
Coding and Information Theory.
Numeric Computing.
Computer science
Computer security
Data Encryption.
Computer Science.
Computer Communication Networks.
Computer networks
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
System analysis