Theorie der Informatik

In der Computertheorie geht es um die Untersuchung effizienter Berechnungen, Modelle von Berechnungsprozessen und deren Grenzen. Die Computertheorie besteht aus der Entwicklung der modernen Theorie der rechnerischen Komplexität, den Grundlagen effizienter Graphalgorithmen und der Verwendung angewandter Logik und formaler Verifizierung zum Aufbau zuverlässiger Systeme.

Verwandte Zeitschriften zur Computertheorie

Theorie der Computersysteme, Image and Vision Computing, IEEE Transactions on Mobile Computing, SIAM Journal of Scientific Computing, ACM Computing Surveys.