Zum Inhalt

Erweiterte Suche

Ergebnisvorschau für Ihre aktuellen Suchbegriffe: 0

Suchoperatoren:

Sie können Operatoren mit Ihrer Suchanfrage kombinieren, um diese noch präziser einzugrenzen. Klicken Sie auf den Suchoperator, um eine Erklärung seiner Funktionsweise anzuzeigen.
Findet Dokumente mit genau dieser Wortgruppe in exakt dieser Schreibweise und Reihenfolge (z.B. "employer branding").
Findet Dokumente, in denen beide Begriffe zusammen vorkommen (z.B. vertrieb UND bonus).
Findet Dokumente, in denen einer der beiden oder beide Begriffe vorkommen (z.B. porsche OR volkswagen).
Findet Dokumente, in denen alle Begriffe vorkommen. Das Leerzeichen wird als UND interpretiert (z.B. mensch roboter alltag).
Findet Dokumente, in denen der Begriff nach NOT nicht vorkommt (z.B. ford NOT "harrison ford").
Findet Dokumente, in denen der gesuchte Begriff mehr als n mal vorkommt. n steht für eine beliebige Anzahl (z.B. COUNT(getriebe)>8).
Findet Dokumente, in denen beide Begriffe in beliebiger Reihenfolge innerhalb von maximal n Worten zueinander stehen. Empfehlung: Wählen Sie zwischen 15 und 30 als maximale Wortanzahl (z.B. NEAR(hybrid, antrieb, 20)).
Findet Dokumente, in denen der Begriff in Wortvarianten vorkommt, wobei diese VOR, HINTER oder VOR und HINTER dem Suchbegriff anschließen können (z.B., leichtbau*, *leichtbau, *leichtbau*).
Findet Dokumente mit dem Suchbegriff in verschiedenen Schreibweisen. Das ? steht für eine einzige Stelle (z.B. organi?ation).
Sonderzeichen werden als UND interpretiert (z.B. Mann + Hummel).

Semantische Suche

powered by (Link öffnet in neuem Fenster)
loading …
Anmelden
Nach oben

Informatik Spektrum

Ausgabe 5/2010 Sonderheft: Theoretische Informatik

Inhalt (19 Artikel)

Theoretische Informatik

  • EDITORIAL

Wolfgang Thomas

Mitteilungen der Gesellschaft für Informatik 205. Folge

  • MITTEILUNGEN

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

Praktische Programmverifikation durch statische Analyse

  • HAUPTBEITRAG

Helmut Seidl

Ingo Wegener: seine Bücher

  • HAUPTBEITRAG

Martin Dietzfelbinger

Usability testing: affective interfaces

  • AKTUELLES SCHLAGWORT

Georg Buscher, Ralf Biedert

,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung

  • HISTORISCHE NOTIZEN

Wolfgang Thomas

Lebensabschnittstheorien

  • DUECK-beta-INSIDE

Gunter Dueck

Carl Adam Petri 1926–2010 – Visionär und bedeutender Wissenschaftler

  • FORUM

Mitteilungen der Gesellschaft für Informatik 205. Folge (Fortsetzung)

  • MITTEILUNGEN

GI-Veranstaltungskalender

  • MITTEILUNGEN

Mitteilungen der Schweizer Informatik Gesellschaft / 5_2010

  • MITTEILUNGEN

Aug. 10
Ausgabe: 4/2010
Dez. 10
Ausgabe: 6/2010
Sonderheft: Visual Analytics

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    ADVERTORIAL

    KI ohne Großprojekt und Risiko starten

    ADVERTORIAL

    Ihre Webinar-Matineen von IT-Director und IT-Mittelstand

    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