Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Schlagwort

Sprache

88 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Coq formalization of digital filters
    Hilaire, Thibault ; Gallois-Wong, Diane ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Modular Verification of Programs with Effects and Effect Handlers in Coq
    Letan, Thomas ; Régis-Gianas, Yann ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formalization of a Big Graph API in Coq
    Bousdira, Wadoud ; Loulergue, Frédéric ; et al.
    2017
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Coqoon An IDE for interactive proof development in Coq
    Tankink, Carst ; Alexander John Faithfull ; et al.
    2016
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
    Keller, Chantal ; Grégoire, Benjamin ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Verification of PLC Properties Based on Formal Semantics in Coq
    Jan Olaf Blech ; Sidi Ould Biha ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Modular SMT Proofs for Fast Reflexive Checking inside Coq
    Cornilleau, Pierre-Emmanuel ; Pichardie, David ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Flocq: A Unified Library for Proving Floating-point Algorithms in Coq
    Boldo, Sylvie ; Melquiond, Guillaume ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formalisation and verification of programmable logic controllers timers in Coq
    Song, Xiaoyu ; Chen, Gang ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Implementing the cylindrical algebraic decomposition within the Coq system
    Mahboubi, Assia ; Mathematical, Reasoning and Software (MARELLE) ; et al.
    2007
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Morphology control of self-organised Sr3V2O8 nanostructures on SrVO3 grown onto single and poly-crystalline subjacent SrTiO3 substrates
    Yoan, Bourlier ; Berini, Bruno ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Neutron-Induced Failure Dependence on Reverse Gate Voltage for SiC Power MOSFETs in Atmospheric Environment
    Boch, Jerome ; Touboul, Antoine ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Modular verification of programs with effects and effects handlers
    Letan, Thomas ; Chifflier, Pierre ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Certified Compilation of Financial Contracts
    Elsman, Martin ; Annenkov, Danil ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Dopant activity for highly in-situ doped polycrystalline silicon: hall, XRD, scanning capacitance microscopy (SCM) and scanning spreading resistance microscopy (SSRM)
    Lallemand, Florent ; Moultif, Niemat ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Impact of Electrical Stress and Neutron Irradiation on Reliability of Silicon Carbide Power MOSFET
    Niskanen, Kimmo ; Javanainen, Arto ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Three dimensional resistance mapping of self-organized Sr3V2O8 nanorods on metallic perovskite SrVO3 matrix
    Euchin, Matthieu ; Biadala, Louis ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Double-heterodyne probing for ultra-stable laser based on spectral hole burning in a rare-earth doped crystal
    Y. Le Coq ; Zhang, S. ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Mapping of integrated PIN diodes with a 3D architecture by scanning microwave impedance microscopy and dynamic spectroscopy
    Rosine Coq Germanicus ; Murray, Hugues ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Cut branches before looking for bugs: certifiably sound verification on relaxed slices
    Léchenet, Jean-Christophe ; Kosmatov, Nikolai ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -