Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

Sprache

Geographischer Bezug

242 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The nuclear structures of protocaryotic organisms (bacteria and Cyanophyceae)
    by G. Wolfgang Fuhs.
    1969
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Beitrag zur Klinik und Ätiologie der verbreiteten Trichophytiden bzw. Mikrosporiden. Exantheme. Lichen Trichophyticus (Jadassohn-Bloch) und Lichen Mikrosporicus (Arzt und Fuhs)
    Braude, R. ; Per, M.
    In: Zeitschrift für Kinderheilkunde, Jg. 43 (1927-05-01), Heft 4-5, S. 525-536
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Brunaur-Fuhs-Siemens syndrome
    In: SpringerReference; (2011)
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Novel 3D printable PEEK-HA-Mg <subscript>2</subscript> SiO <subscript>4</subscript> composite material for spine implants: biocompatibility and imaging compatibility assessments.
    Kumar, N ; Alathur Ramakrishnan, S ; et al.
    In: European spine journal : official publication of the European Spine Society, Jg. 32 (2023-07-01), Heft 7, S. 2255-2265
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Design and 3D printing of novel titanium spine rods with lower flexural modulus and stiffness profile with optimised imaging compatibility.
    Kumar, N ; Alathur Ramakrishnan, S ; et al.
    In: European spine journal : official publication of the European Spine Society, Jg. 32 (2023-06-01), Heft 6, S. 1953-1965
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A MAR Game Design via a Remote Control Module : Augmented and Virtual Reality
    Lin, C. F. ; Pa, P. S. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8853, S. 3-18
    serialPeriodical
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Age and Gender Estimation Using Shifting and Re-scaling of Local Regions : Technologies and Applications of Artificial Intelligence
    Ali, N. ; Lin, C. F. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8916, S. 1-13
    serialPeriodical
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    An Approach for In-Database Scoring of R Models on DB2 for z/OS : Rough Sets and Knowledge Technology
    Xian, Y. ; Huang, J. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8818, S. 376-385
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Proving Termination and Memory Safety for Programs with Pointer Arithmetic
    Stroder, T. ; Giesl, J. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8562, S. 208-223
    serialPeriodical
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Proving Termination of Programs Automatically with AProVE
    Giesl, J. ; Brockschmidt, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8562, S. 184-191
    serialPeriodical
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Inter-Data-Center Large-Scale Database Replication Optimization - A Workload Driven Partitioning Approach : Database and Expert Systems Applications 25th International Conference, DEXA 2014 Munich, Germany, September 1-4, 2014 Proceedings, Part II
    Min, H. ; Gao, Z. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8645, S. 417-432
    serialPeriodical
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    First-Order Formative Rules
    Fuhs, C. ; Kop, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8560, S. 240-256
    serialPeriodical
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Proving Nontermination via Safety
    Chen, H. Y. ; Cook, B. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8413, S. 156-171
    serialPeriodical
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Alternating Runtime and Size Complexity Analysis of Integer Programs
    Brockschmidt, M. ; Emmes, F. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8413, S. 140-155
    serialPeriodical
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Age and Gender Estimation Using Multiple-Image Features : Biometric Recognition
    Ku, C. L. ; Chiou, C. H. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8232, S. 441-448
    serialPeriodical
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Better Termination Proving through Cooperation : Computer Aided Verification 25th International Conference, CAV 2013 Saint Petersburg, Russia, July 2013 Proceedings
    Brockschmidt, M. ; Cook, B. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8044, S. 413-429
    serialPeriodical
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog : Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011 Odense, Denmark, July 18-20, 2011 Revised Selected Papers
    Stroder, T. ; Emmes, F. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7225, S. 237-252
    serialPeriodical
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Generation of Environmental Representation of a Large Indoor Parking Lot : Neural Information Processing 19th International Conference, ICONIP 2012 Doha, Qatar, November 2012 Proceedings, Part II
    Wang, J. M. ; Hsu, C. F. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7664, S. 307-315
    serialPeriodical
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Harnessing First Order Termination Provers Using Higher Order Dependency Pairs : Frontiers of Combining Systems 8th International Symposium, FroCoS 2011 Saarbrucken, Germany, October 5-7, 2011 Proceedings
    Fuhs, C. ; Kop, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6989, S. 147-162
    serialPeriodical
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Termination of Isabelle Functions via Termination of Rewriting : Interactive Theorem Proving Second International Conference, ITP 2011 Berg en Dal, The Netherlands, August 22-25, 2011 Proceedings
    Krauss, A. ; Sternagel, C. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6898, S. 152-167
    serialPeriodical
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -