Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

451 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Type-Based Approach to Divide-And-Conquer Recursion in Coq
    Abreu, Pedro ; Delaware, Benjamin ; et al.
    2023
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    An In Vitro Study Exploring the Therapeutic Utility of Bryonia Alba against SARS-CoV-2 Spike Protein Receptor Binding Domain-Induced Cytokine Imbalance in Gallus Gallus Domesticus Embryo
    Goswami, Pritam ; Chatterjee, Debasmita ; et al.
    In: HRI London 2023—Cutting Edge Research in Homeopathy: Presentation Abstracts ; Homeopathy ; ISSN 1476-4245, 2024
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Martin-Löf à la Coq
    Adjedj, Arthur ; Lennon-Bertrand, Meven ; et al.
    In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    VCFloat2: Floating-Point Error Analysis in Coq
    Appel, Andrew ; Kellison, Ariel ; et al.
    In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    The Bioinformatics Analysis in the Whole Genome mtDNA Sequence of Chickens ( Gallus gallus )
    Suhardi, Suhardi ; Putra, Widya Pintaka Bayu ; et al.
    In: Advances in Biological Sciences Research ; Proceedings of the International Conference on Tropical Agrifood, Feed and Fuel (ICTAFF 2021) ; ISSN 2468-5747, 2022
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Undecidability, incompleteness, and completeness of second-order logic in Coq
    Koch, Mark ; Kirst, Dominik
    In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Coq’s vibrant ecosystem for verification engineering (invited talk)
    Appel, Andrew W.
    In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Semantic cut elimination for the logic of bunched implications, formalized in Coq
    Frumin, Dan
    In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Histology and Histomorphometry of Kidney on Domestic Chicken ( Gallus gallus domesticus ) During Pre and Post Hatch
    Aryani, Deci ; Masyitha, Dian ; et al.
    In: Advances in Biological Sciences Research ; Proceedings of the 2nd International Conference on Veterinary, Animal, and Environmental Sciences (ICVAES 2020) ; ISSN 2468-5747, 2021
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Study of Cerebellum Structure and Histomorphometry of Local Chicken ( Gallus gallus domesticus ) Before and After Hatching
    Maulana, Arief ; Masyitha, Dian ; et al.
    In: Advances in Biological Sciences Research ; Proceedings of the 2nd International Conference on Veterinary, Animal, and Environmental Sciences (ICVAES 2020) ; ISSN 2468-5747, 2021
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    The Physical Quality of Local Chicken Eggs (Gallus Gallus Domesticus) in the Traditional Markets of Purworejo Regency, Central Java
    Mudawaroch, Roisu Eny ; Zulfanita
    In: Proceedings of the 1st Borobudur International Symposium on Humanities, Economics and Social Sciences (BIS-HESS 2019, 2020
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    The morphological profiling of Indonesian frizzle chicken: A preliminary study of Javanese Gallus gallus domesticus
    Sholeh, Moch. ; Susanto, Hendra ; et al.
    In: AIP Conference Proceedings ; PROCEEDINGS OF THE 3RD INTERNATIONAL SEMINAR ON METALLURGY AND MATERIALS (ISMM2019): Exploring New Innovation in Metallurgy and Materials ; ISSN 0094-243X, 2020
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    The inheritance of phenotype character of feather color and growth of hybrid chicken (Gallus gallus gallus, Linnaeus 1758) derived from crossing of F1 ♀ Kamper and ♂ Kambro
    Maulidi, Ilzam Shadik ; Puspita, Utin Elsya ; et al.
    In: THE 6TH INTERNATIONAL CONFERENCE ON BIOLOGICAL SCIENCE ICBS 2019: “Biodiversity as a Cornerstone for Embracing Future Humanity” ; AIP Conference Proceedings ; ISSN 0094-243X, 2020
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    The inheritance of phenotype character of second generation (F2) on chicken (Gallus gallus domesticus, Linnaeus 1758) derived from crossing of pelung and broiler
    Kilatsih, Rani ; Daryono, Budi Setiadi
    In: THE 6TH INTERNATIONAL CONFERENCE ON BIOLOGICAL SCIENCE ICBS 2019: “Biodiversity as a Cornerstone for Embracing Future Humanity” ; AIP Conference Proceedings ; ISSN 0094-243X, 2020
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    The effect of administration MarolisTM probiotic on haematology profile and organs function (liver and kidney) of broiler chickens (Gallus gallus domesticus Linnaeus, 1758)
    Masu, Maria Ervina ; Nadhifah, Nisrina ; et al.
    In: THE 6TH INTERNATIONAL CONFERENCE ON BIOLOGICAL SCIENCE ICBS 2019: “Biodiversity as a Cornerstone for Embracing Future Humanity” ; AIP Conference Proceedings ; ISSN 0094-243X, 2020
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    The effects of addition MarolisTM probiotics for broiler performance and meat quality (Gallus gallus domesticus Linnaeus, 1758)
    Nadhifah, Nisrina ; Masu, Maria Ervina ; et al.
    In: THE 6TH INTERNATIONAL CONFERENCE ON BIOLOGICAL SCIENCE ICBS 2019: “Biodiversity as a Cornerstone for Embracing Future Humanity” ; AIP Conference Proceedings ; ISSN 0094-243X, 2020
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Characterization of Bacteriocin Produced by Bacillus subtilis 11A Isolated from the Gastrointestinal Tract of Indonesian Native Chicken ( Gallus domesticus )
    Cahya, V A ; Hanim, C ; et al.
    In: Advances in Biological Sciences Research ; Proceedings of the 10th International Seminar and 12th Congress of Indonesian Society for Microbiology (ISISM 2019) ; ISSN 2468-5747, 2021
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Isolation and Identification of Bacteriocin-producing Bacillus Strain Isolated from the Gastrointestinal Tract of Indonesian Native Chicken (Gallus domesticus)
    Hanim, C ; Cahya, V A ; et al.
    In: Advances in Biological Sciences Research ; Proceedings of the 10th International Seminar and 12th Congress of Indonesian Society for Microbiology (ISISM 2019) ; ISSN 2468-5747, 2021
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Gender Classification for a Day-Old Gallus Gallus Domesticus Using Image Processing
    Latina, Mary Ann ; Bryan G Ibarra, Joseph ; et al.
    In: 2023 15th International Conference on Computer and Automation Engineering (ICCAE, 2023
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    REPLica: REPL instrumentation for Coq analysis
    Ringer, Talia ; Sanchez-Stern, Alex ; et al.
    In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -