Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Geographischer Bezug

34 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dealing with algebraic expressions over a field in Coq using Maple : Integration of symbolic computation systems and mechanized reasoning-Calculemus 2002; Automated reasoning and computer algebra systems (AR-CA)
    Delahaye, D. ; Mayero, M.
    In: JOURNAL OF SYMBOLIC COMPUTATION, Jg. 39 (2005), Heft NO 5, S. 569-592
    Online Konferenz
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Proof by computation in the Coq system : Theories of types and proofs
    Oostdijk, M. ; Geuvers, H.
    In: THEORETICAL COMPUTER SCIENCE -AMSTERDAM-, Jg. 272 (2002), Heft NO 1-2, S. 293-314
    Online Konferenz
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  4. Detailansicht für Treffer 4 öffnen
    Morphology of waveguide written by femtosecond laser in As~2S~3 glass : Non-oxide and new optical glasses
    Le Coq, D. ; Masselin, P. ; et al.
    In: JOURNAL OF NONCRYSTALLINE SOLIDS, Jg. 355 (2009), Heft 37/42, S. 1832-1835
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Neutron and X-ray diffraction studies of TeCl4 and TeBr4 liquids : International conference on the physics of non-crystalline solids
    Le Coq, D. ; Bytchkov, A. ; et al.
    In: JOURNAL OF NONCRYSTALLINE SOLIDS, Jg. 354 (2008), Heft 2-9, S. 259-262
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Hydrogenation of 2-butyne-1,4-diol on supported Pd catalysts obtained from LDH precursors : INSIDE-POReS workshop IN SItu Study and DEvelopment of Processes involving Nano PORous Solids
    Francova, D. ; Tanchoux, N. ; et al.
    In: MICROPOROUS AND MESOPOROUS MATERIALS, Jg. 99 (2007), Heft 1/2, S. 118-125
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Deactivation of a Fe-ZSM-5 catalyst during the selective catalytic reduction of NO by n-decane: An operando DRIFT study : International conference on environmental catalysis
    Delahay, G. ; Guzman-Vargas, A. ; et al.
    In: APPLIED CATALYSIS, Jg. 70 (2007), Heft 1-4, S. 45-52
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Production of fibrous activated carbons from natural cellulose (jute, coconut) fibers for water treatment applications : Carbon for energy storage and environment protection
    Phan, N. H. ; Rio, S. ; et al.
    In: CARBON -AMERICAN CARBON COMMITTEE-, Jg. 44 (2006), Heft NO 12, S. 2569-2577
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Experimental and theoretical approaches to the study of TMI-zeolite (TM = Fe, Co, Cu) : International workshop on the application of microporous and mesoporous materials as catalytic hosts for Fe, Cu and Co
    Berthomieu, D. ; Jardillier, N. ; et al.
    In: CATALYSIS TODAY, Jg. 110 (2005), Heft 3/4, S. 294-302
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An investigation on the modeling of boron-enhanced diffusion of ultralow energy implanted boron in silicon : Materials science and device issues for future Si-based technologies; EMRS 2005
    Marcon, J. ; Ihaddadene-Le Coq, L. ; et al.
    In: MATERIALS SCIENCE AND ENGINEERING B -LAUSANNE-, Jg. 124-125 (2005), S. 415-418
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Influence of the preparation method on the properties of Fe-ZSM-5 for the selective catalytic reduction of NO by n-decane : Selected contributions of the XIX Ibero American catalysis symposium
    Guzman-Vargas, A. ; Delahay, G. ; et al.
    In: CATALYSIS TODAY, Jg. 107/108 (2005), S. 94-99
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    New Nanoparticle / LDH Composite Materials as Precursors of Supported Metal Catalysts : Nanoporous materials
    Gerardin, C. ; Kostadinova, D. ; et al.
    In: STUDIES IN SURFACE SCIENCE AND CATALYSIS, Jg. 156 (2005), S. 357-362
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Diffusion models of BF2+ and B+ implanted at low-energy in crystalline silicon : Material science issues in advanced CMOS source-drain engineering; EMRS 2004, Symposium B: material science issues in advanced CMOS source-drain engineering
    Marcon, J. ; Coq, L. I. ; et al.
    In: MATERIALS SCIENCE AND ENGINEERING B -LAUSANNE-, Jg. 114-115 (2004), S. 339-344
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Recent advances in chalcogenide glasses : International conference on the physics of non-crystalline solids
    Bureau, B. ; Zhang, X. H. ; et al.
    In: JOURNAL OF NONCRYSTALLINE SOLIDS, Jg. 345-346 (2004), S. 276-283
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Diffusion simulations of boron implanted at low energy (500 eV) in crystalline silicon : Ion beams for nanoscale surface modifications
    Ihaddadene-Le Coq, L. ; Marcon, J. ; et al.
    In: MATERIALS SCIENCE AND ENGINEERING -AMSTERDAM THEN LAUSANNE- C, Jg. 216 (2004), S. 303-307
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A new approach of preform fabrication for chalcogenide fibers : International symposium on non-oxide glasses and new optical glasses
    Le Coq, D. ; Boussard-Pledel, C. ; et al.
    In: JOURNAL OF NONCRYSTALLINE SOLIDS, Jg. 326/327 (2003), S. 451-454
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Condensation of aldehydes for environmentally friendly synthesis of 2-methyl-3-phenyl-propanal by heterogeneous catalysis : Environmental catalysis
    Tichit, D. ; Coq, B. ; et al.
    In: CATALYSIS TODAY, Jg. 75 (2002), Heft NO 1-4, S. 197-202
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Mg- and Ni-containing layered double hydroxides as soda substitutes in the aldol condensation of acetone : Environmental catalysis
    Prinetto, F. ; Tichit, D. ; et al.
    In: CATALYSIS TODAY, Jg. 54 (1999), Heft NOS 1 AND 4, S. 103-116
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Characterization and activity of hydrotalcite-type catalysts for acetonitrile hydrogenation : Theoretical aspects of heterogeneous catalysis
    Medina, F. ; Dutartre, R. ; et al.
    In: JOURNAL OF MOLECULAR CATALYSIS A CHEMICAL, Jg. 119, Heft 1/3, S. 201-212
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Influence of Sulfur Dioxide on the Selective Catalytic Reduction of NO by Decane on Cu Catalysts : Catalysis
    Figueras, F. ; Coq, B. ; et al.
    In: STUDIES IN SURFACE SCIENCE AND CATALYSIS, Jg. 101//A, S. 621-630
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -