Auflistung Band 33 - Heft 5 (Oktober 2010) nach Erscheinungsdatum - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-19 von 19

«
»

Theoretische Informatik – ein Kurzprofil

Thomas, Wolfgang
433-437
GI-Veranstaltungskalender

Unbekannter Autor
544-544
Ingo Wegener: seine Bücher

Dietzfelbinger, Martin
489-498
,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung

Thomas, Wolfgang
504-508
Mitteilungen der Gesellschaft für Informatik 205. Folge

Unbekannter Autor
432-432
Theoretische Informatik

Thomas, Wolfgang
429-431
Lebensabschnittstheorien

Dueck, Gunter
509-513
Algorithm Engineering

Sanders, Peter
475-478
Onlinealgorithmen

Albers, Susanne
438-443
Usability testing: affective interfaces

Buscher, Georg; Biedert, Ralf
499-503
Mitteilungen der Schweizer Informatik Gesellschaft / 5_2010

Unbekannter Autor
545-547
Deduktion: von der Theorie zur Anwendung

Baader, Franz; Beckert, Bernhard; Nipkow, Tobias
444-451
Berechnung von Nash-Gleichgewichten

Hoefer, Martin; Vöcking, Berthold
462-467
Algorithmische Grundlagen verteilter Speichersysteme

Meyer auf der Heide, Friedhelm; Scheideler, Christian
468-474
Praktische Programmverifikation durch statische Analyse

Seidl, Helmut
484-488
Logik und Automaten: ein echtes Dreamteam

Björklund, Henrik; Martens, Wim; Schweikardt, Nicole; Schwentick, Thomas
452-461
Das SAT-Problem

Schöning, Uwe
479-483
Carl Adam Petri 1926–2010 – Visionär und bedeutender Wissenschaftler

Unbekannter Autor
514-538
Mitteilungen der Gesellschaft für Informatik 205. Folge (Fortsetzung)

Unbekannter Autor
539-543

Anzeige der Dokumente 1-19 von 19

«
»