004 077 22726 22727 2886 2967 2970 2971 2972 2980 2981 3080 3121 3206 3401 3402 3431 3456 3640 3778 3820 4275 4364 4456 4482 4766 4767 4777 4927 5024 5079 5308 5481 5482 5740 5747 5758 6053 7055 7147 7256 7321 7418 7576 algebra algorithmanalysisandproblemcomplexity algorithms amp;theinternet applied artificialintelligence automatictheoremproving automation cad-cam cad/cam cad/camrelatedproductdesign career circuits compilers compilers(computerprograms) computationalcomplexity computationbyabstractdevices computer-aideddesign computerarchitecture computerarchitecture/engineering computercommunicationnetworks computerengineering computergraphics computerhardware computernetworks computerprogramming computerprograms computers computerscience computersimulation computersoftware computersystemperformance computervision conceptionassistéeparordinateur conceptionetconstruction congresses criticalreasoning databasemanagement datamining datamodeling dataprocessing datatransmissionsystems design designandconstruction digitalelectronics electrical electronicdatainterchange electronicdataprocessing electronicdigitalcomputers electronics electronicsengineering engineering engineering(general) expertsystems fieldprogrammablegatearrays formalmethods(computerscience) foundationsofmathematics general generalengineering generalinterest handhelddevices hardware hardwarerelatedprogramming history human-computerinteraction informationtechnology informationtheory informatique integratedcircuits intelligence(ai) interpreters kongress logic logiccircuits logicsandmeaningsofprograms machinetheory mathematicallogicandformallanguages mathematics mathematicsgeneral microelectronics microprocessors miscellaneous networkhardware networking neuralnetworks operatingsystems operatingsystems(computers) patternrecognition petrinets philosophy physics post-calculus professional programminglanguages programminglanguages(electroniccomputers) programminglanguages(jr/sr) programmingtechniques sce16000 sci12018 sci12026 sci12050 sci13006 sci13014 sci13022 sci13030 sci13049 sci13057 sci14010 sci14029 sci14037 sci14045 sci15017 sci16005 sci16021 sci1603x sci16048 sci17001 sci1701x sci17028 sci17044 sci18030 sci18040 sci19000 sci21000 sci21017 sci22021 sci23044 sci23050 sci24024 scm13110 scm24005 sct24000 sct24027 sct24068 semantics socialsciences softwareengineering specialtopics statistics structurelogique suco11645 suco11647 suco11649 symbolicandmathematical symbolicandmathematicallogic systemadministration systemdesign systemsengineering tec007000 technology testing trade trades userinterfaces verification verylargescaleintegration