Uwe Schöning

Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker. Er war zuletzt Professor für theoretische Informatik an der Universität Ulm und ist Autor von Fachpublikationen und Lehrbüchern.

Schöning studierte von 1975 bis 1980 Informatik (mit dem Vertiefungsgebiet theoretische Informatik) und Elektrotechnik (Nebenfach) an der Universität Stuttgart. 1981 folgte die Promotion. 1985 schloss er seine Habilitation in Stuttgart ab und erhielt einen Ruf auf eine Professur an der Universität Koblenz. 1989 bis zu seinem Ruhestand 2021 hatte Schöning eine C4-Professur an der Universität Ulm inne. Schöning wurde am 15. Januar 1999 der Landeslehrpreis Baden-Württemberg des Jahres 1998 verliehen. 1999 erfand er einen häufig zitierten, randomisierten SAT-Algorithmus. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 82 für Suche 'Schöning, Uwe, 1955-', Suchdauer: 0,13s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The satisfiability problem : algorithms and analyses /

    The satisfiability problem : algorithms and analyses / von Schöning, Uwe, 1955-, Torán, Jacobo, 1962-

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Algorithmik

    Algorithmik von Schöning, Uwe 1955-

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  3. 3
    Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden

    Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden von Schöning, Uwe 1955-, Kestler, Hans A. 1965-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Theoretische Informatik - kurz gefasst

    Theoretische Informatik - kurz gefasst von Schöning, Uwe 1955-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Beschreibung
    Buch


    Gespeichert in:
  5. 5
    Algorithmik

    Algorithmik von Schöning, Uwe 1955-

    Veröffentlicht 2011
    Beschreibung
    Buch


    Gespeichert in:
  6. 6
    Ideen der Informatik grundlegende Modelle und Konzepte der theoretischen Informatik

    Ideen der Informatik grundlegende Modelle und Konzepte der theoretischen Informatik von Schöning, Uwe 1955-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Logik für Informatiker

    Logik für Informatiker von Schöning, Uwe 1955-

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Logik für Informatiker

    Logik für Informatiker von Schöning, Uwe 1955-

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  9. 9
    Kryptologie-Kompendium

    Kryptologie-Kompendium von Schöning, Uwe 1955-

    Veröffentlicht 2013
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen

    Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen von Schöning, Uwe 1955-, Torán, Jacobo

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden

    Mathe-Toolbox mathematische Notationen, Grundbegriffe und Beweismethoden von Schöning, Uwe 1955-, Kestler, Hans A.

    Veröffentlicht 2010
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Theoretische Informatik - kurz gefasst

    Theoretische Informatik - kurz gefasst von Schöning, Uwe 1955-

    Veröffentlicht 2009
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Ideen der Informatik grundlegende Modelle und Konzepte der theoretischen Informatik

    Ideen der Informatik grundlegende Modelle und Konzepte der theoretischen Informatik von Schöning, Uwe 1955-

    Veröffentlicht 2009
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Theoretische Informatik - kurz gefasst

    Theoretische Informatik - kurz gefasst von Schöning, Uwe 1955-

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Theoretische Informatik - kurzgefasst

    Theoretische Informatik - kurzgefasst von Schöning, Uwe 1955-

    Veröffentlicht 2003
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Complexity of Presburger arithmetic with fixed quantifier dimension

    Complexity of Presburger arithmetic with fixed quantifier dimension von Schöning, Uwe 1955-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Theoretische Informatik kurz gefaßt

    Theoretische Informatik kurz gefaßt von Schöning, Uwe 1955-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    On random reductions from sparse sets to tally sets

    On random reductions from sparse sets to tally sets von Schöning, Uwe 1955-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    The power of counting

    The power of counting von Schöning, Uwe 1955-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Complexity cores and hard-to-prove formulas

    Complexity cores and hard-to-prove formulas von Schöning, Uwe 1955-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: