Úvod do logiky pre informatikov /
Úvod do logiky. /
Úvod do logiky. : Odborná a metodická pomôcka pre učiteľov 2. cyklu. /
Úvod do logiky pedagogického myslenia. /
Základy logiky : pre spoločenskovedné a humanitné odbory /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Filosofie logiky /
Úvod do logiky Lvovsko-varšavské školy /
Základy dialektickej a formálnej logiky /
Od jazyka k logice : filozofický úvod do moderní logiky /
Paradoxy klasické logiky : filosofie a logika hypotetických vět /
Stoická sémantika a logika z pohľadu intenzionálnej logiky /
Aplikácia logiky v právnom myslení. /
Formy jazyka : úvod do logiky a její filosofie /
Základy logiky a argumentace pro zájemce o umělou inteligenci, filozofii, práva a učitelství /
Matematika pre informatikov /
Fyzika pre informatikov. I., Vybrané kapitoly zo základov fyziky /
Informatika pre stredné školy : programovanie v Delphi a Lazaruse. Učebnica /
Informatika : [počítačová architektura, operační systémy, počítačové sítě, algoritmy, programovací jazyky, vývoj softwaru, grafika, umělá inteligence, abstraktní teorie vyčíslitelnosti] /
Informatika vo vzdelávaní /
DidInfo 2013 : 19. ročník národnej konferencie s medzinárodnou účasťou : [10.-12. apríla 2013] /
MemoMapka informatiky 1.
Bausteine Fachdeutsch für Wissenschaftler. Informatik /
„AIESA - Budovanie spoločnosti založenej na vedomostiach“ : zborník : 12. medzinárodná vedecká konferencia : : 19.-21. november 2008, Bratislava /
Globalizácia ako platforma prieniku prírodných a humanitných vied : nové formy komunikácie : zborník referátov z konferencie konanej v dňoch 10.-11. októbra 2008 v Bratislave /
Ďalšie vzdelávanie učiteľov základných škôl a stredných škôl v predmete informatika : línia: vlastný odborový kontext informatiky a informatickej výchovy. Počítačové systémy 3
Informatika /
Informatická výchova pre 3. ročník ZŠ : putovanie so zázračným perom. Pracovná učebnica /
Informatická výchova pre 2. ročník ZŠ : najväčší prípad inšpektora Softíka. Pracovná učebnica /
Architektúra softvérových systémov : architektúra internetových systémov a architektúra orientovaná na služby /
E-informatika /
Tvorivá informatika. 1. zošit z programovania /
Tvorivá informatika. 1. zošit s internetom /
Tvorivá informatika. 1. zošit o číslach a tabuľkách /
Tvorivá informatika. 1. zošit o obrázkoch /
Tvorivá informatika : informatika okolo nás /
SOFTSEM 2014: Theory and practice of computer science : 40th conference on current trends in theory and practice of computer science : Nový Smokovec, High Tatras, Slovakia, January 26-29, 2014 : proceedings. Volume II : Student research forum /
Jak je drahá nepoctivost : proč každému lžeme, hlavně sami sobě /
O matematické metodě /
Syntetické apriori /
Logika pre každého /
Logiko-epistemologičeskije issledovanija : sbornik izbrannych statej /
Základy logiky v temporalitě lidské existence : spor o psychologismus v myšlení Martina Heideggera /
O špatném nekonečnu /
Logická zkoumání. II/2, Základy fenomenologického objasnění poznání /
Moderná logika /
Sondy do dejín logiky a metodológie vied na Slovensku a v Čechách /
Ozvěny Fregovy filosofie /
Bemerkungen über die Grundlagen der Mathematik /
Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen /
Lehrbuch zur Einleitung in die Philosophie /
Logika pro všechny ochotné myslet /
Logika mýtu /
G. W. Leibniz: From logic to metaphysics : (on the path to individual substance) /
O analýze : studie k chápání logiky v Aristotelových Prvních analytikách /
Kognitívna veda v kontexte informatických vied /
Evolučné algoritmy /
Umelá inteligencia a kognitívna veda. II /
Artificial intelligence and cognitive science IV /
Umelá inteligencia a kognitívna veda. III /
Modely mysle /
Jazyk a kognícia /
Matematické základy informatiky /
Algebra a diskrétna matematika /
Umelá inteligencia a kognitívna veda. I /