Languages
Sassone, Vladimiro.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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 :)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.