Теория вычислений — это изучение эффективных вычислений, моделей вычислительных процессов и их ограничений. Теория вычислений состоит из разработки современной теории сложности вычислений, основ эффективных графовых алгоритмов, а также использования прикладной логики и формальной проверки для построения надежных систем.
Связанные журналы по теории вычислений
Теория вычислительных систем, вычисления изображений и изображений, транзакции IEEE в мобильных вычислениях, журнал SIAM Journal of Scientific Computing, обзоры вычислений ACM.
English 
Spanish 
Chinese 
German 
French 
Japanese 
Portuguese 
Hindi