Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Geographischer Bezug

205 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
  2. Detailansicht für Treffer 2 ö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 : 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, 1965- ; CICM (Conference) (5th : 2012 : Bremen, Germany)
    2012
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 öffnen
    Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings : Calculemus 2007 : MKM 2007
    Kauers, Manuel. ; MKM 2007 (2007 : Hagenberg im Mühlkreis, Austria) ; et al.
    2007
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Mathematical knowledge management: third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings : MKM 2004
    Asperti, Andrea. ; Bancerek, Grzegorz. ; et al.
    2004
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 ö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. ; Calculemus 2008 (2008 : Birmingham, England) ; et al.
    2008
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Mathematical knowledge management: 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings : MKM 2006
    Borwein, Jonathan M. ; Farmer, William Michael.
    2006
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Mathematical knowledge management: 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers : MKM 2005
    Kohlhase, Michael, 1964-
    2006
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Mathematical knowledge management: second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
    Asperti, Andrea. ; Buchberger, Bruno. ; et al.
    2003
    Buch
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 ; proceedings /
    MKM 2006 (2006 : Wokingham, England) ; Borwein, Jonathan M. ; et al.
    2006
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 ö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 (Computer scientist), [Ed.] of compilation. ; MKM (Conference) (12th : 2013 : Bath, England) ; et al.
    2013
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 ö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?
  13. Detailansicht für Treffer 13 ö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?
  14. Detailansicht für Treffer 14 ö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, ; AISC (Conference) (11th : 2012 : Bremen, Germany) ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 ö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?
  16. Detailansicht für Treffer 16 ö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?
  17. Detailansicht für Treffer 17 öffnen
    Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23 2011 : proceedings /
    Calculemus 2011 (2011 : Bertinoro, Italy) ; Davenport, James Harold, ; et al.
    2011
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
    MKM 2003 (2003 : Bertinoro, Italy) ; Asperti, Andrea. ; et al.
    2003
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Lecture Notes in Artificial Intelligence /
    Autexier, Serge, [Ed.]. ; Calmet, Jacques, [Ed.]. ; et al.
    2010
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings. Lecture Notes in Artificial Intelligence /
    Carette, Jacques, [Ed.]. ; Dixon, Lucas, [Ed.]. ; et al.
    2009
    Online E-Book
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -