Zum Hauptinhalt springen
UB Wuppertal

Suchergebnisse

Katalog

Artikel & mehr
44 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".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Publikation

Sprache

Geographischer Bezug

Inhaltsanbieter

44 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics.
    Furbach, Ulrich ; Shankar, Natarajan ; et al.
    In: Automated Reasoning; (2006) S. 162-176
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Normalization of IZF with Replacement.
    Ésik, Zoltán ; Moczydłowski, Wojciech
    In: Computer Science Logic (9783540454588); (2006) S. 516-530
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Interactions between Metisa plana, its hyperparasitoids and primary parasitoids from good agriculture practices (GAP) and non-gap oil palm plantations.
    Fuat, Salbi ; Adam, Nur Azura ; et al.
    In: Community Ecology, Jg. 23 (2022-10-01), Heft 3, S. 429-438
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Influence of physico-chemical characteristics of rembau river, peninsular Malaysia, on congregating Pteroptyx fireflies.
    Abdullah, Nur-Athirah ; Asri, Lailatul-Nadhirah ; et al.
    In: Environmental Monitoring & Assessment, Jg. 193 (2021-10-01), Heft 10, S. 1-12
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Flying with Cracks, Damage Tolerance and NDT: Potential Contributions of the Fraunhofer Institute for Nondestructive Testing IZFP to Aeronautical Safety.
    Boller, Christian ; Schneider, Eckhardt
    In: Innovative Design, Analysis & Development Practices in Aerospace & Automotive Engineering; (2014) S. 23-24
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    The technical approach to laparoscopic colectomy in patients who have undergone prior abdominoplasty.
    Atallah, S. ; Albert, M. ; et al.
    In: Techniques in Coloproctology, Jg. 17 (2013-02-01), Heft 1, S. 111-116
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    3D massive MIMO with massive connectivity for internet of things devices.
    Younas, Talha ; Xing, Xuening ; et al.
    In: Wireless Networks (10220038), 2023-09-01, S. 1
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Satisfiability is False Intuitionistically: A Question from Dana Scott.
    McCarty, Charles
    In: Studia Logica, Jg. 108 (2020-08-01), Heft 4, S. 803-813
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Topological Forcing Semantics with Settling.
    Lubarsky, Robert S.
    In: Logical Foundations of Computer Science (9783540926863); (2009) S. 309-322
    Buch
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Unifying Sets and Programs via Dependent Types.
    Moczydłowski, Wojciech
    In: Logical Foundations of Computer Science (9783540926863); (2009) S. 365-379
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.
    Chen, Ray-Ming ; Rathjen, Michael
    In: Archive for Mathematical Logic, Jg. 51 (2012-11-01), Heft 7/8, S. 789-818
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Are There Enough Injective Sets?
    Aczel, Peter ; Berg, Benno ; et al.
    In: Studia Logica, Jg. 101 (2013-06-01), Heft 3, S. 467-482
    Online academicJournal
    Zugriff:
    JSTOR (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    High-resolution eddy current sensor system for quality assessment of carbon fiber materials.
    In: Microsystem Technologies, Jg. 16 (2010-05-01), Heft 5, S. 791-797
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Product News.
    In: Journal of Failure Analysis & Prevention, Jg. 13 (2013-10-01), Heft 5, S. 570-572
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Extrarenale Elektrolyt- und Wasserverteilung unter Thyroxin.
    Günther, Th. ; Dulce, H. J. ; et al.
    In: Naunyn-Schmiedebergs Archiv für Experimentelle Pathologie und Pharmakologie, Jg. 239 (1960-07-15), Heft 3, S. 283-287
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Reconstruction of the Ferromagnetic Hysteresis in the Rayleigh Regime by Means of Impedance Analysis of the Excitation Coil.
    Thieltges, Sascha ; Youssef, Sargon ; et al.
    In: Journal of Nondestructive Evaluation, Jg. 43 (2024-06-01), Heft 2, S. 1-7
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Nondestructive material characterization and component identification in sheet metal processing with electromagnetic methods.
    Wolter, Bernd ; Straß, Benjamin ; et al.
    In: Scientific Reports, Jg. 14 (2024-03-15), Heft 1, S. 1-13
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    3D Remote Assistance for NDT Inspections.
    Rehbein, Jörg ; Lorenz, Sebastian-Johannes ; et al.
    In: Journal of Nondestructive Evaluation, Jg. 43 (2024-03-01), Heft 1, S. 1-13
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Automatic Air-Coupled Ultrasound Detection of Impact Damages in Fiber-Reinforced Composites Based on One-Dimension Deep Learning Models.
    Duan, Yuxia ; Shao, Tiantian ; et al.
    In: Journal of Nondestructive Evaluation, Jg. 42 (2023-09-01), Heft 3, S. 1-12
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Using the Corner Reflection for Depth Evaluation of Surface Breaking Cracks in Concrete by Ultrasound.
    Rabe, Ute ; Pudovikov, Sergey ; et al.
    In: Journal of Nondestructive Evaluation, Jg. 42 (2023-06-01), Heft 2, S. 1-19
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -