Výsledky vyhľadávania
Názov Causality, probability, and time Aut.údaje Samantha Kleinberg Autor Kleinberg Samantha
Vyd.údaje Cambridge : Cambridge University Press , 2018. - 259 s. : il., 24 cm Vydanie 1st paperback ed. ISBN 978-1-107-68601-4 Poznámka Bibliografia s. 241-250. Register Kľúč.slová výpočtová zložitosť - computational complexity kauzalita - causality pravdepodobnosť - probability Form.deskr. monografie - monographies Jazyk dok. angličtina Krajina Veľká Británia Systematika 122 124 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 372731 Univerzita Mateja Bela FF Katedra filozofie len prezenčne Názov Introduction to the theory of computation Aut.údaje Michael Sipser Autor Sipser Michael
Vyd.údaje Boston, MA : Cengage Learning , 2013. - xxii, 458 s. : il., tab., 26 cm Vydanie 3rd ed. ISBN 978-0-357-67058-3 Poznámka Bibliografia. Register Kľúč.slová teória strojov - machine theory výpočtová zložitosť - computational complexity algoritmy - algorithms Form.deskr. monografie - monographies Jazyk dok. angličtina Krajina Spojené štáty Systematika 531.8 004 510.5 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 1 Signatúra Lokácia Dislokácia Umiestnenie Info 384806 Univerzita Mateja Bela UK Referát absenčných výpožičiek Názov Thinking About Gödel and Turing Podnázov essays on complexity, 1970-2007 Aut.údaje Gregory J Chaitin; with a foreword by Paul Davies Autor Chaitin Gregory John
Spoluautori Davies Paul
Vyd.údaje Hackensack : World Scientific Publishing , c2007. - xix, 347 s., 26 cm Vydanie [1st ed.] ISBN 978-981-270-896 Poznámka Bibliogr. odkazy Ďalšie variantné názvy Gödel and Turing Kľúč.slová matematika - mathematics Gödelove vety Gödel’s theorems metamathematics výpočtová zložitosť - computational complexity Jazyk dok. angličtina Krajina Spojené štáty Systematika 511.3 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 300665 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Meta Math! Podnázov the quest for omega Aut.údaje Gregory Chaitin Autor Chaitin Gregory John
Vyd.údaje New York : Vintage Books , c2005. - 220 s., 21 cm Vydanie [1st ed.] ISBN 1-4000-7797-4, 978-1-4000-7797-4 Poznámka Bibliografické odkazy. Register. Kľúč.slová teória automatov - automata theory výpočtová zložitosť - computational complexity stochastické procesy - stochastic processes Jazyk dok. angličtina Krajina Spojené štáty Systematika 519.713 510.52 519.21 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 287415 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov A New kind of science Aut.údaje Stephen Wolfram Autor Wolfram Stephen
Vyd.údaje Champaign : Wolfram Media , 2001. - xiv, 1197 s. : obr., 25 cm ISBN 1-57955-008-8 Poznámka Bibliografické odkazy. Register. Kľúč.slová teória automatov - automata theory výpočtová zložitosť - computational complexity Jazyk dok. angličtina Krajina Spojené štáty Systematika 519.713 510.52 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 287411 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Ideový plán na nájdenie NP-úplného problému typu STRING-SAT v teórii konečných grupoidov Aut.údaje Bohuslav Sivák Autor Sivák Bohuslav 1951- (100%) UMBFP05 - Katedra informatiky
Zdroj.dok. 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 Kľúč.slová grupoidy výpočtová zložitosť - computational complexity NP-úplnosť Jazyk dok. slovenčina Krajina Slovenská republika Systematika 51 Kategória publikačnej činnosti AFD Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Parametrized Complexity Autor Downey R. G.
Spoluautori Fellows M. R.
Vyd.údaje New York : Springer Verlag , 1997. - 533 s. Vydanie 1st ed. ISBN 0-387-94883-X Kľúč.slová výpočtová zložitosť - computational complexity analytická teória čísel Jazyk dok. angličtina Krajina Spojené štáty Systematika 511.3=111 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 243894 Univerzita Mateja Bela FP Katedra matematiky len prezenčne