程序

In case the equipment, or any part thereof, in such suit is held to constitute an infringement and the use of the said equipment or part is enjoined, the company shall, in its sole discretion and at its own expense, either procure for the Indemnitee the right to continue using the said equipment or part or replace or modify the same with nonperformance or capacity or affect its compatibility wing the hardware or firmware comprising the equipment or the software utilized thereon.

专利纠纷中涉及到的设备、部件或程序，**公司将全权负责处理，由此产生的一切费用均由**公司自己承担；要么使受赔偿人继续使用这些设备、部件或程序，或者在不影响设备使用性能及与硬、软件兼容性的情况下更换、修复这些涉及纠纷的设备、部件或程序。

This article researches the theoretical basis of civil retrial procedure and analyzes in detail the main problems that the guidance principle is not in accordance with the regulation of civil procedure and the beginning of this procedure is too inquisitorial and so on.

文章从民事再审程序的理论依据入手，较为详尽地分析了我国民事再审程序存在的主要问题，如指导思想不符合民事诉讼自身的规律，程序启动凸显职权主义色彩等。

Procedures have their own intrinsic value, and due process of law isn't only considered as instrumentalism.

程序有其自身的独立价值，正当法律程序也并非工具意义的程序。

Easily buy full versions of compositions on iTunes List of compositions: Ludwig van Beethoven, Moonlight Sonata 1st movement Johannes Brahms, Hungarian Dance No.5 Edvard Grieg, Puck, Lyric Pieces Book X Franz Liszt, Liebestrume No.

阅读程序具有以下先进功能：全屏幕阅读支持。 Reader只在用户需要时显示控制对话框，而其它iPhone阅读程序显示控制始终占用宝贵的屏幕。支持任意方向阅读。程序自动调整图书显示方式。

C51 microcontroller help develop procedures, C51 library contains several subroutine, functions and constant definitions.

帮助开发C51单片机程序，C51程序库包含多个子程序、函数和常数定义。

In the paper its introduces the principle of GPS location and synchronous sampling transfer method.The code and frame of GPS's data is also introduced.

本文主要是利用Visual Basic 强大的集成开发环境和快速的创建各种应用程序的能力，包括非常流行的多媒体应用程序和各种图形操作界面，来编写一个实时接收并显示的窗体应用程序。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

A program or other coding sequence that produces a result of specified type and format("a macr o generator";"a microcode generator").

产生某种指定类型和格式的结果的程序或另一种编码序列(如"宏生成程序"、"微代码生成程序")。

The base of computer culture, c programmer, fundamentals of analog electronic circuits, fundamentals of digital electronic circuits, data structure, principles of computer composition, operating system, discrete mathematics, computer network, principles of microcomputer, 8086/8088 macro assembler language; multimedia technology; the principles of database; oopl( errorobject oriented programming language); fundamentals of compiling; software engineering; numerical computational method; mcs51/96 principle of single-chip computer; artificial intelligence; computer system organization; digital interface and digital circuits; java programming language; data structure; operating system; computer network; technology of electronics, etc.

计算机文化基础、c语言程序设计、模拟电路基础、数字逻辑电路基础、数据结构、计算机组成原理、操作系统、离散数学、计算机网络、微型计算机原理、8086/8088宏汇编语言程序设计、多媒体技术、数据库原理。面向对象语言程序设计，编译原理，软件工程基础，数值计算方法、mcs51/96系列单片机原理与应用、人工智能、计算机系统结构、数子接口技术与电路、数据库设计基础 java语言，数据结构，操作系统，计算机网络，电子技术等。还有一些选修的课比如：tcp/ip网络协议分析基础、oracl数据库原理，db2数据库原理等。

A program or other coding sequence that produces a result of specified type and format("a macro generator";"a microcode generator").

产生某种指定类型和格式的结果的程序或另一种编码序列（如"宏生成程序"、"微代码生成程序"）。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。