語系
Sassone, Vladimiro.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
Sassone, Vladimiro.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Rovan, Branislav.; Widmayer, Peter.
(書目-電子資源)
Theoretical computer science = 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Calude, Cristian S.; 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.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
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:
Congress on Progress and Controversies in Oncological Urology (2000:); 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.
Computer science- Mathematics
Data Structures.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Languages, Compilers, Interpreters.
System analysis
Computer programming
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Numeric Computing.
Computation by Abstract Devices.
Computer software- Verification
Computer software
Management of Computing and Information Systems.
Computer security
Computer software- Validation
Computer networks- Security measures