Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

532 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
    de Almeida Borges, Ana ; Casanueva Artís, Annalí ; et al.
    In: $2, 2023
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    SSProve:A Foundational Framework for Modular Cryptographic Proofs in Coq
    Haselwarter, Philipp G. ; Rivas, Exequiel ; et al.
    In: $2, 2023
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Smart contract interactions in coq
    Nielsen, Jakob Botsch ; Spitters, Bas ; et al.
    In: $2, 2020
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Extracting functional programs from Coq, in Coq
    Annenkov, Danil ; Milo, Mikkel ; et al.
    In: $2, 2022
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Machaut and Prague:A Rare New Sighting?
    Smilansky, Uri
    In: $2, 2018
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Modular Denotational Semantics for Effects with Guarded Interaction Trees
    Frumin, Dan ; Timany, Amin ; et al.
    In: $2, 2024
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Formalising a turing-complete choreographic language in Coq
    Cruz-Filipe, Luis ; Montesi, Fabrizio ; et al.
    In: $2, 2021
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Associations between welfare and ranging profile in free-range commercial and heritage meat-purpose chickens ( Gallus gallus domesticus )
    Marchewka, Joanna ; Sztandarski, Patryk ; et al.
    In: $2, 2020
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Prevalence of keel bone damage in red jungle fowls ( Gallus gallus )—a pilot study
    Kittelsen, Käthe Elise ; Jensen, Per ; et al.
    In: $2, 2020
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Ejaculate testosterone levels affect maternal investment in red junglefowl ( Gallus gallus gallus )
    Lelono, Asmoro ; Riedstra, Bernd ; et al.
    In: $2, 2019
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Increased exposure to yolk testosterone has feminizing effects in chickens, Gallus gallus domesticus
    Riedstra, B. ; Pfannkuche, K. A. ; et al.
    In: $2, 2013
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    The relationship between male social status, ejaculate and circulating testosterone concentration and female yolk androgen transfer in red junglefowl ( Gallus gallus )
    Lelono, Asmoro ; Riedstra, Bernd ; et al.
    In: $2, 2019
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Evolution, dynamic expression changes and regulatory characteristics of gene families involved in the glycerophosphate pathway of triglyceride synthesis in chicken (Gallus gallus)
    Yang, Liyu ; Liu, Ziming ; et al.
    In: $2, 2019
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Interaction of recombinant Gallus gallus SEPT5 and brain proteins of H5N1-avian influenza virus-infected chickens
    Khairat, Jasmine Elanie ; Balasubramaniam, Vinod ; et al.
    In: $2, 2017
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Coqoon - An IDE for Interactive Proof Development in Coq
    Faithfull, Alexander ; Bengtson, Jesper ; et al.
    In: $2, 2016
    Online Zeitungsartikel
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Identification and insilico structural analysis of Gallus gallus protein arginine methyltransferase 4 (PRMT4)
    Berberich, H ; Terwesten, F ; et al.
    In: $2, 2017
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Machaut and Prague:A Rare New Sighting?
    Smilansky, Uri
    In: $2, 2018
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Association of egg mass and egg sex:Gene expression analysis from maternal RNA in the germinal disc region of layer hens ( Gallus gallus )
    Aslam, Muhammad Aamir ; Schokker, Dirkjan ; et al.
    In: $2, 2015
    Online academicJournal
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Melocoton:A Program Logic for Verified Interoperability Between OCaml and C
    Guéneau, Armaël ; Hostert, Johannes ; et al.
    In: $2, 2023
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Melocoton:A Program Logic for Verified Interoperability Between OCaml and C
    Guéneau, Armaël ; Hostert, Johannes ; et al.
    In: $2, 2023
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -