कंप्यूटिंग का सिद्धांत

कंप्यूटिंग का सिद्धांत कुशल गणना, कम्प्यूटेशनल प्रक्रियाओं के मॉडल और उनकी सीमाओं का अध्ययन है। कंप्यूटिंग के सिद्धांत में आधुनिक कम्प्यूटेशनल जटिलता सिद्धांत का विकास, कुशल ग्राफ एल्गोरिदम की नींव, और विश्वसनीय सिस्टम के निर्माण के लिए लागू तर्क और औपचारिक सत्यापन का उपयोग शामिल है।

कंप्यूटिंग के सिद्धांत की संबंधित पत्रिकाएँ

कंप्यूटिंग सिस्टम का सिद्धांत, छवि और दृष्टि कंप्यूटिंग, मोबाइल कंप्यूटिंग पर आईईईई लेनदेन, सियाम जर्नल ऑफ साइंटिफिक कंप्यूटिंग, एसीएम कंप्यूटिंग सर्वेक्षण।