Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

59 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Autexier, S. ; Fiedler, A.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 96-110
    serialPeriodical
    Wie komme ich dran?
  2. Detailansicht für Treffer 42 öffnen
    Authoring Presentation for OpenMath : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Manzoor, S. ; Libbrecht, P. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 33-48
    serialPeriodical
    Wie komme ich dran?
  3. Detailansicht für Treffer 43 öffnen
    Literate Proving: Presenting and Documenting Formal Proofs : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Cairns, P. ; Gow, J.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 159-173
    serialPeriodical
    Wie komme ich dran?
  4. Detailansicht für Treffer 44 öffnen
    Translating Mathematical Vernacular into Knowledge Repositories : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Grabowski, A. ; Schwarzweller, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 49-64
    serialPeriodical
    Wie komme ich dran?
  5. Detailansicht für Treffer 45 öffnen
    A Tough Nut for Mathematical Knowledge Management : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Kerber, M. ; Pollet, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 81-95
    serialPeriodical
    Wie komme ich dran?
  6. Detailansicht für Treffer 46 öffnen
    Assisted Proof Document Authoring : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Aspinall, D. ; Luth, C. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 65-80
    serialPeriodical
    Wie komme ich dran?
  7. Detailansicht für Treffer 47 öffnen
    An Exploration in the Space of Mathematical Knowledge : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Kohlhase, A. ; Kohlhase, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 17-32
    serialPeriodical
    Wie komme ich dran?
  8. Detailansicht für Treffer 48 öffnen
    A Proof-Theoretic Approach to Hierarchical Math Library Organization : Mathematical Knowledge Management: 4th International Conference, MKM 2005 Bremen, Germany, July 15-17, 2005 Revised Selected Papers
    Aboul-Hosn, K. ; Andersen, T. D.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3863, S. 1-16
    serialPeriodical
    Wie komme ich dran?
  9. Detailansicht für Treffer 49 öffnen
    Mineralogical and spectroscopic characterization, and potential environmental use of limestone from the Abiod formation, Tunisia
    Sdiri, Ali ; Higashi, Teruo ; et al.
    In: Environmental Earth Sciences, Jg. 61 (2010-09-01), Heft 6, S. 1275-1287
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 50 öffnen
    Das Mammakarzinom beim Mann: Eine Herausforderung für den Urologen
    Hofer, C. ; Schmalfeldt, B. ; et al.
    In: Der Urologe: Organ der Deutschen Gesellschaft für UrologieOrgan des Berufsverbandes der Deutschen Urologen, Jg. 49 (2010-09-01), Heft 9, S. 1142-1148
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 51 öffnen
    Intraoperative Präzision mechanischer, elektromagnetischer, infrarot- und lasergeführter Navigationssysteme in der computergestützten Chirurgie
    Marmulla, R. ; Hilbert, M. ; et al.
    In: Mund-, Kiefer- und Gesichtschirurgie, Jg. 2 (1998-05-01), Heft 1, S. S145- (4S.)
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 52 öffnen
    Influence of phytogenic surfactants (quillaya saponin and soya lecithin) on bio-elimination of phenanthrene and fluoranthene by three bacteria
    Soeder, C. J. ; Papaderos, A. ; et al.
    In: Applied Microbiology and Biotechnology, Jg. 44 (1996), Heft 5, S. 654-659
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 53 öffnen
    Die Methodik der Capillaroskopie und der Capillarographie der Bindehaut des Auges beim Experiment
    Bunin, A. J. ; Jakovlev, A. A.
    In: Albrecht von Graefes Archiv für klinische und experimentelle Ophthalmologie, Jg. 211 (1979-09-01), Heft 3, S. 229-234
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 54 öffnen
    Regeneration of fertile plants from Helianthus nuttallii T&G and Helianthus giganteus L. mesophyll protoplasts
    Henn, H. J. ; Wingender, R. ; et al.
    In: Plant Cell Reports, Jg. 18 (1998-12-01), Heft 3-4, S. 288-291
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 55 öffnen
    Intraoperative imaging with open magnetic resonance imaging and neuronavigation
    Fahlbusch, R. ; Ganslandt, O. ; et al.
    In: Child's Nervous System, Jg. 16 (2000-11-01), Heft 10-11, S. 829-831
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 56 öffnen
    Influence of Initial Diamond Raw Material Strength on Quality of Produced on Its Base Thin Micron Powders
    Romanyuk, A.V. ; Moshkovskiy, E.I. ; et al.
    2005
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 57 öffnen
    Vertical distribution of mesoplankton in the open area of the Black Sea
    Vinogradov, M. E. ; Flint, M. V. ; et al.
    In: Marine Biology: International Journal on Life in Oceans and Coastal Waters, Jg. 89 (1985-10-01), Heft 1, S. 95-107
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 58 öffnen
    Symmetry and Search --- A Survey
    Linton, Stephen Alexander
    In: Linton , S A 2008 , Symmetry and Search --- A Survey . in Proceedings of the 9th AISC international conference, 2008
    Zeitungsartikel
    Wie komme ich dran?
  19. Detailansicht für Treffer 59 öffnen
    Development of modified microdosimetric kinetic model for relative biological effectiveness in proton therapy.
    Taghipour, H ; Taherparvar, P
    In: Radiation and environmental biophysics, Jg. 61 (2022-08-01), Heft 3, S. 375-390
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -