Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Geographischer Bezug

10 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Data from East China Normal University Advance Knowledge in Computer Science (Symbolic Reasoning About Quantum Circuits In Coq).
    In: Computer Weekly News, 2022-01-12, S. 50
    Zeitungsartikel
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    University of Electronic Science and Technology of China Researchers Report Research in Mathematics (Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq).
    In: Computer Weekly News, 2020-12-30, S. 923
    Zeitungsartikel
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    University of Electronic Science and Technology of China Details Findings in Engineering (A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts).
    In: Computer Weekly News, 2020-05-13, S. 1159
    Zeitungsartikel
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Researchers from Beijing University of Posts and Telecommunications Provide Details of New Studies and Findings in the Area of Engineering (A Formal System of Axiomatic Set Theory In Coq).
    In: Computer Weekly News, 2020-05-13, S. 878
    Zeitungsartikel
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Findings from Nanjing University Update Knowledge of Computer Programming (Formalizing Sparcv8 Instruction Set Architecture In Coq).
    In: Computer Weekly News, 2020-03-18, S. 193
    Zeitungsartikel
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Findings on Computer Programming Reported by Investigators at Peking University (Reasoning about connectors using Coq and Z3).
    In: Computer Weekly News, 2019-01-23, S. 345
    Zeitungsartikel
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    New Calculus Findings Has Been Reported by Investigators at University of Hong Kong (Embedding the refinement calculus in Coq).
    In: Computer Weekly News, 2018-09-19, S. 466
    Zeitungsartikel
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Zhang storms to victory in Le Coq Sportif Beijing Ladies Classic.
    In: Xinhua News Agency, 2019-05-26
    Zeitungsartikel
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    DESCENTE TO STRENGTHEN SALES ABROAD OF LE COQ SPORTIF BRAND.
    In: AsiaPulse News, 2005-11-09
    Zeitungsartikel
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    The coq au vin is the dish that has the chicken pieces; China's large tourist hotels struggle to learn ways of the inscrutable West.
    Bennett, Amada
    In: The Wall Street Journal Western Edition, 1984-03-14, S. ) 1(
    Zeitungsartikel
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -