Buchveröffentlichungen

  • U. Schöning: Complexity and Structure. Lecture Notes in Computer Science 211. Springer-Verlag, 1985.
  • K. Ambos-Spies, S. Homer, U. Schöning (Hg.) Complexity Theory: Current Research. Cambridge University Press, 1993.
  • J. Köbler, U. Schöning, J. Toran: The Graph Isomorphism Problem: Its Structural Complexity. Birkhäuser Verlag, Boston, 1993.
  • U. Schöning: Perlen der Theoretischen Informatik. Bibl. Institut Wissenschaftsverlag, 1995.
  • U. Schöning: Algorithmen - kurz gefasst. Spektrum Akad. Verlag, 1997.
  • U. Schöning: Algorithmik. Spektrum Akad. Verlag, 2001.
  • U. Schöning, R. J. Pruim: Gems of Theoretical Computer Science. Springer-Verlag, 1998.
  • U. Schöning: Theoretische Informatik - kurz gefasst. Spektrum Akademischer Verlag, 3. Auflage , 1999.
  • U. Schöning: Logik für Informatiker. Spektrum Akademischer Verlag, 5. Auflage, 2000.
  • U. Schöning: Logic for Computer Scientists. Birkhäuser Verlag, Boston, 1989.
  • U. Schöning: Ideen der Informatik. Oldenbourg Verlag, 2002 + 2005 (2. Auflage).
  • U. Schöning, H. A. Kestler: Mathe-Toolbox - Mathematische Notationen, Grundbegriffe und Beweismethoden. Lehmanns Media, 2010 + 2011 (2. Auflage).
  • U. Schöning, J. Toran: Das Erfüllbarkeitsproblem SAT - Algorithmen und Analysen. Lehmanns Media, 2012.
  • U. Schöning: Kryptologie-Kompendium. Lehmanns Media, 2012.
  • U. Schöning, J. Toran: The Satisfiability Problem - Algorithms and Analyses. Lehmanns Media, 2013.