Direkt zum Inhalt
Direkt zur Suche
Direkt zur Navigation
Mathematisch-Naturwissenschaftliche Fakultät II
Institut für Informatik
Lehr- und Forschungsgebiete
Mathematisch-Naturwissenschaftliche Fakultät II
Institut für Informatik
Lehr- und Forschungsgebiete
Navigation
Algorithmen und Komplexität
Computer Vision
Datenbanken u. Informationssysteme
Informatik in Bildung u. Gesellschaft
Kognitive Robotik
Komplexität und Kryptografie
Lehre
Forschung
Forschungsprojekte
Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)
Aussagenlogische Beweiskomplexität und disjunkte NP-Paare
Die Komplexität des Graphisomorphieproblems
Oberseminar Theoretische Informatik
Mitarbeiter
Publikationen
Logik in der Informatik
Parallele und verteilte Systeme
Rechnerorganisation und Kommunikation
Signalverarbeitung u. Mustererkennung
Signal- und Informationsanalyse in den Neurowissenschaften
Softwaretechnik
Spezifikation, Verifikation u. Testtheorie
Systemanalyse
Systemarchitektur
Theorie der Programmierung
Visual Computing
Wissensmanagement in der Bioinformatik
Sprachauswahl
Deutsch
English
search-menu
Kontakt/Impressum
Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät II - Lehr- und Forschungsgebiete
Info
Humboldt-Universität zu Berlin
|
Mathematisch-Naturwissenschaftliche Fakultät II
|
Institut für Informatik
|
Lehr- und Forschungsgebiete
|
Komplexität und Kryptografie
|
Forschung
|
Forschungsprojekte
Forschungsprojekte
Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)
Frühere Forschungsprojekte
