Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
114 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

114 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A formal proof for the three-colored triangle problem on Coq / Coq による三角形三色問題の証明
    Daisuke, KIMURA ; Shota, HASHIMOTO ; et al.
    In: コンピュータ ソフトウェア, Jg. 40 (2023-07-25), Heft 3, S. 3
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Safe Low-level Code Generation in Coq Using Monomorphization and Monadification
    Tanaka, Akira ; Garrigue, Jacques ; et al.
    2018
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Reasoning with Conditional Probabilities and Joint Distributions in Coq
    Reynald, AFFELDT ; Jacques, GARRIGUE ; et al.
    In: コンピュータ ソフトウェア, Jg. 37 (2020-07-22), Heft 3, S. 3
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq
    Masuhara, Hidehiko ; Asakura, Izumi ; et al.
    2016
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    3． CoQの上皮細胞極性化促進過程における 小胞輸送および形質膜動態に対する影響
    Matsura, Tatsuya ; 洋輔, 堀越 ; et al.
    In: ビタミン, Jg. 92 (2018-01-25), Heft 1, S. 26
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Effect of CoQ_<10> on Isoproterenol Induced Myocardial Injuries in Rats and Dogs / イヌ,ラットにおけるイソプロテレノール心筋障害に対するCoQ_<10>の抑制効果
    Fukue, KAJIKI ; Harumasa, TOYA ; et al.
    In: ビタミン, Jg. 58 (1984-06-15), Heft 5-6, S. 221
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    B-14. 心筋ミトコンドリアのCoQ定量法とAdriamycin心毒性に対する考察
    Determination of CoQ Homologues in Rat Heart Mitochondria by High Pressure Liquid Chromatography and Experimental Studies to the Cardiotoxicity produced by Adriamycin
    In: 臨床化学シンポジウム, Jg. 19 (1980-08-01), S. 154
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    CoQ および関連医薬品の研究開発小史と今後の問題 / Research History of Coenzyme Q and Related Compounds
    Imada, Isuke ; Inoue, Masayasu ; et al.
    In: 薬史学雑誌, Jg. 48 (2013), Heft 2, S. 160
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
    Yonezawa, Akinori ; Kobayashi, Naoki ; et al.
    2005
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Pharmacological studies on Ubiquinone 2nd report: Effects of CoQ on synaptic reflex in isolated frog spinal cord / Ubiquinoneに関する薬理学的研究
    Minoru, MASUDA ; 稔, 増田
    In: 日本薬理学雑誌, Jg. 69 (1973-01-20), Heft 1, S. 19
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    2-II-17 ラット臓器中CoQ同族体分布と外来性CoQの影響 : 第35回大会一般研究発表要旨 : 日本ビタミン学会
    昌邦, 中本 ; 清司, 小南 ; et al.
    In: ビタミン, Jg. 57 (1983-07-25), Heft 7, S. 368
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Topical Coenzyme Q10 (CoQ 10) in a Patient with Radiation Ulcers
    Satsuki, ASOH ; Tetsuro, SUGAI
    1987
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    9. CoQ_<10>単独およびポリフェノール含有栄養剤の抗酸化効果に関する基礎的臨床的効果(第35回日本小児外科代謝研究会)
    実, 八木 ; 英史, 小林 ; et al.
    In: 日本小児外科学会雑誌, Jg. 42 (2006-02-20), Heft 1, S. 144
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    2-V-18 CoQ_<10>のマウス肝内胆汁うっ滞型肝障害保護効果 : Nrf2活性化の関与(一般演題要旨,日本ビタミン学会第64回大会講演要旨)
    一裕, 中曽 ; 哲平, 図子 ; et al.
    In: ビタミン, Jg. 86 (2012-04-25), Heft 4, S. 290
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    3.ビタミンC合成不能ラット(ODSラット)のアスピリン供与下におけるAsA,AsA-2GおよびCoQ_<10>の効果(第117回会議研究発表要旨,ビタミンC研究委員会)
    美紗子, 椿山 ; 善之, 西川 ; et al.
    In: ビタミン, Jg. 80 (2006-06-25), Heft 5-6, S. 306
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    向精神薬によるウシ心筋ミトコンドリア呼吸阻害時のCoQ_<10>酸化還元状態 : 日本ビタミン学会第32回大会一般研究発表要旨
    裕子, 北嶋 ; 靖男, 垣内 ; et al.
    In: ビタミン, Jg. 54 (1980-07-25), Heft 7, S. 258
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    甲状腺機能とUbiquinone(CoQ_<10>)に関する研究 : 甲状腺疾患患者における検討 : 日本ビタミン学会第32回大会一般研究発表要旨
    隆已, 上野 ; 国彦, 伊藤 ; et al.
    In: ビタミン, Jg. 54 (1980-07-25), Heft 7, S. 259
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    抗不安薬のウシ心筋ミトコンドリア呼吸阻害作用並びにCoQ_<10>の添加効果 : 日本ビタミン学会第32回大会一般研究発表要旨
    靖男, 垣内 ; 章二, 多田 ; et al.
    In: ビタミン, Jg. 54 (1980-07-25), Heft 7, S. 258
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    抗癌剤Adriamycinによる心筋ミトコンドリア障害に対するユビキノン(CoQ_<10>)及びビタミンB_2酪酸エステルの併用投与 : 日本ビタミン学会第32回大会一般研究発表要旨
    良平, 小倉 ; 敏博, 日高 ; et al.
    In: ビタミン, Jg. 54 (1980-07-25), Heft 7, S. 244
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    1-I-20 高速液体クロマトグラフィーによる心筋ミトコンドリア中のCoQ定量(日本ビタミン学会 : 第30回大会一般研究発表要旨)
    洋, 原 ; 博之, 外山 ; et al.
    In: ビタミン, Jg. 52 (1978-07-25), Heft 7, S. 302
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -