Zum Inhalt

Informatik Spektrum

Ausgabe 5/2010 Sonderheft: Theoretische Informatik

Inhalt (19 Artikel)

Theoretische Informatik

  • EDITORIAL

Wolfgang Thomas

Theoretische Informatik – ein Kurzprofil

  • HAUPTBEITRAG

Wolfgang Thomas

Onlinealgorithmen

  • HAUPTBEITRAG

Susanne Albers

Deduktion: von der Theorie zur Anwendung

  • HAUPTBEITRAG

Franz Baader, Bernhard Beckert, Tobias Nipkow

Logik und Automaten: ein echtes Dreamteam

  • HAUPTBEITRAG

Henrik Björklund, Wim Martens, Nicole Schweikardt, Thomas Schwentick

Berechnung von Nash-Gleichgewichten

  • HAUPTBEITRAG

Martin Hoefer, Berthold Vöcking

Algorithmische Grundlagen verteilter Speichersysteme

  • HAUPTBEITRAG

Friedhelm Meyer auf der Heide, Christian Scheideler

Algorithm Engineering

  • HAUPTBEITRAG

Peter Sanders

Das SAT-Problem

  • HAUPTBEITRAG

Uwe Schöning

Ingo Wegener: seine Bücher

  • HAUPTBEITRAG

Martin Dietzfelbinger

Usability testing: affective interfaces

  • AKTUELLES SCHLAGWORT

Georg Buscher, Ralf Biedert

Lebensabschnittstheorien

  • DUECK-beta-INSIDE

Gunter Dueck

    Bildnachweise
    AvePoint Deutschland GmbH/© AvePoint Deutschland GmbH, ams.solutions GmbH/© ams.solutions GmbH, Wildix/© Wildix, arvato Systems GmbH/© arvato Systems GmbH, Ninox Software GmbH/© Ninox Software GmbH, Nagarro GmbH/© Nagarro GmbH, GWS mbH/© GWS mbH, CELONIS Labs GmbH, USU GmbH/© USU GmbH, G Data CyberDefense/© G Data CyberDefense, Vendosoft/© Vendosoft, Deutsche Telekom MMS GmbH/© Vendosoft, Noriis Network AG/© Noriis Network AG, Asseco Solutions AG/© Asseco Solutions AG, AFB Gemeinnützige GmbH/© AFB Gemeinnützige GmbH, Ferrari electronic AG/© Ferrari electronic AG, Doxee AT GmbH/© Doxee AT GmbH , Haufe Group SE/© Haufe Group SE, NTT Data/© NTT Data, Videocast 1: Standbild/© Springer Fachmedien Wiesbaden, IT-Director und IT-Mittelstand: Ihre Webinar-Matineen /© da-kuk / Getty Images / iStock