Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

37 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    MKM: Multiple Kernel Memory for Protecting Page Table Switching Mechanism Against Memory Corruption
    Kuzuno, Hiroki ; Yamauchi, Toshihiro
    In: Advances in Information and Computer Security ; Lecture Notes in Computer Science ; page 97-116 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030582074 9783030582081; (2020)
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Copyright Issues for MKM
    Adams, A.A. ; Davenport, J.H. ; et al.
    2004
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    The MMT API: A Generic MKM System
    Rabe, Florian
    In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 339-343 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642393198 9783642393204; (2013)
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Intelligent Computer Mathematics ; MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
    Carette, Jacques ; Aspinall, David ; et al.
    In: Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783642393198 9783642393204; (2013)
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Intelligent Computer Mathematics ; 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
    Jeuring, Johan ; Campbell, John A. ; et al.
    In: Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783642313738 9783642313745; (2012)
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Das Meinungsklima-/Koorientierungsmodell (MKM) für das strategische PR- und Kommunikationsmanagement
    Bürker, Michael
    In: „Die unsichtbaren Dritten“ ; page 367-413 ; ISBN 9783531187433 9783531187440; (2012)
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Cost-Effective Integration of MKM Semantic Services into Editing Environments
    Jucovschi, Constantin
    In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 96-110 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642313738 9783642313745; (2012)
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Extending MKM Formats at the Statement Level
    Horozal, Fulya ; Kohlhase, Michael ; et al.
    In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 65-80 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642313738 9783642313745; (2012)
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
    Davenport, J. ; Farmer, W. ; et al.
    2011
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Intelligent Computer Mathematics ; 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
    Davenport, James H. ; Farmer, William M. ; et al.
    In: Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783642226724 9783642226731; (2011)
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Towards MKM in the Large: Modular Representation and Scalable Software Architecture
    Kohlhase, Michael ; Rabe, Florian ; et al.
    In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 370-384 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642141270 9783642141287; (2010)
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Dimensions of Formality: A Case Study for MKM in Software Engineering
    Kohlhase, Andrea ; Kohlhase, Michael ; et al.
    In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 355-369 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642141270 9783642141287; (2010)
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Compensating the Computational Bias of Spreadsheets with MKM Techniques
    Kohlhase, Andrea ; Kohlhase, Michael
    In: Lecture Notes in Computer Science ; Intelligent Computer Mathematics ; page 357-372 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642026133 9783642026140; (2009)
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Intelligent Computer Mathematics ; 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
    Autexier, Serge ; Campbell, John ; et al.
    In: Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783540851097 9783540851103; (2008)
    Buch
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
    Kohlhase, Andrea ; Kohlhase, Michael
    In: Towards Mechanized Mathematical Assistants ; Lecture Notes in Computer Science ; page 313-326 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540730835 9783540730866; (2007)
    Buch
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Towards Mechanized Mathematical Assistants ; 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
    Kauers, Manuel ; Kerber, Manfred ; et al.
    In: Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783540730835 9783540730866; (2007)
    Buch
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Mathematical Knowledge Management ; 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    Kohlhase, Michael
    In: Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783540314301 9783540314318; (2006)
    Buch
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Communities of Practice in MKM: An Extensional Model
    Kohlhase, Andrea ; Kohlhase, Michael
    In: Lecture Notes in Computer Science ; Mathematical Knowledge Management ; page 179-193 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540371045 9783540371069; (2006)
    Buch
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Copyright Issues for MKM
    Adams, Andrew A. ; Davenport, James H.
    In: Lecture Notes in Computer Science ; Mathematical Knowledge Management ; page 1-16 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540230298 9783540278184; (2004)
    Buch
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    MKM from Book to Computer: A Case Study
    Davenport, James H.
    In: Lecture Notes in Computer Science ; Mathematical Knowledge Management ; page 17-29 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540005681 9783540364696; (2003)
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -