Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

29 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming
    Mu, Rundong ; Li, Qin
    In: Lecture notes in computer science, Jg. 14080 (2023), S. 395-412
    serialPeriodical
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    La Fontaine entre Ésope et Homère. À propos des Deux Coqs
    Pelckmans, Paul
    In: Faux titre, Jg. 453 (2022), S. 239-248
    serialPeriodical
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formalisation of Probabilistic Testing Semantics in Coq
    Deng, Yuxin ; Monin, Jean-Francois
    In: Lecture notes in computer science, Jg. 11760 (2019), S. 276-292
    serialPeriodical
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Cypermethrin resistance conferred by increased target insensitivity and metabolic detoxification in Culex pipiens pallens Coq
    Xu, Wenping ; Liu, Songlin ; et al.
    In: Pesticide biochemistry and physiology, Jg. 142 (2017), S. 77-82
    serialPeriodical
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Moessner's Theorem: An Exercise in Coinductive Reasoning in COQ
    Krebbers, Robbert ; Parlant, Louis ; et al.
    In: Lecture notes in computer science, Jg. 9660 (2016), S. 309-324
    serialPeriodical
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Research and Implementation of the Mechanization Verification of a Coq-based Imperative Language Compiler
    Sheng, Feng
    In: Xiao xing wei xing jisuanji xitong, Jg. 36 (2015), Heft 9, S. 1927-1931
    serialPeriodical
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    PLC Program Verification and Analysis Using the COQ Theorem Prover
    Chen, G. ; Song, X. ; et al.
    In: ACTA SCIENTIARUM NATURALIUM- UNIVERSITATIS PEKINENSIS, Jg. 46 (2010), Heft 1, S. 30-34
    serialPeriodical
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    The Pathway for CoQ Biosynthesis in Microorganisms and the Recent Progress in the Genetic Improvement of Microbial Strains for CoQ~1~0 Production with the Aid of Molecular Biological Methods
    Jiang, S. y. ; Yu, L. j.
    In: JOURNAL OF CHINESE BIOTECHNOLOGY, Jg. 27 (2007), Heft 10, S. 112-117
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    The study of direct electrochemistry and dynamics of CoQ at a captopril self - assembly electrode
    Ning, G. ; Cong-xin, G. ; et al.
    In: CHEMICAL SENSORS -JIANGSU-, Jg. 25 (2005), Heft 4, S. 43-47
    serialPeriodical
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Resistance of sorghum genotypes to the sorghum midge Contarinia sorghicola (Coq.) and sugarcane borer Diatraea saccharalis (Fabr.) and influence on parasitoids
    Lara, F. M. ; Foss, M. R. D. A. ; et al.
    In: ANAIS- SOCIEDADE ENTOMOLOGICA DO BRASIL, Jg. 26 (1997), Heft 2, S. 327-334
    serialPeriodical
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Study of Biological Characteristics of Mitochondrial Membrane during Exercise - induced Fatigue Part III: Alterations of Activity of NADH - CoQ Reductase of Hepatic Mitochondrial Membrane and Content of Hepatic NAD^+ in Rats
    Lu, M. et al
    In: CHINESE JOURNAL OF SPORTS MEDICINE, Jg. 17 (1998), Heft 1, S. 10-11
    serialPeriodical
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Faeces traits as unifying predictors of detritivore effects on organic matter turnover
    Coq, Sylvain ; Ganault, Pierre ; et al.
    In: Geoderma, Jg. 422 (2022)
    serialPeriodical
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Faeces traits as unifying predictors of detritivore effects on organic matter turnover
    Coq, Sylvain ; Ganault, Pierre ; et al.
    In: Geoderma, Jg. 422 (2022)
    serialPeriodical
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Faeces traits as unifying predictors of detritivore effects on organic matter turnover
    Coq, Sylvain ; Ganault, Pierre ; et al.
    In: Geoderma, Jg. 422 (2022)
    serialPeriodical
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    H2S removal from syngas using wastes pyrolysis chars
    Hervy, Maxime ; Pham Minh, Doan ; et al.
    In: Chemical engineering journal, Jg. 334 (2018), S. 2179-2189
    serialPeriodical
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    H2S removal from syngas using wastes pyrolysis chars
    Hervy, Maxime ; Pham Minh, Doan ; et al.
    In: Chemical engineering journal, Jg. 334 (2018), S. 2179-2189
    serialPeriodical
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Lithium and lead chloride antimonate glasses
    Castro, Alexandre ; Bréhault, Antoine ; et al.
    In: Journal of noncrystalline solids, Jg. 499 (2018), S. 66-74
    serialPeriodical
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    H2S removal from syngas using wastes pyrolysis chars
    Hervy, Maxime ; Pham Minh, Doan ; et al.
    In: Chemical engineering journal, Jg. 334 (2018), S. 2179-2189
    serialPeriodical
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    H2S removal from syngas using wastes pyrolysis chars
    Hervy, Maxime ; Pham Minh, Doan ; et al.
    In: Chemical engineering journal, Jg. 334 (2018), S. 2179-2189
    serialPeriodical
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Ge-free chalcogenide glasses based on Ga-Sb-Se and their stabilization by iodine incorporation
    Lecomte, Alicia ; Nazabal, Virginie ; et al.
    In: Journal of noncrystalline solids, Jg. 481 (2018), S. 543-547
    serialPeriodical
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -