Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    基于Z3的Coq自动证明策略的设计和实现
    付明, 张恒若
    In: 软件学报 / Journal of Software, Jg. 28 (2017), Heft 4, S. 819
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    μC/OS-Ⅲ任务调度器在Coq中的验证
    郭宇, 罗尔聪
    In: 计算机工程 / Computer Engineering, Jg. 41 (2015), Heft 3, S. 53
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    数据库管理系统强制访问控制形式化分析与明证
    朱薏 朱虹 谢美意 冯玉才
    In: 小型微型计算机系统 / Mini-micro Systems, Jg. 36 (2015), Heft 3, S. 401
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    μC/OS-Ⅱ中消息队列通信机制的形式化验证
    马杰波 付明 冯新宇
    In: 小型微型计算机系统 / Mini-micro Systems, Jg. 37 (2016), Heft 6, S. 1179
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    同步数据流程序的可信排序
    甘元科 张玲波 石刚 王生原 董渊 张智慧 王沿海
    In: 计算机应用与软件 / Computer Applications and Software, Jg. 31 (2014), Heft 5, S. 1
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    针对NAND闪存硬件的形式化建模
    郭宇, 杨龙婴
    In: 计算机工程 / Computer Engineering, Jg. 41 (2015), Heft 11, S. 94
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    同步数据流语言时态消去的可信翻译
    张玲波 甘元科 石刚 王生原 董渊 张智慧 王沿海
    In: 计算机工程与设计 / Computer Engineering and Design, Jg. 35 (2014), Heft 1, S. 137
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    同步数据流语言高阶运算消去的可信翻译
    刘洋 甘元科 王生原 董渊 杨斐 石刚 闫鑫
    In: 软件学报 / Journal of Software, Jg. 26 (2015), Heft 2, S. 332
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    一种用于类C语言环境的安全的类型化内存模型
    何炎祥 吴伟 陈勇 李清安 刘健博
    In: 计算机研究与发展 / Journal of Computer Research and Development, Jg. 49 (2012), Heft 11, S. 2440
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -