Number of the records: 1
Theoretische Informatik
Title statement Theoretische Informatik : eine umfassende Einführung / Katrin Erk, Lutz Priese Personal name Erk, Katrin (author) Edition statement 3., erw. Aufl. Issue data Berlin ; Heidelberg : Springer, 2008 Phys.des. xv, 485 s. : il. ; 24 cm ISBN 978-3-540-76319-2 (brož.) Edition eXamen.press Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Priese, Lutz, 1947- (author) Subj. Headings informatika * formální jazyky * výroková logika * teorie složitosti * počítačová věda * kombinatorika * informatics * formal languages * propositional calculus * complexity theory Form, Genre učebnice * textbooks Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 004 * 519.1 * 007+004 * 519.766 * 510.633 * 510.52 * (075) Country Německo Language němčina Document kind Books Call number Barcode Sublocation Volný výběr Info KB 6750 3300011017 IN - Škvor Mgr. A100 2008 In-Library Use Only
Number of the records: 1