نظریه سودهی
switching theory
شبکه اتصالی داخلی چندپرداز
multiprocessor interconnection network
رایانش کوانتمی
quantum computing
علم رایانه
computer science
رایانه
computer
نظریه الگوریتمی
algorithm theory
نظریه خودکارافزار
automata theory
زبان‌شناسی رایانشی
computational linguistics
نظریه هم‌روی
concurrency theory
منطق صوری
formal logic
نظریه برنامه‌نویسی
programming theory
computer metatheory
computation theory
نظریه محاسبه
زیست‌رایانش
biocomputing