Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

478 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    MKM: Multiple Kernel Memory for Protecting Page Table Switching Mechanism Against Memory Corruption : 15th International workshop on security
    Kuzuno, Hiroki ; Yamauchi, Toshihiro
    In: Lecture notes in computer science, Jg. 12231 (2020), S. 97-116
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Cost-Effective Integration of MKM Semantic Services into Editing Environments : Mathematical knowledge management 2012
    Jucovschi, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7362, S. 96-110
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Extending MKM Formats at the Statement Level : Mathematical knowledge management 2012
    Horozal, F. ; Kohlhase, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7362, S. 65-80
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Copyright Issues for MKM : Mathematical knowledge management: third International Conference MKM 2004, Bialowieza, Poland, September 19-21, 2004, proceedings
    Adams, A. A. ; Davenport, J. H.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2004, S. 1-16
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Towards MKM in the Large: Modular Representation and Scalable Software Architecture : International conference on mathematical knowledge management
    Kohlhase, M. ; Rabe, F. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6167, S. 370-384
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Dimensions of Formality: A Case Study for MKM in Software Engineering : International conference on mathematical knowledge management
    Kohlhase, A. ; Kohlhase, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6167, S. 355-369
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Compensating the Computational Bias of Spreadsheets with MKM Techniques : Integration of symbolic computation and mechanized reasoning; Intelligent computer mathematics Calculemus 2009,
    Kohlhase, A. ; Kohlhase, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5625, S. 357-372
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch : Calculemus 2007; Towards mechanized mathematical assistants
    Kohlhase, A. ; Kohlhase, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft NO 4573, S. 313-326
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Communities of Practice in MKM: An Extensional Model : International Conference on Mathematical Knowledge Management
    Kohlhase, A. ; Kohlhase, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft NO 4108, S. 179-193
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    MKM from Book to Computer: A Case Study : Mathematical knowledge management
    Davenport, J. H.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 17-29
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Towards an Interaction-based Integration of MKM Services into End-User Applications : Intelligent computer mathematics: International Conference, CICM 2014
    Jucovschi, C.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8543, S. 344-356
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  13. Detailansicht für Treffer 13 öffnen
    Determining Points on Handwritten Mathematical Symbols : Mathematical knowledge management; MKM 2013
    Hu, R. ; Watt, S.M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 168-183
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory : Mathematical knowledge management; MKM 2013
    Lange, C. ; Caminati, M.B. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 200-215
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Formal Mathematics on Display: A Wiki for Flyspeck : Mathematical knowledge management; MKM 2013
    Tankink, C. ; Kaliszyk, C. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 152-167
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Understanding Branch Cuts of Expressions : Mathematical knowledge management; MKM 2013
    England, M. ; Bradford, R. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 136-151
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System : Mathematical knowledge management; MKM 2013
    Tonisson, E.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 216-229
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Capturing Hiproofs in HOL Light : Mathematical knowledge management; MKM 2013
    Obua, S. ; Adams, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 184-199
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Automated Reasoning Service for HOL Light : Mathematical knowledge management; MKM 2013
    Kaliszyk, C. ; Urban, J.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 120-135
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Mathematical Practice, Crowdsourcing, and Social Machines : Mathematical knowledge management; MKM 2013
    Martin, U. ; Pease, A.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7961, S. 98-119
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -