Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

Sprache

Geographischer Bezug

208 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq formalization of the higher-order recursive path ordering
    Koprowski, Adam
    In: Applicable Algebra in Engineering, Communication and Computing, Jg. 20 (2009-12-01), Heft 5-6, S. 379-425
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    New pathogenic variants in COQ4 cause ataxia and neurodevelopmental disorder without detectable CoQ <subscript>10</subscript> deficiency in muscle or skin fibroblasts.
    Mero, S ; Salviati, L ; et al.
    In: Journal of neurology, Jg. 268 (2021-09-01), Heft 9, S. 3381-3389
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
    Martin-Dorel, Erik ; Melquiond, Guillaume ; et al.
    2016
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Coloured Petri net refinement specification and correctness proof with Coq
    Choppy, Christine ; Mayero, Micaela ; et al.
    In: Innovations in Systems and Software Engineering: A NASA Journal, Jg. 6 (2010-09-01), Heft 3, S. 195-202
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Formalizing non-interference for a simple bytecode language in Coq
    Kammüller, Florian
    In: Formal Aspects of Computing: Applicable Formal Methods, Jg. 20 (2008-05-01), Heft 3, S. 259-275
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Zur Entwicklung des Birkhuhnbestandes (Tetrao tetrix Linné) im sächsischen Erzgebirge von 1980 bis 2000
    Krüger, T. ; Herzog, S.
    In: Zeitschrift für Jagdwissenschaft, Jg. 46 (2000-09-01), Heft 3, S. 180-187
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Saisonale Unterschiede in der Balzaktivität des Birkhahnes (Lyrurus tetrix L., 1758), registriert unter Volierenbedingungen
    Gremmels, H. D.
    In: Zeitschrift für Jagdwissenschaft, Jg. 36 (1990-09-01), Heft 3, S. 169-178
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    CoQ <subscript>0</subscript> -induced mitochondrial PTP opening triggers apoptosis via ROS-mediated VDAC1 upregulation in HL-60 leukemia cells and suppresses tumor growth in athymic nude mice/xenografted nude mice.
    Hseu, YC ; Thiyagarajan, V ; et al.
    In: Archives of toxicology, Jg. 92 (2018), Heft 1, S. 301-322
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Experience Implementing a Performant Category-Theory Library in Coq
    Chlipala, Adam ; Spivak, David I. ; et al.
    In: MIT web domain, 2014
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Zur Situation des Birkwildes (Lyrurus tetrix L.) in den Niederlanden
    Niewold, J. J. ; Nijland, H.
    In: Zeitschrift für Jagdwissenschaft, Jg. 25 (1979-12-01), Heft 4, S. 207-211
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Untersuchung verschiedener Plasmaenzyme und Plasmasubstrate beim Birkwild (Lyrurus tetrix L.), Auerwild (Tetrao urogallus L.), Rebhuhn (Perdix perdix L.) und Fasan (Phasianus colchicus L.)
    Gremmels, H. D.
    In: Zeitschrift für Jagdwissenschaft, Jg. 33 (1987-06-01), Heft 2, S. 78-89
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Die Chancen des westeuropäischen Moor- und Heidebirkhuhns
    Niewold, F. J. J. ; Nijland, H.
    In: Zeitschrift für Jagdwissenschaft, Jg. 33 (1987-12-01), Heft 4, S. 227-241
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Avian coronavirus Spike Glycoprotein Ectodomain Shows a Low Codon Adaptation to Gallus gallus with Virus-Exclusive Codons in Strategic Amino Acids Positions
    Brandão, Paulo E.
    2012
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Modular SMT proofs for fast reflexive checking inside Coq
    Besson, Frédéric ; Cornilleau, Pierre-Emmanuel ; et al.
    In: http://people.irisa.fr/Frederic.Besson/modular_smt_proofs.pdf, 2011
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Maturation of the angiotensin II cardiovascular response in the embryonic White Leghorn chicken (Gallus gallus)
    Crossley, Dane A. ; Jonker, Sonnet S. ; et al.
    2010
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Replication of Eubenangee virus inCulicoides nubeculosus (Mg.) andCulicoides variipennis (Coq.)
    Mellor, P. S. ; Jennings, M.
    In: Archives of Virology, Jg. 63 (1980-09-01), Heft 3-4, S. 203-208
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Von Schneegängen und Schneehöhlen des Birkwildes (Lyrurus tetrix, L.) in Finnland
    Stüwe, G.
    In: Zeitschrift für Jagdwissenschaft, Jg. 35 (1989-09-01), Heft 3, S. 164-173
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Bedeutung des Verlaufs der Bebrütungstemperaturen im Gelege des Birkhuhns (Lyrurus tetrix L.) und ihre Abhängigkeiten vom Tag-Nacht-Rhythmus
    Wipper, E.
    In: Zeitschrift für Jagdwissenschaft, Jg. 28 (1982-06-01), Heft 2, S. 109-122
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Combining de Bruijn indices and higher-order abstract syntax in Coq
    Capretta, Venanzio ; Felty, Amy P. ; et al.
    In: http://www.cs.ru.nl/~venanzio/publications/HOAS_Types_2006.pdf, 2006
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    QArith: Coq formalisation of lazy rational arithmetic
    Niqui, Milad ; Bertot, Yves ; et al.
    In: http://www.cs.ru.nl/~milad/publications/TYPES03.pdf, 2003
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -