国有公司的改进结构不能用采购程序理论来代替。
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.
人事诉讼程序的研究是民事诉讼程序理论领域的重要内容之一。
Personnel litigation procedure is one of the important parts in the theoretical field of civil litigation proceedings.
正是由于宽容的存在，才有了对他人观点的尊重，才有了程序理论存在的必要。
Respect of the ideas of others is possible only because the presence of tolerance, therefore, without tolerance, there is no justice procedure theory.
纳税人程序性权利存在的理论基础主要有四个：一是程序正义和正当法律程序理论。
There are four theory foundations of taxpayers' procedural right: a) the theory of procedural justice and due legal process.
在解答法哲学的基本问题时，考夫曼发现光有诠释学是不够的，因此他求助于程序理论。
Kaufmann found that the onto-hermeneutics is not enough to solve the fundamental problems of his legal philosophy theory, so he appealed to procedure theory.
出于长时间对行政程序理论及实践的学习和思考，笔者选择了行政程序正当性证成的论题。
For a long time learning and thinking of both the theory and practice of administrative procedure, I chose the topic of legitimacy of administrative procedure.
富勒的代表作——《法律的道德性》是迄今为止最为全面以及最为深刻的法律程序理论著作。
Fuller's magnum opus-the Morality of Law has been regarded as the fullest and deepest classic book.
笔者在文中对量刑程序进行了初步探讨，希望能够以法律正当程序理论来统帅我国量刑程序。
In this article, the author carries on preliminary discussion towards the procedure for sentencing, and hopes that the theory of legitimate procedure will be the commander of it in our country.
内容包括讯号、系统、机率与随机程序理论，接著则探讨类比与数位通讯系统之调制技术等相关课题。
And then we will introduce subjects of analog and digital communication system, such as the multiplexing and de-multiplexing technology.
正当程序理论来自自然法的程序正义思想，因而正当程序理论包括了主体的平等性，过程的公开性，程序的合理性。
Theory of due process comes from natural justice, which includes equality of individual, publicity of process, rationality of procedure.
不幸的是，自动控制理论告诉我们，没有工具可以静态地决定哪些程序将抛出空指针异常。
Unfortunately, automata theory tells us that no tool could ever statically determine which programs will throw null-pointer exceptions.
这套程序在理论上没有问题，但实践中这些网络卫士看样子非常需要先保护好他们自己。
It should all work fine in theory. But in practice the guardians of Internet security seem badly to need guarding themselves.
线程是同一程序的执行片段，并且在理论上，允许我们同时执行程序中的不同操作。
Threads are segments of execution for the same program and, in theory, allow us to simultaneously execute different operations in the program simultaneously.
那么这可能正是专家程序员理论起作用的地方：专家更可能会提出有深度的问题，那会对被卡住的程序员起到很大的提示作用。
So perhaps this is how expert programmer theory really works: an expert is more likely to ask a deep question, which prompts the novel inference from the stuck programmer.
从理论上讲，组合现有程序来形成的实用程序运行得不足够快是可能的，但是编写一个新的实用程序很少会比等待一个稍慢的管道更快。
It is possible, in theory, that you'll find stringing existing programs together is not fast enough, but it's very rare that writing a new utility is faster than waiting for a slightly slow pipeline.
当然，他们也问刚毕业的大学生一些关于计算机科学理论的问题，如：请写一个二分查找程序。
And, of course, they asked new university graduates about computer science theory; "Write me a binary search."
Brooks从理论上指出创建编程产品至少需要付出三倍于创建程序的工作。
Brooks theorizes that creating a programming product requires at least thee times more effort than creating a program.
此应用程序并不实际存在—就是说，只存在于理论中。
This application does not actually exist-that is, it exists only in theory.
尽管在理论上你可以在这个程序中设置大量的任务，但最适合的做法还是仅设置少量的任务。
While you could theoretically load the program with a huge list of tasks, it lends itself best to just a few tasks.
不过，理论上的理解还不足以编写出实用的程序。
However, understanding theory is hardly enough to write a useful program.
原因有三，第一个原因，是出于质量控制考虑：严格说来，彩蛋是一段未经测试的程序，理论上来讲，它可能会对整个程序中其他重要的功能代码产生影响。
Part of the reason was quality control: by definition, an Easter egg is an untested feature. It's a loose cannon that could, in theory, interfere with other, more important parts of the program.
理论上，也可以用相同的方法保护MIDP应用程序。
In theory, MIDP applications could be secured by the same methods.
这个应用程序的当前数据架构没有向我施加任何限制—理论上我可以为同一个对象创建无限个实例。
The application's current data architecture leaves me with no constraints - I could theoretically create an infinite number of instances of the same object.
对程序员来说，最有效的离散数学的分支是概率理论。这是你在学校学完基本算术后的紧接着的课。你会问，什么是概率理论呢？
For programmers, the most useful branch of discrete math is probability theory. It's the first thing they should teach you after arithmetic, in grade school.
尽管从理论上讲异步消息传递是单向通信，但是可以让它调用接收应用程序中的一些功能。
Although asynchronous messaging is, in principle, a one-way communication, you can make it invoke some functionality in the receiving application.
尽管从理论上讲异步消息传递是单向通信，但是可以让它调用接收应用程序中的一些功能。
Although asynchronous messaging is, in principle, a one-way communication, you can make it invoke some functionality in the receiving application.
应用推荐