Vorlesungen, Seminare und Praktika aus dem Bereich Theoretische Informatik (
Abkürzungen)
Lectures, seminars and labs from the area Theoretical Foundations (
Abbreviations)
-
- P != NP bewiesen (?)
von fw » 09.08.10 11:10
- 5 Antworten
- 1432 Zugriffe
- Letzter Beitrag von redmaniac
12.08.10 12:47
-
- Lernpartner gesucht: Funktionale, LoPro, Termersetzung
von partisan » 08.08.10 15:40
- 0 Antworten
- 1212 Zugriffe
- Letzter Beitrag von partisan
08.08.10 15:40
-
- [AAT] Myhill-Nerode-Äquiwalenz
von hand-of-fate » 01.08.10 17:54
- 3 Antworten
- 1149 Zugriffe
- Letzter Beitrag von Tommytb
02.08.10 15:53
-
- AREAS: LTL Model Checking NP-schwer oder CoNP-schwer?
von fw » 21.07.10 13:21
- 5 Antworten
- 1119 Zugriffe
- Letzter Beitrag von faiko
29.07.10 16:10
-
- Lernpartner AAT, ARS, Effi, FP, CB
von Alexander Urban » 07.06.10 11:48
- 0 Antworten
- 1122 Zugriffe
- Letzter Beitrag von Alexander Urban
07.06.10 11:48
-
- [Effiziente Algorithmen] Überblick über den Stoff, SS 08
von Coolcat » 21.07.08 15:58
- 6 Antworten
- 6583 Zugriffe
- Letzter Beitrag von panky
29.05.10 19:24
-
- Suche Lernpartner: AAT, AuW, RT, LoPro
von Miss*Sunflower » 19.03.10 11:45
- 1 Antworten
- 743 Zugriffe
- Letzter Beitrag von Miss*Sunflower
27.04.10 11:14
-
- [Effiziente] Aktuelle Prüfungsprotokolle Unger?
von JMB » 23.04.10 10:41
- 4 Antworten
- 2891 Zugriffe
- Letzter Beitrag von JMB
26.04.10 21:55
-
- [Effiziente] Übungen
von Timerly » 22.04.10 13:19
- 4 Antworten
- 861 Zugriffe
- Letzter Beitrag von copcon
25.04.10 20:04
-
- [Effiziente] Vorlesungsmaterial und Frage zu Unger-Folien
von yodayeti » 09.02.10 17:50
- 7 Antworten
- 1409 Zugriffe
- Letzter Beitrag von Coolcat
18.04.10 23:25
-
- [FP] Klausurergebnisse on
von Farmosch » 02.03.10 16:47
- 1 Antworten
- 608 Zugriffe
- Letzter Beitrag von sumpfmensch
24.03.10 17:24
-
- Lernparter mundl. Pruefung (Krypto, CompBau, Parall. Alg.)
von andnet » 22.03.10 17:16
- 3 Antworten
- 720 Zugriffe
- Letzter Beitrag von heipei
23.03.10 14:05
-
- [Effiziente]Ellipsoidproblem
von der_cesler » 14.03.10 21:01
- 8 Antworten
- 1273 Zugriffe
- Letzter Beitrag von seth
17.03.10 13:47
-
- [Compilerbau, AAT, FP] suche Lernpartner/gruppe
von achim » 12.03.10 16:02
- 0 Antworten
- 1501 Zugriffe
- Letzter Beitrag von achim
12.03.10 16:02
-
- [FP] Übungspartner / Gruppe für 2. Versuch
von sumpfmensch » 10.03.10 13:15
- 1 Antworten
- 451 Zugriffe
- Letzter Beitrag von Farmosch
10.03.10 18:33
-
- [Graphentheorie] Einbettung
von Fighter_MV » 09.03.10 11:43
- 1 Antworten
- 528 Zugriffe
- Letzter Beitrag von Fighter_MV
09.03.10 12:27
-
- [FP] Übung 11 Aufgabe 1 b)
von $veno » 23.02.10 16:56
- 10 Antworten
- 1239 Zugriffe
- Letzter Beitrag von Neronus
01.03.10 14:29
-
- Suche Lernpartner für Effiziente
von yodayeti » 23.02.10 18:50
- 0 Antworten
- 1440 Zugriffe
- Letzter Beitrag von yodayeti
23.02.10 18:50
-
- [FP] Lösungen der letzten Jahre
von NeX » 22.02.10 17:01
- 8 Antworten
- 1030 Zugriffe
- Letzter Beitrag von palle
23.02.10 16:14
-
- [Compilerbau] Klausur
von thana » 03.02.10 20:24
- 5 Antworten
- 1165 Zugriffe
- Letzter Beitrag von cracki
18.02.10 04:14
Zurück zu Foren-Übersicht