Search results
Title Algorithmic aspects of regular graph covers with applications to planar graphs Author info Jiří Fiala, Pavel Klavík, Jan Kratochvíl, Roman Nedela Author Fiala Jiří (10%)
Co-authors Klavík Pavel (20%)
Kratochvíl Jan (10%)
Nedela Roman 1960- (60%) UMBFP10 - Katedra matematiky
Source document Automata, languages, and programming : 41st International Colloquium, ICALP 2014 : proceedings, Part 1. S.. - Berlin : Springer-Verlag, 2014 ; International colloquium, ICALP 2014 medzinárodné kolokvium Keywords algorithms teória automatov - automata theory grafické metódy - graphic methods teória množín - set theory Language English Country Germany systematics 51 Public work category AFC No. of Archival Copy 32104 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Algorithmic aspects of regular graph covers with applications to planar graphs Author info Jiří Fiala, Pavel Klavík, Jan Kratochvíl, Roman Nedela Author Fiala Jiří (25%)
Co-authors Klavík Pavel (25%)
Kratochvíl Jan (25%)
Nedela Roman 1960- (25%) UMBFP10 - Katedra matematiky
Issue data Praha : Matfyzpress , 2014. - 92 s. Issue 1. vyd ISBN 978-80-7378-262-7 Keywords algorithms regular graphs teória automatov - automata theory teória množín - set theory grafické metódy - graphic methods Language English Country Czech Republic systematics 51 Public work category BAA No. of Archival Copy 32690 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title A course in formal languages, automata and groups Author info Ian Chiswell Author Chiswell Ian
Issue data London : Springer , 2009. - ix; 157 s. : ilustr., 23 cm Issue [1st ed.] Edition Universitext ISBN 978-1-84800-939-4 Note Bibliografia s. 151-152. Register Keywords formálne jazyky - formal languages teória automatov - automata theory teória grúp - group theory Language English Country Great Britian systematics 511.3 51 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 1 Call number Location Sublocation Umiestnenie Info 340385 Univerzita Mateja Bela Department of absent lending Title Introduction to automata theory, languages, and computation Author info John E. Hopcroft ... [et al.] Author Hopcroft John E.
Co-authors Motwani Rajeev
Ullman Jeffrey D.
Issue data Boston : Pearson , 2006. - 535 s. : il., 24 cm Issue 3rd ed. ISBN 0-321-45536-3 Note Bibliografické odkazy. Register Keywords počítačová veda - veda o počítačoch - computer science teória automatov - automata theory Language English Country United States of America systematics 004 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 334941 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Meta Math! Subtitle the quest for omega Author info Gregory Chaitin Author Chaitin Gregory John
Issue data New York : Vintage Books , c2005. - 220 s., 21 cm Issue [1st ed.] ISBN 1-4000-7797-4, 978-1-4000-7797-4 Note Bibliografické odkazy. Register. Keywords teória automatov - automata theory výpočtová zložitosť - computational complexity stochastické procesy - stochastic processes Language English Country United States of America systematics 519.713 510.52 519.21 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 287415 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Algebraic theory of automata and languages Author info Masami Ito Author Ito Masami
Issue data River Edge, NJ : World Scientific Publishing , c2004. - x, 199 s., 23 cm Issue [1st ed.] ISBN 9789810247270, 981-02-4727-3 Note Bibliografia s. 189-195. Register Keywords formálne jazyky - formal languages teória automatov - automata theory teória strojov - machine theory Language English Country United States of America systematics 519.766 519.713 531.8 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 292422 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title A New kind of science Author info Stephen Wolfram Author Wolfram Stephen
Issue data Champaign : Wolfram Media , 2001. - xiv, 1197 s. : obr., 25 cm ISBN 1-57955-008-8 Note Bibliografické odkazy. Register. Keywords teória automatov - automata theory výpočtová zložitosť - computational complexity Language English Country United States of America systematics 519.713 510.52 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 287411 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Automata theory Author info Matthew Simon Author Simon Matthew
Issue data Singapore : World Scientific Publishing , 1999. - xii, 428 s. : il., tab., 26 cm Issue 1st ed. ISBN 981-02-3753-7 Note Reprinted 2001. - Bibliografia. Register Keywords teória automatov - automata theory teória strojov - machine theory technická mechanika - technical mechanics Form. Descr. monografie - monographies Language English Country Singapore systematics 519.713 531.8 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 383250 Univerzita Mateja Bela Department of computer science In-Library Use Only Title Automaty a gramatiky Author info Michal Chytil Author Chytil Michal 1949-
Issue data Praha : SNTL , 1984. - 336 s. : il. Issue 1.vyd. Edition Matematický seminář SNTL , 19 Keywords teória automatov - automata theory formálne jazyky - formal languages programovacie jazyky - programming languages Language Czech Country Czechoslovakia systematics 681.3 519.682 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 2, currently available 0, at library only 2 Call number Location Sublocation Umiestnenie Info 161765 Univerzita Mateja Bela Department of mathematics In-Library Use Only 161764 Univerzita Mateja Bela Department of mathematics In-Library Use Only