Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

193 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    定理証明支援系Coqへの対話的修正機構の導入
    草介, 森口 ; 卓雄, 渡部
    In: 情報処理学会論文誌 論文誌トランザクション, Jg. 2012年度 (2012-10-01), Heft 1, S. 27-38
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Coq上でモナドを用いたプログラム記述と推論を行う為の統合環境の構築に向けて
    啓司, 須田 ; 光晴, 山本
    In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 29 (2012-08-01), S. 557-565
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    Coq : 型理論から来た証明支援系
    Garrigue, Jacques
    In: 数学セミナー, Jg. 54 (2015-11-01), Heft 11, S. 18-23
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Javaプラットホーム上でのCoq検証済みコードの実行について
    能史, 湯浅 ; 良則, 田辺
    In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 32 (2015-09-01), S. 3p
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Coq上でのMonadic Total Parser Combinatorの実装
    友弥, 上里
    In: 情報処理学会論文誌 論文誌トランザクション, Jg. 2011年度 (2012-04-01), Heft 2, S. 1-15
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Coqのための対話的修正機構を用いた変更の織り込み手法
    草介, 森口 ; 卓雄, 渡部
    In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 28 (2011-09-01), S. 1-7
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    プログラム運算のためのCoqライブラリ
    英樹, 橋本 ; 振江, 胡 ; et al.
    In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 26 (2009-09-01), S. 517-526
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    発達障害児の包括的アウトカム質問票(Comprehensive Outcome Questionnaire for Developmental disorder,COQ-D)の作成--健常児を対象とした項目分析および信頼性の検討
    宏郷, 塩川
    In: 自治医科大学紀要 = Jichi Medical University journal / 紀要編集委員会 編, Jg. 29 (2006), S. 29-40
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 ö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?
  10. Detailansicht für Treffer 30 ö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?
  11. Detailansicht für Treffer 31 ö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?
  12. Detailansicht für Treffer 32 öffnen
    史伝 CoQおよび関連医薬品の研究開発小史と今後の問題
    伊助, 今田 ; 正康, 井上
    In: 薬史学雑誌 = The Japanese journal for history of pharmacy, Jg. 48 (2013), Heft 2, S. 160-166
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 ö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?
  14. Detailansicht für Treffer 34 öffnen
    証明支援系Coqの基礎を学ぶ ; Learning the Basics of the Proof Management System Coq
    大町, 誠也 ; Ohmachi, Masaya ; et al.
    2017
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    2-II-17 ラット臓器中CoQ同族体分布と外来性CoQの影響 : 第35回大会一般研究発表要旨 : 日本ビタミン学会
    昌邦, 中本 ; 清司, 小南 ; et al.
    In: ビタミン, Jg. 57 (1983-07-25), Heft 7, S. 368
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    9. CoQ_<10>単独およびポリフェノール含有栄養剤の抗酸化効果に関する基礎的臨床的効果(第35回日本小児外科代謝研究会)
    実, 八木 ; 英史, 小林 ; et al.
    In: 日本小児外科学会雑誌, Jg. 42 (2006-02-20), Heft 1, S. 144
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 ö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?
  18. Detailansicht für Treffer 38 ö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?
  19. Detailansicht für Treffer 39 öffnen
    向精神薬によるウシ心筋ミトコンドリア呼吸阻害時のCoQ_<10>酸化還元状態 : 日本ビタミン学会第32回大会一般研究発表要旨
    裕子, 北嶋 ; 靖男, 垣内 ; et al.
    In: ビタミン, Jg. 54 (1980-07-25), Heft 7, S. 258
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    甲状腺機能とUbiquinone(CoQ_<10>)に関する研究 : 甲状腺疾患患者における検討 : 日本ビタミン学会第32回大会一般研究発表要旨
    隆已, 上野 ; 国彦, 伊藤 ; et al.
    In: ビタミン, Jg. 54 (1980-07-25), Heft 7, S. 259
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -