查询词典 library program

In addition, the History Faculty collaborates with the MIT Program in Science, Technology, and Society, and the Anthropology Program, to offer the doctoral program in the History and Social Study of Science and Technology.

除此之外，历史系所的师资也参与了本校科学、科技、社会与人类学方面的计划，并且提供了科学与科技的历史与社会博士学位。

Beginning in 1988, the STS Program, in collaboration with the History Faculty and Anthropology Program, created a doctoral program in the History and Social Study of Science and Technology.

从1988 年开始，科技与社会课程与历史系、人类学课程合作开设了科学与技术的历史与社会研究博士学位课程。

Although the absolute address values would be correct if the library were loaded at the addresses specified in the program header table, this normally is not the case.

尽管 如果库文件被载入到程序头表所指定的地址处，绝对地址将会是正确的，情况通常却不是这样。

I have been using that library for compressing the data my program generates.

我一直在使用的数据压缩我的程序生成该库。

In VSE, to bring a program phase from a core image library into main storage for execution.

在虚机扩充磁盘操作系统中，把核心映象库中的程序段装入主存以便执行。

The quare author association turn on goes into the request of the library of quinonoid formula, vs the MS SQL Server2000 data base management system, SQL language element, the VB application program design, the VB data nbank technique steered the more thorough study and appliances, cardinal terminate to manage the demand analysis of the system to the book, the function shuttering cake curtate, the data nbank modal analysis, and designed the data nbank structure and application programs thereof.

因此本人结合开入式图书馆的要求，对MS SQL Server2000数据库管理系统、SQL语言原理、VB应用程序设计，VB数据库技术进行了较深入的学习和应用，主要完成对图书管理系统的需求分析、功能模块划分、数据库模式分析，并由此设计了数据库结构和应用程序。

That's possible thanks to the program's intuitive interface, easy-to-use drawing tools, and lots of pre-drawn library objects.

这归功于该程序的直观的界面，易于使用的绘图工具，以及大量的预先制定的图书馆对象。

Use Online Search to search many online databases, such as the Library of Congress,from the EndNote Web program.

在EndNote Web程序上，可以使用"在线检索"功能，检索包括美国国立图书馆在内的多个在线数据库。

This usually means a class library with a fundamental base class for defining a complete program.

应用程序架构通常指用于定义完善程序的一个带有基本基类的类库。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。