Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Geographischer Bezug

172 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Preprint 'Facial blushing and feather fluffing are indicators of emotions in domestic fowl (Gallus gallus domesticus)' ...
    Arnould, Cécile ; Love, Scott ; et al.
    2024
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Preprint 'Facial blushing and feather fluffing are indicators of emotions in domestic fowl (Gallus gallus domesticus)' ...
    Arnould, Cécile ; Love, Scott ; et al.
    2024
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    ViCAR: Visualizing Categories with Automated Rewriting in Coq ...
    Shah, Bhakti ; Spencer, William ; et al.
    2024
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code ...
    Florath, Andreas
    2024
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Redex -> Coq: towards a theory of decidability of Redex's reduction semantics ...
    Soldevila, Mallku ; Ribeiro, Rodrigo ; et al.
    2024
    report
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    (Nearest) Neighbors You Can Rely On: Formally Verified k-d Tree Construction and Search in Coq ...
    Hamid, Nadeem Abdul
    2023
    report
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Teaching Divisibility and Binomials with Coq ...
    Boldo, Sylvie ; Clément, François ; et al.
    2024
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Fermentasi Ampas Kelapa (Cocos nucifera L) Sebagai Pakan Probiotik Ternak Ayam Kampung (Gallus gallus domesticus)
    efendi, rilwan
    2021
    report
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Estudio de las capacidades angiogénicas de la membrana corio-alantoidea del embrión Gallus gallus domesticus inducido por células mesenquimáticas provenientes de la gelatina de Wharton del cordón umbilical
    Elliot, Matias ; Palma, Verónica ; et al.
    2020
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Martin-Löf à la Coq ...
    Adjedj, Arthur ; Lennon-Bertrand, Meven ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Disentangling the origin of chemical differences using GHOST ...
    Saffe, C. ; Miquelarena, P. ; et al.
    2024
    report
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Conditional Separation as a Binary Relation. A Coq Assisted Proof ...
    Chancelier, Jean-Philippe ; de Lara, Michel ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    SSProve:A Foundational Framework for Modular Cryptographic Proofs in Coq
    Abate, Carmine ; Haselwarter, Philipp G. ; et al.
    In: Abate , C , Haselwarter , P G , Rivas , E , Muylder, 2021
    report
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Multi-mode Heterodyne Laser Interferometry Realized via Software Defined Radio ...
    Lin, X. ; Hartman, M. T. ; et al.
    2023
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Practical materials for formal methods in security
    Lester, Martin Mariusz
    2022
    report
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Photo-Writable Sulfide Glasses Used to Fabricate Core-Clad Fiber Doped with Pr$^{3+}$ for Mid-IR Luminescence
    Julie Carcreff (9364940) ; Virginie Nazabal (8172423) ; et al.
    2022
    report
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Precision measurements of electric-field-induced frequency displacements of an ultranarrow optical transition in ions in a solid
    S. Zhang (71002) ; N. Lučić (14382528) ; et al.
    2021
    report
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    ROS Production, Oxidative Stress, and Cell Death Correlate with the Level of CoQ(10) in Fibroblast Models of CoQ(10) Deficiency
    Quinzii, CM ; Lopez, LC ; et al.
    In: In: NEUROLOGY. (pp. A439 - A439). (2010, 2010
    report
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    The 1st Coq Workshop, Proceedings
    Hugo Herbelin (Ed.)
    2009
    report
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Clinical and Genetic Heterogeneity of CoQ(10) Deficiency: A Study of 75 Patients
    Emmanuele, V ; Quinzii, CM ; et al.
    In: In: NEUROLOGY. (pp. A364 - A364). (2011, 2011
    report
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -