コンピューティング理論

コンピューティング理論は、効率的な計算、計算プロセスのモデル、およびその限界についての研究です。コンピューティング理論は、最新の計算複雑性理論の開発、効率的なグラフ アルゴリズムの基礎、信頼性の高いシステムを構築するための応用ロジックと形式的検証の使用で構成されます。

コンピューティング理論の関連ジャーナル

コンピューティング システムの理論、イメージおよびビジョン コンピューティング、モバイル コンピューティングに関する IEEE トランザクション、SIAM 科学コンピューティング ジャーナル、ACM Computing Surveys。