518 algebra algorithmanalysisandproblemcomplexity algorithms artificialintelligence bioinformatics biology chemistry combinatorialanalysis computationalbiology computationalbiology/bioinformatics computationalcomplexity computercommunicationnetworks computergraphics computernetworks computers computerscience computersimulation computersoftware computersystemperformance computervision congresses databasemanagement datamining dataminingandknowledgediscovery dataprocessing dataprotection datastructures datastructures(computerscience) discretemathematicsincomputerscience electronicdataprocessing imageprocessingandcomputervision informationorganization informationretrieval informationstorageandretrieval informationstorageandretrievalsystems informationtheory logicdesign logicsandmeaningsofprograms machinetheory mathematicallogicandformallanguages mathematics mathematicsofcomputing numericalanalysis numericcomputing opticalpatternrecognition patternperception petrinets probabilityandstatisticsincomputerscience programmingtechniques q334-342 reliability(engineering) simulationandmodeling socialsciences softwareengineering symbolicandalgebraicmanipulation systemperformanceandevaluation systemsanddatasecurity theoreticalandcomputationalchemistry theoryofcomputation