Search results
Title Causality, probability, and time Author info Samantha Kleinberg Author Kleinberg Samantha
Issue data Cambridge : Cambridge University Press , 2018. - 259 s. : il., 24 cm Issue 1st paperback ed. ISBN 978-1-107-68601-4 Note Bibliografia s. 241-250. Register Keywords výpočtová zložitosť - computational complexity kauzalita - causality pravdepodobnosť - probability Form. Descr. monografie - monographies Language English Country Great Britian systematics 122 124 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 372731 Univerzita Mateja Bela Department of philosophy In-Library Use Only Title Introduction to the theory of computation Author info Michael Sipser Author Sipser Michael
Issue data Boston, MA : Cengage Learning , 2013. - xxii, 458 s. : il., tab., 26 cm Issue 3rd ed. ISBN 978-0-357-67058-3 Note Bibliografia. Register Keywords teória strojov - machine theory výpočtová zložitosť - computational complexity algoritmy - algorithms Form. Descr. monografie - monographies Language English Country United States of America systematics 531.8 004 510.5 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 384806 Univerzita Mateja Bela Department of absent lending Title Thinking About Gödel and Turing Subtitle essays on complexity, 1970-2007 Author info Gregory J Chaitin; with a foreword by Paul Davies Author Chaitin Gregory John
Co-authors Davies Paul
Issue data Hackensack : World Scientific Publishing , c2007. - xix, 347 s., 26 cm Issue [1st ed.] ISBN 978-981-270-896 Note Bibliogr. odkazy Additional Variant Titles Gödel and Turing Keywords matematika - mathematics Gödelove vety Gödel’s theorems metamathematics výpočtová zložitosť - computational complexity Language English Country United States of America systematics 511.3 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 300665 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 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 Ideový plán na nájdenie NP-úplného problému typu STRING-SAT v teórii konečných grupoidov Author info Bohuslav Sivák Author Sivák Bohuslav 1951- (100%) UMBFP05 - Katedra informatiky
Source document DidInfo 2000 : zborník z konferencie, Banská Bystrica 2.-3. marca 2000. S. 69-71. - Banská Bystrica : Univerzita Mateja Bela, 2000 / Huraj Ladislav ; Dekrét Anton 1932- ; Klimeš Jan 1934- ; DidInfo 2000 konferencia Keywords grupoidy výpočtová zložitosť - computational complexity NP-úplnosť Language Slovak Country Slovak Republic systematics 51 Public work category AFD Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Parametrized Complexity Author Downey R. G.
Co-authors Fellows M. R.
Issue data New York : Springer Verlag , 1997. - 533 s. Issue 1st ed. ISBN 0-387-94883-X Keywords výpočtová zložitosť - computational complexity analytická teória čísel Language English Country United States of America systematics 511.3=111 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 243894 Univerzita Mateja Bela Department of mathematics In-Library Use Only