Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

192 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    On some basic results by application of the CZF method.
    Conte, Sergio
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Ordinal analysis and the set existence property for intuitionistic set theories.
    Rathjen, M
    2023
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    An exhaustive scrutiny to amplify the heating prospects by devising a core@shell nanostructure for constructive magnetic hyperthermia applications
    Tsopoe, S. P. ; Borgohain, C. ; et al.
    In: Scientific Reports, 2023
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    An exhaustive scrutiny to amplify the heating prospects by devising a core@shell nanostructure for constructive magnetic hyperthermia applications
    Tsopoe, S. P. ; Borgohain, C. ; et al.
    In: Scientific Reports ; volume 13, issue 1 ; ISSN 2045-2322, 2023
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Lane Image Detection Based on Convolution Neural Network Multi-Task Learning
    Li, Junfeng ; Zhang, Dehai ; et al.
    In: Electronics; Volume 10; Issue 19; Pages: 2356, 2021
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Lane Image Detection Based on Convolution Neural Network Multi-Task Learning
    Li, Junfeng ; Zhang, Dehai ; et al.
    In: Electronics, Vol 10, Iss 2356, p 2356 (2021, 2021
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Constructive Ackermann's interpretation
    Jeon, Hanul
    2020
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Divalent metal Co2+ ions substituted ZnFe2O4 nanoparticles and their hybrid with carbonaceous matrix for the degradation of toxic dyes
    Alzahrani, FMA ; Arshad, J ; et al.
    2023
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Ordinal analysis and the set existence property for intuitionistic set theories
    Rathjen, Michael
    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences ; volume 381, issue 2248 ; ISSN 1364-503X 1471-2962, 2023
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Doping Effect on Piezoelectric, Magnetic and Magnetoelectric Properties of Perovskite—Ferromagnetic Magnetoelectric Composites
    Islam, Rashed Adnan
    In: MODID-6d55e02e354:IntechOpen, 2019
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    The independence of premise rule in intuitionistic set theories
    Nemoto, Takako ; Rathjen, Michael
    2019
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    Equivalents of the finitary non-deterministic inductive definitions
    Hirata, Ayana ; Ishihara, Hajime ; et al.
    2019
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
    FRITTAION, EMANUELE
    In: The Journal of Symbolic Logic ; volume 88, issue 3, page 1138-1169 ; ISSN 0022-4812 1943-5886, 2022
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    The effect of magnetic nanoparticles on neuronal differentiation of induced pluripotent stem cell-derived neural precursors
    Jiráková,Klára ; Šeneklová,Monika ; et al.
    2016
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    The effect of magnetic nanoparticles on neuronal differentiation of induced pluripotent stem cell-derived neural precursors
    Jiráková, K ; Šeneklova, M ; et al.
    In: International Journal of Nanomedicine, Vol Volume 11, Pp 6267-6281 (2016, 2016
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Classifying the provably total set functions of KP and KP(P)
    Cook, Jacob ; Rathjen, Michael
    2016
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    The proof-theoretic strength of Constructive Second-order set theories
    Jeon, Hanul
    2023
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Independence Results around Constructive ZF
    Lubarsky, Robert
    2015
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    Constructing categories and setoids of setoids in type theory
    Palmgren, Erik ; Wilander, Olov
    In: Logical Methods in Computer Science, Vol Volume 10, Issue 3 (2014, 2014
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    Constructing categories and setoids of setoids in type theory
    Palmgren, Erik ; Wilander, Olov
    2014
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -