Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Verlag

Sprache

6 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
    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?
  3. Detailansicht für Treffer 3 öffnen
    An interactive Extension Mechanism extending Record Types． / レコードの拡張を許す対話的修正機構
    Kazuko, TAKAHASHI ; Sosuke, MORIGUCHI ; et al.
    In: コンピュータ ソフトウェア, Jg. 33 (2016-04-22), Heft 2, S. 2
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Certified Verifier for a Fragment of Separation Logic / 分離論理における部分構造のための証明された検証器
    Nicolas, MARTI ; Reynald, AFFELDT
    In: コンピュータ ソフトウェア, Jg. 25 (2008-07-25), Heft 3, S. 3
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Dependently Typed Language with Delimited Control Operators. / 限定継続命令をもつ依存型付き言語の設計
    Kenichi, ASAI ; Youyou, CONG ; et al.
    In: コンピュータ ソフトウェア, Jg. 36 (2019-04-26), Heft 2, S. 2
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formal Verification of Functional Programs Performing Infinite Input/Output / 無限の入出力を行う関数型プログラムの K正規化の形式的検証
    Eijiro, SUMII ; Masayuki, MIZUNO ; et al.
    In: コンピュータ ソフトウェア, Jg. 34 (2017-04-26), Heft 2, S. 2
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -