Zum Inhalt springen

  7. Meinel, Christoph [VerfasserIn] ; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]

    Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung - [6. Aufl. 2015]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiesbaden: Springer Vieweg, 2015

    Erschienen in: SpringerLink ; Bücher

  8. Meinel, Christoph [VerfasserIn] ; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]

    Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung - [5., überarbeitete Auflage]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiesbaden: Vieweg+Teubner, 2011

    Erschienen in: SpringerLink ; Bücher

  9. Meinel, Christoph [VerfasserIn] ; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]

    Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung - [4., überarbeitete Auflage]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiesbaden: Vieweg+Teubner, 2009

    Erschienen in: SpringerLink ; Bücher- XLeitfäden der Informatik

  12. Weiß, Felix [VerfasserIn] ; Mundhenk, Martin [AkademischeR BetreuerIn]; Vollmer, Heribert [AkademischeR BetreuerIn]

    ˜Dieœ Komplexität der Formelauswertung in intuitionistischen Logiken

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Jena: Thüringer Universitäts- und Landesbibliothek Jena, 2013

  14. Mundhenk, Martin [VerfasserIn]; Weiß, Felix [VerfasserIn] ; Martin Mundhenk and Felix Weiß [MitwirkendeR]

    The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  15. Hercher, Christian [VerfasserIn] ; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]; Friedrich, Tobias [Sonstige Person, Familie und Körperschaft]; Niedermeier, Rolf [Sonstige Person, Familie und Körperschaft]

    Average-Case Analyse parametrisierter und probabilistischer Algorithmen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Jena: Friedrich-Schiller-Universität Jena, 2017

  16. Meißner, Gabor [VerfasserIn] ; Fothe, Michael [AkademischeR BetreuerIn]; Mundhenk, Martin [AkademischeR BetreuerIn]; Pohl, Wolfgang [AkademischeR BetreuerIn]

    Leistungsanforderungen an Teilnehmerinnen und Teilnehmer von Informatikwettbewerben : eine Untersuchung auf Grundlage des Kompetenz-Paradigmas

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Jena: Thüringer Universitäts- und Landesbibliothek Jena, 2013

  17. Hercher, Christian [VerfasserIn] ; Mundhenk, Martin [MitwirkendeR]; Friedrich, Tobias [MitwirkendeR]; Niedermeier, Rolf [MitwirkendeR]

    Average-Case Analyse parametrisierter und probabilistischer Algorithmen

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Digital Library Thüringen, 2017

  18. Meißner, Gabor [VerfasserIn] ; Fothe, Michael [MitwirkendeR]; Mundhenk, Martin [MitwirkendeR]; Pohl, Wolfgang [MitwirkendeR]

    Leistungsanforderungen an Teilnehmerinnen und Teilnehmer von Informatikwettbewerben: eine Untersuchung auf Grundlage des Kompetenz-Paradigmas

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Digital Library Thüringen, 2013-07-05

  19. Arvind, Vikraman [Sonstige Person, Familie und Körperschaft]; Köbler, Johannes [Sonstige Person, Familie und Körperschaft]; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]

    Bounded truth-table and conjunctive reductions to sparse and tally sets

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

    Erschienen in: Ulmer Informatik-Berichte ; 92,01

  20. Arvind, Vikraman [Sonstige Person, Familie und Körperschaft]; Köbler, Johannes [Sonstige Person, Familie und Körperschaft]; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]

    On bounded truth-table, conjunctive, and randomized reductions to sparse sets

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1993