您要查找的是不是：
- Programming in Martin-Lofs Type Theory an Introduction II. 类型论程序设计导引2。
- A synergetic theory based faulty line detection method for single-phase to ground fault occurred in small current neutral grounding system is proposed. 提出了一种基于协同学理论的小电流接地系统单相接地故障选线方法。
- Condensation melts to deploy , practical type theory. 简约化配置、实用型理念。
- It is a questionnaire based method for evaluating usability. 这是一种基于评价可用性的方法的问卷。
- A doctrine or theory based on Jesus or Jesus's teachings. 基督教教义基于耶稣或耶稣言行的教义或理论
- The theory based on basic material science is summarized. 简单概述了基本材料科学的理论。
- But what evidence is this outlandish theory based upon? 但是这个古怪的理论有证据支持吗?
- In order to solve the difficult large-scale problem of CPSA, a new general master-slave-splitting based method with its convergence analysis theory is proposed. 提出了解决全局分析问题的具有普遍性意义的主从分裂法及其收敛性分析理论。
- A fundamental distinction is extensional vs intensional Type Theory. 一个基本区别是外延和内涵的类型论。
- Decoupling control theory based on a state variable method is deeply studied.And its application in longitudinal flight states of an aircraft is researched by simulation. 系统深入地研究了基于状态空间法的解耦控制理论,并对其在飞机纵向解耦控制中的应用进行了仿真研究。
- The paper founds the theory base of future industrial experiments. 本文为将来的工业试验打下了理论基础。
- Method provides an implementation for the base method declared in the. 类中声明的基方法提供一个实现。
- It is theory base for deeply study and research to flavonoids. 为今后黄酮类化合物的深入研究提供理论基础。
- MBTI is based on Jung's psychological type theory into a book, has become the authoritative personality test, Psytopic specially produced this online test, hoping to help some friends. 人的性格倾向，就象分别使用自己的两只手写字一样，都可以写出来，但惯用的那只写出的会比另一只更好。
- The theory basis and experiments of a new type of mass flowmeter is introduced. 介绍了一种新型质量流量计的理论基础和实验情况。
- What is the theory basis of synthesized courses? 综合课程编制的理论依据是什么?
- The handling of faults in the originals with Newmark's text type theory is analyzed. 用纽马克的文本分类法来分析对不同原文失误的处理策略。
- Explorations of Ancient Chinese Thinkers remarks of on personality include Type theory and Realm theory. 摘要中国古代思想家对人格的论述包括类型说与境界说。
- This paper presents an error analysis based method that is simple, safe and can fulfil the accuracy requirements. 为此 ,利用误差分析的方法 ,提出一种简便、安全而又能满足测量精度要求的测量方法。
- This paper proposed a mutual information based method for generating video abstraction. 摘要提出了一种基于交互信息量的视频摘要生成方法。
