程序理论(theory programs)和算法理论是计算机科学的两大 程序理论(theory of programs)和算法理论是计算机科学的两大 支柱。 支柱。
基于28个网页-相关网页
Campbell（1970）将工作满 意度之理论分为两大类：内容理论（content theory）与程序理论（process theory），本文将两派主张与理论代表汇总如表一。
基于20个网页-相关网页
据此，规划理论可分为实质理论（Subs伽：niveTlleory）和程序理论（Procedural Theory）。实质理论是指规划工作内在的理论，程序理论是指规划如何运作的理论。
基于8个网页-相关网页
程序设计理论 [计] theory of programming
程序设计语言理论 Programming in Theory ; Theory of programming language
程序设计语言理论基础 Foundations for Programming Languages
程序公正性理论 Procedural Justice Theory
从程序设计理论 programming language theory
决策程序的连续带理论 continuum theory of decision program
程序不动点理论 fixpoint theory of program
程序校正理论 theory of program correction
国有公司的改进结构不能用采购程序理论来代替。
The state-owned corporate improvement structure cannot be replaced by the theory of per procurationem.
在程序理论方面，程序综合与程序验证关系密切。
In the theory of programming, program synthesis is deeply concerned with program verification.
在讨论引导新的驱动器之前，需要了解一些引导加载程序理论。
Before I discuss booting up your new drive, a little boot loader theory is required.
应用推荐