Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

26 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出
    安武祥平 ; Yasutake, Shohei ; et al.
    2020
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    論理型言語PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明
    瑠海, 中西 ; 草介, 森口 ; et al.
    2019
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Coqを使ったツリー型ネットワークトポロジ上でのCCNのモデル化と検証について
    崇, 森嶋 ; 瑞貴, 後藤 ; et al.
    2019
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    定性空間表現のCoqによる形式化およびその平面性の証明
    瑞貴, 後藤 ; 草介, 森口 ; et al.
    2019
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Actario: 定理証明支援系Coqによるアクターシステムの検証
    安武祥平 ; Yasutake, Shohei ; et al.
    2017
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究
    奥河諒 ; Okugawa, Ryou ; et al.
    2018
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    GPGPUのための並行分離論理のCoqによる健全性証明
    朝倉泉 ; Asakura, Izumi ; et al.
    2016
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Coqのための対話的修正機構を用いた変更の織り込み手法
    森口草介 ; Moriguchi, Sosuke ; et al.
    2016
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Aπ計算のCoqによる形式化
    安武祥平 ; Yasutake, Shohei ; et al.
    2015
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    GPGPUカーネル検証のための分離論理のCoｑによる形式化
    泉, 朝倉 ; Asakura, Izumi ; et al.
    2015
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A Coq Library for Program Calculation
    Hashimoto, Hideki ; Hu, Zhenjiang ; et al.
    In: JSSST Conference on Software Science and Technology ; https://inria.hal.science/inria-00452515 ; JSSST Conference on Software Science and Technology, 2009, Shimane University, 2009
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    証明支援系を用いたMorrisの二分木走査アルゴリズムの検証 ; Verifying C Source Code using Proof Assistant Tools: A Case Study with Morris' Tree Traversal Algorithm
    山田一宏 ; Yamada, Kazuhiro ; et al.
    2016
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    防虫科学 : Scientific pest control
    1976
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    日本臨床 = Japanese journal of clinical medicine : Japanese journal of clinical medicine
    日本臨牀社
    1995
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    日本小児科学会雑誌 = The journal of the Japan Pediatric Society : The journal of the Japan Pediatric Society
    日本小児科学会
    1990
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    久留米医学会雑誌 : The journal of the Kurume Medical Association
    久留米医学会
    1981
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    美術研究 = The journal of art studies : The journal of art studies
    (2001年), 東京文化財研究所 ; 東京国立文化財研究所 ; et al.
    1978
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    久留米医学会雑誌 : The journal of the Kurume Medical Association
    久留米医学会
    1979
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    石川島播磨技報 = Ishikawajima-Harima engineering review : Ishikawajima-Harima engineering review
    石川島播磨重工業株式会社
    1977
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    日本臨床 = Japanese journal of clinical medicine : Japanese journal of clinical medicine
    日本臨牀社
    1982
    Online serialPeriodical
    Zugriff:
    View record in National Diet Library Digital Collections (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -