KB 6750
Erk, Katrin
Theoretische Informatik : eine umfassende Einführung / Katrin Erk, Lutz Priese. -- 3., erw. Aufl. -- Berlin ; Heidelberg : Springer, 2008. -- xv, 485 s. : il. ; 24 cm. -- (eXamen.press). -- ISBN : 978-3-540-76319-2 (brož.).
Priese, Lutz, 1947-
informatika. formální jazyky. výroková logika. teorie složitosti. počítačová věda. kombinatorika. informatics. formal languages. propositional calculus. complexity theory. učebnice. textbooks
004. 519.1. 007+004. 519.766. 510.633. 510.52. (075)