nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algorithm Engineering
|
Sanders, Peter |
|
2010 |
33 |
5 |
p. 475-478 |
artikel |
2 |
Algorithmische Grundlagen verteilter Speichersysteme
|
Meyer auf der Heide, Friedhelm |
|
2010 |
33 |
5 |
p. 468-474 |
artikel |
3 |
Berechnung von Nash-Gleichgewichten
|
Hoefer, Martin |
|
2010 |
33 |
5 |
p. 462-467 |
artikel |
4 |
Carl Adam Petri 1926–2010 – Visionär und bedeutender Wissenschaftler
|
|
|
2010 |
33 |
5 |
p. 514-538 |
artikel |
5 |
Das SAT-Problem
|
Schöning, Uwe |
|
2010 |
33 |
5 |
p. 479-483 |
artikel |
6 |
Deduktion: von der Theorie zur Anwendung
|
Baader, Franz |
|
2010 |
33 |
5 |
p. 444-451 |
artikel |
7 |
GI-Veranstaltungskalender
|
|
|
2010 |
33 |
5 |
p. 544 |
artikel |
8 |
Ingo Wegener: seine Bücher
|
Dietzfelbinger, Martin |
|
2010 |
33 |
5 |
p. 489-498 |
artikel |
9 |
Lebensabschnittstheorien
|
Dueck, Gunter |
|
2010 |
33 |
5 |
p. 509-513 |
artikel |
10 |
Logik und Automaten: ein echtes Dreamteam
|
Björklund, Henrik |
|
2010 |
33 |
5 |
p. 452-461 |
artikel |
11 |
Mitteilungen der Gesellschaft für Informatik 205. Folge
|
|
|
2010 |
33 |
5 |
p. 432 |
artikel |
12 |
Mitteilungen der Gesellschaft für Informatik 205. Folge (Fortsetzung)
|
|
|
2010 |
33 |
5 |
p. 539-543 |
artikel |
13 |
Mitteilungen der Schweizer Informatik Gesellschaft / 5_2010
|
|
|
2010 |
33 |
5 |
p. 545-547 |
artikel |
14 |
Onlinealgorithmen
|
Albers, Susanne |
|
2010 |
33 |
5 |
p. 438-443 |
artikel |
15 |
Praktische Programmverifikation durch statische Analyse
|
Seidl, Helmut |
|
2010 |
33 |
5 |
p. 484-488 |
artikel |
16 |
Theoretische Informatik
|
Thomas, Wolfgang |
|
2010 |
33 |
5 |
p. 429-431 |
artikel |
17 |
Theoretische Informatik – ein Kurzprofil
|
Thomas, Wolfgang |
|
2010 |
33 |
5 |
p. 433-437 |
artikel |
18 |
Usability testing: affective interfaces
|
Buscher, Georg |
|
2010 |
33 |
5 |
p. 499-503 |
artikel |
19 |
,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung
|
Thomas, Wolfgang |
|
2010 |
33 |
5 |
p. 504-508 |
artikel |