Skip to contents

Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [5., überarb. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg + Teubner, 2011

Published in: Leitfäden der Informatik
Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [4., überarb. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg + Teubner, 2009

Published in: Leitfäden der Informatik- Studium
Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [3., überarb. und erw. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Teubner, 2006

Published in: Leitfäden der Informatik- Lehrbuch ; Informatik
Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung - [2., durchges. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart; Leipzig; Wiesbaden: Teubner, 2002

Published in: Leitfäden der Informatik
Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart; Leipzig: Teubner, 2000

Published in: Leitfäden der Informatik
Arvind, Vikraman [Author]; Köbler, Johannes [Author]; Mundhenk, Martin [Author]

Reliable reductions, high sets and low sets

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1992

Published in: Ulmer Informatik-Berichte ; 92,12
Meinel, Christoph [Author] ; Mundhenk, Martin [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg+Teubner, 2011

Published in: SpringerLink ; Bücher
Meinel, Christoph [Author] ; Mundhenk, Martin [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg+Teubner, 2009

Published in: SpringerLink ; Bücher- XLeitfäden der Informatik
Schneider, Thomas [Author] ; Mundhenk, Martin [Degree supervisor] Friedrich-Schiller-Universität Jena

Komplexität modaler Logiken

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:gbv:27-20070601-093008-1

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Jena, 02. September 2002
Schneider, Thomas [Author] ; Mundhenk, Martin [Contributor]

Komplexität modaler Logiken

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:27-20070601-093008-1

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Digital Library Thüringen, 2002-09-02
Weiß, Felix [Author] ; Mundhenk, Martin [Degree supervisor]; Vollmer, Heribert [Degree supervisor]

Die Komplexität der Formelauswertung in intuitionistischen Logiken

View online
Schließen

Access

https://d-nb.info/1032558288/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Jena: Thüringer Universitäts- und Landesbibliothek Jena, 2013
Weiß, Felix [Author] ; Mundhenk, Martin [Contributor]; Vollmer, Heribert [Contributor]

Die Komplexität der Formelauswertung in intuitionistischen Logiken

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:27-20130318-103606-4

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Digital Library Thüringen, 2013-03-18
Mundhenk, Martin [Author]; Weiß, Felix [Author] ; Martin Mundhenk and Felix Weiß [Contributor]

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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen - eine Einführung - [7. Auflage]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, [2024]
Meinel, Christoph [Author]; Mundhenk, Martin [Author]

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen : eine Einführung - [6. Auflage]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, [2015]

Published in: SpringerLink ; Bücher
Hercher, Christian [Author] ; Mundhenk, Martin [Other]; Friedrich, Tobias [Other]; Niedermeier, Rolf [Other]

Average-Case Analyse parametrisierter und probabilistischer Algorithmen

View online
Schließen

Access

https://d-nb.info/1177599384/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Jena: Friedrich-Schiller-Universität Jena, 2017
Meißner, Gabor [Author] ; Fothe, Michael [Degree supervisor]; Mundhenk, Martin [Degree supervisor]; Pohl, Wolfgang [Degree supervisor]

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

View online
Schließen

Access

https://d-nb.info/103687219X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Jena: Thüringer Universitäts- und Landesbibliothek Jena, 2013
Hercher, Christian [Author] ; Mundhenk, Martin [Contributor]; Friedrich, Tobias [Contributor]; Niedermeier, Rolf [Contributor]

Average-Case Analyse parametrisierter und probabilistischer Algorithmen

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:27-dbt-20170531-1236014

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Digital Library Thüringen, 2017
Meißner, Gabor [Author] ; Fothe, Michael [Contributor]; Mundhenk, Martin [Contributor]; Pohl, Wolfgang [Contributor]

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

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:27-20130705-082508-0

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Digital Library Thüringen, 2013-07-05
Arvind, Vikraman [Other]; Köbler, Johannes [Other]; Mundhenk, Martin [Other]

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

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Ulmer Informatik-Berichte ; 92,01

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication