Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

16 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq and Lean: Powerful Interactive Theorem Provers: Coq and Lean are tools that elevate trust in research and software development with rigorous proofs. They also help to prove that code is bug-free.
    Benson, Deepu
    In: Open Source For You, Jg. 11 (2023-09-01), Heft 11, S. 63-66
    serialPeriodical
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Zirconia-supported monometallic Ru and bimetallic Ru-Sn, Ru-Fe catalysts: role of metal support interaction in the hydrogenation of cinnamaldehyde.
    Coq, Bernard ; Kumbhar, Pramod S. ; et al.
    In: Journal of Physical Chemistry, Jg. 98 (1994-10-06), S. 10180-10188
    serialPeriodical
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Site segregation in model clusters of small bimetallic RuGe and RuSn aggregates.
    Goursot, Annick ; Pedocchi, Luca ; et al.
    In: Journal of Physical Chemistry, Jg. 98 (1994-09-01), S. 8747-8751
    serialPeriodical
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Surface reactions of hydrocarbons as a probe for the characterization of RhCu/SiO2 catalysts.
    Coq, Bernard ; Dutartre, Roger ; et al.
    In: Journal of Physical Chemistry, Jg. 93 (1989-06-15), S. 4904-4908
    serialPeriodical
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Dilution and clustering in model clusters of small bimetallic RuGe and RuSn aggregates: a density functional study.
    Goursot, Annick ; Pedocchi, Luca ; et al.
    In: Journal of Physical Chemistry, Jg. 99 (1995-08-24), S. 12718-12722
    serialPeriodical
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Effect of the metal-support interaction on the catalytic properties of palladium for the conversion of difluorodichloromethane with hydrogen: comparison of oxides and fluorides as supports.
    Coq, Bernard ; Figuéras, François ; et al.
    In: Journal of Physical Chemistry, Jg. 99 (1995-07-13), S. 11159-11166
    serialPeriodical
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Le coq Gaulois comes down from its perch atop the Cathedral of Senlis.
    Chamberlain, C.
    In: American Architect (1925), Jg. 142 (1932-10-01), S. 14
    serialPeriodical
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Building Certified Concurrent OS Kernels.
    Gu, Ronghui ; Shao, Zhong ; et al.
    In: Communications of the ACM, Jg. 62 (2019-10-01), Heft 10, S. 89-99
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    The Verification of a Distributed System.
    MCCAFFREY, CAITIE
    In: Communications of the ACM, Jg. 59 (2016-02-01), Heft 2, S. 52-55
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Failure of a brittle layer on a ductile substrate: Nanoindentation experiments and FEM simulations.
    Rusinowicz, M. ; Parry, G. ; et al.
    In: Journal of the Mechanics & Physics of Solids, Jg. 163 (2022-06-01), S. N.PAG
    serialPeriodical
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A New Type of Mathematics?
    Monroe, Don
    In: Communications of the ACM, Jg. 57 (2014-02-01), Heft 2, S. 13-15
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Epépineuse de marcs de raisin syst'eme.
    Coq, C.
    In: Le Génie Civil, Jg. 123 (1946-07-15), S. 194-194
    serialPeriodical
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Nanoemulsions vs. Emulsions in the Delivery of Coenzyme Q10 and Tocopheryl Acetate.
    Amnuaikit, Thanaporn ; Pichayakorn, Wiwat ; et al.
    In: Cosmetics & Toiletries, Jg. 126 (2011-04-01), Heft 4, S. 278-283
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Stick around.
    Sands, Kathleen
    In: NetGuide, Jg. 3 (1996-10-01), Heft 10, S. 110-110
    serialPeriodical
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Vitamin E could reduce heart risk.
    Coghlan, Andy
    In: New Scientist, Jg. 130 (1991-05-25), S. 24-24
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Reactivity of Doped Ceria-Based Mixed Oxides for Solar Thermochemical Hydrogen Generation via Two-Step Water-Splitting Cycles.
    Le Gal, Alex ; Abanades, Stéphane ; et al.
    In: Energy & Fuels, Jg. 27 (2013-09-01), Heft 9, S. 6068-6078
    serialPeriodical
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -