Theoretical Aspects of Computing – ICTAC 2011

No description available.
Logic designComputer scienceSoftware engineeringComputer softwareComputer networksCongressesSecurity measuresElectronic data processingAlgorithm Analysis and Problem ComplexityMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsComputation by Abstract Devices