Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

40 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Interoperability between arithmetic proofs using Dedukti ; L'intéropérabilité entre des preuves d'arithmétique en utilisan Dedukti
    Dowek, Gilles ; Graham-Lengrand, Stéphane ; et al.
    In: International School On Rewriting 2017 ; https://inria.hal.science/hal-01668246 ; International School On Rewriting 2017, Jul 2017, Eindhoven, Netherlands, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 62 öffnen
    mSAT:An OCaml SAT Solver
    Bury, Guillaume ; Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) ; et al.
    In: OCaml Users and Developers Workshop ; https://inria.hal.science/hal-01670765 ; OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 63 öffnen
    Interoperability between arithmetic proofs using Dedukti ; L'intéropérabilité entre des preuves d'arithmétique en utilisan Dedukti
    Dowek, Gilles ; Graham-Lengrand, Stéphane ; et al.
    In: International School On Rewriting 2017 ; https://inria.hal.science/hal-01668246 ; International School On Rewriting 2017, Jul 2017, Eindhoven, Netherlands, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 64 öffnen
    mSAT:An OCaml SAT Solver
    Bury, Guillaume ; Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) ; et al.
    In: OCaml Users and Developers Workshop ; https://hal.inria.fr/hal-01670765 ; OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 65 öffnen
    Interoperability between arithmetic proofs using Dedukti ; L'intéropérabilité entre des preuves d'arithmétique en utilisan Dedukti
    Dowek, Gilles ; Graham-Lengrand, Stéphane ; et al.
    In: International School On Rewriting 2017 ; https://hal.inria.fr/hal-01668246 ; International School On Rewriting 2017, Jul 2017, Eindhoven, Netherlands, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 66 öffnen
    Data acquisition for analytical platforms: Automating scientific workflows and building an open database platform for chemical anlysis metadata
    Tfaili, Sana ; Bui Thi, Diem ; et al.
    In: Chimiométrie XVII ; https://inria.hal.science/hal-01423371 ; Chimiométrie XVII, Jan 2016, Namur, Belgium, 2016
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 67 öffnen
    Data acquisition for analytical platforms: Automating scientific workflows and building an open database platform for chemical anlysis metadata
    Tfaili, Sana ; Bui Thi, Diem ; et al.
    In: Chimiométrie XVII ; https://hal.inria.fr/hal-01423371 ; Chimiométrie XVII, Jan 2016, Namur, Belgium, 2016
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 68 öffnen
    Comment la succession des pratiques agricoles affecte la structure et la composition des communautés adventices ?
    Mahaut, Lucie ; Fried, Guillaume ; et al.
    In: 4. Journées des Doctorants ; https://hal.inrae.fr/hal-02740316 ; 4. Journées des Doctorants, Mar 2015, Dijon, France. 2015, 2015
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 69 öffnen
    Comment la succession des pratiques agricoles affecte la structure et la composition des communautés adventices ?
    Mahaut, Lucie ; Fried, Guillaume ; et al.
    In: 4. Journées des Doctorants ; https://hal.inrae.fr/hal-02740316 ; 4. Journées des Doctorants, Mar 2015, Dijon, France. 2015, 2015
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 70 öffnen
    Comment la succession des pratiques agricoles affecte la structure et la composition des communautés adventices ?
    Mahaut, Lucie ; Fried, Guillaume ; et al.
    In: 4. Journées des Doctorants ; https://hal.inrae.fr/hal-02740316 ; 4. Journées des Doctorants, Mar 2015, Dijon, France. 2015, 2015
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 71 öffnen
    Comment la succession des pratiques agricoles affecte la structure et la composition des communautés adventices ?
    Mahaut, Lucie ; Fried, Guillaume ; et al.
    In: 4. Journées des Doctorants ; https://hal.inrae.fr/hal-02740316 ; 4. Journées des Doctorants, Mar 2015, Dijon, France. 2015, 2015
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 72 öffnen
    Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings
    Brandan-Briones, Laura ; Madalinski, Agnes ; et al.
    In: Workshop on Principles of Diagnosis ; https://hal.inria.fr/hal-00915478 ; Workshop on Principles of Diagnosis, Sep 2014, Graz, Austria. 2013, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 73 öffnen
    Néoplasies vulvaires intra-épithéliales HPV-dépendantes associées au lichen scléreux : étude descriptive
    Capelle, Clémence ; Université de Lille ; et al.
    2019
    Hochschulschrift
    Wie komme ich dran?
  14. Detailansicht für Treffer 74 öffnen
    FIGURE 10 in Nine new Pristionchus (Nematoda: Diplogastridae) species from China
    Kanzaki, Natsumi ; Herrmann, Matthias ; et al.
    In: Zootaxa 4943(1) 1-66, 2021
    Bild
    Wie komme ich dran?
  15. Detailansicht für Treffer 75 öffnen
    FIGURE 5 in Nine new Pristionchus (Nematoda: Diplogastridae) species from China
    Kanzaki, Natsumi ; Herrmann, Matthias ; et al.
    In: Zootaxa 4943(1) 1-66, 2021
    Bild
    Wie komme ich dran?
  16. Detailansicht für Treffer 76 öffnen
    FIGURE 46 in Nine new Pristionchus (Nematoda: Diplogastridae) species from China
    Kanzaki, Natsumi ; Herrmann, Matthias ; et al.
    In: Zootaxa 4943(1) 1-66, 2021
    Bild
    Wie komme ich dran?
  17. Detailansicht für Treffer 77 öffnen
    FIGURE 22 in Nine new Pristionchus (Nematoda: Diplogastridae) species from China
    Kanzaki, Natsumi ; Herrmann, Matthias ; et al.
    In: Zootaxa 4943(1) 1-66, 2021
    Bild
    Wie komme ich dran?
  18. Detailansicht für Treffer 78 öffnen
    FIGURE 39 in Nine new Pristionchus (Nematoda: Diplogastridae) species from China
    Kanzaki, Natsumi ; Herrmann, Matthias ; et al.
    In: Zootaxa 4943(1) 1-66, 2021
    Bild
    Wie komme ich dran?
  19. Detailansicht für Treffer 79 öffnen
    LS cells receiving hippocampal inputs project directly to hypothalamus and MS.
    Suzanne van der Veldt (11356216) ; Guillaume Etter (8849267) ; et al.
    2021
    Bild
    Wie komme ich dran?
  20. Detailansicht für Treffer 80 öffnen
    Graphene-polymer nanocomposite coatings for corrosion protection of Mg-alloys
    Das, Chayanika
    2019
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -