Algorithmen, Verifikation, Theorie, Bioinformatik
Bioinformatik (Rost)
Effiziente Algorithmen (Mayr, Räcke)
Logik und Verifikation (Nipkow)
Theoretische Informatik, Grundlagen sicherer Systeme (Esparza, Rybalchenko, Runkler)
Algorithmische Spieltheorie (Brandt)

RSS abonnieren