Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
23 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

23 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    COQ定理证明器辅助PLC程序验证和分析 / PLC Program Verification and Analysis Using the COQ Theorem Prover
    In: 北京大学学报（自然科学版） / Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, Heft 1, S. 30-34
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    基于Coq的微内核操作系统程序验证方法研究 / Research on Microkernel Operating System Program Verification Based on Coq
    In: 计算机测量与控制 / Computer Measurement & Control, 2011, Heft 8, S. 1939-1942
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    西藏措勤区一带蛇绿岩特征及其构造环境探讨 / An Approach to Geological Features and Tectonic Setting of Ophiolite Suite in Coq(e)n, Tibet
    In: 四川地质学报 / Acta Geologica Sichuan, 2011, Heft 3, S. 255-259
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    青藏高原措勤盆地巨厚古生代碳酸盐岩坳陷的地球物理证据 / The Paleozoic carbonate rocks depression of Coq(e)n basin:Evidence from geophysics on the Qinghai-Tibet Plateau,China
    In: 地质通报 / Geological Bulletin of China, 2010, Heft 6, S. 870-879
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    含有质量成本的供应链经济操作批量研究 / Study on COQ Considered Supply Chain Economic Operation Quantity
    In: 物流技术 / Logistics Technology, 2010, Heft 10, S. 73-76
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    辅酶Q_(10)产生菌发酵条件的优化 / Optimization of fermentation conditions for production of CoQ_(10)
    In: 生物加工过程 / Chinese Journal of Bioprocess Engineering, 2010, Heft 2, S. 18-22
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    负载辅酶Q_(10)的纳米结构脂质载体的制备及理化性质研究 / Research on Preparation and Physicochemical Characteristics of CoQ_(10)-loaded Nanostructured Lipid Carriers
    In: 纳米科技 / Nanoscience & Nanotechnology, 2010, Heft 4, S. 24-27
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    超临界CO_2体系下酵母转化茄尼醇生成辅酶Q_(10)的营养条件 / Nutritional Conditions of CoQ_(10) Biotransformation from Solanesol in Supercritical CO_2
    In: 食品与发酵工业 / Food and Fermentation Industries, 2009, Heft 7, S. 32-35
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    一种面向服务构件的高可信组装技术的研究 / Research Technology of Service Component\'s Combination for High Credibility
    In: 计算机技术与发展 / Computer Technology and Development, 2010, Heft 5, S. 34-38
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    线粒体DNA编码蛋白质亚基的研究
    The Research Progress of Protein Subunits Coded by The Mitochondrial DNA
    In: 中国医药指南 / Guide of Chinese Medicine, 2011, Heft 1, S. 6-8
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    基因局部改组技术在ubiA基因突变中的应用 / Application of a model for gene local shuffling in ubiA mutation
    In: 微生物学报 / Acta Microbiologica Sinica, 2011, Heft 4, S. 532-537
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    大肠杆菌链长控制基因ddsA原位替换及多基因共表达对辅酶Q10合成能力的影响 / Influence of Gene Substitution with Gluconobacter Suboxydans ddsA and Multi-gene Co-expression on Production of Ubiquinone-10 in Escherichia coli
    In: 食品与药品 / Food and Drug, 2009, Heft 9, S. 9-14
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    辅酶Q临床应用研究进展
    In: 社区医学杂志 / Journal of Community Medicine, 2010, Heft 3, S. 34-36
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    一种出具证明编译器中的汇编级断言和证明生成的方法 / Assertion and Proof Generation for Assembly Code in Certifying Compiler
    In: 小型微型计算机系统 / Journal of Chinese Computer Systems, 2011, Heft 6, S. 1164-1169
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    外源化学物对细胞线粒体呼吸链复合体Ⅰ损伤的研究进展
    In: 卫生研究 / Journal of Hygiene Research, 2011, Heft 3, S. 407-412
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    8株光合细菌的鉴定及其系统进化关系分析 / Identification of 8 photosynthetic bacteria strains and analysis of their phylogenetic relation
    In: 中国微生态学杂志 / Chinese Journal of Microecology, 2010, Heft 5, S. 439-443
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    寒冷诱导产热时大鼠棕色脂肪能量代谢相关蛋白谱的变化(英文) / The Alterations of Energy Metabolism-related Protein Patterns in Brown Adipose Tissue of Rats During Cold-induced Thermogenesis
    In: 生物化学与生物物理进展 / Progress in Biochemistry and Biophysics, 2010, Heft 10, S. 1108-1119
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    字节码虚拟机的构造和验证 / Construction and Certification of a Bytecode Virtual Machine
    In: 软件学报 / Journal of Software, 2010, Heft 2, S. 305-317
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    一种汇编语言指针逻辑的设计与实现 / Assembly Pointer Logic: Design and Implementation
    In: 小型微型计算机系统 / Journal of Chinese Computer Systems, 2009, Heft 6, S. 1025-1030
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    渐进式标记-清扫垃圾收集机制验证 / Verification of Incremental Mark-Sweep Garbage Collection
    In: 小型微型计算机系统 / Journal of Chinese Computer Systems, 2009, Heft 9, S. 1742-1747
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -