Formal foundations of correct programming. /
Formal development of programs and proofs. /
Metaprogramovanie : základy metaprogramovania v jazyku Python /
ISBD(CF): Medzinárodný štandardný bibliografický popis počítačových súborov. /
Pravila sostavlenija bibliografičeskogo opisanija. Čast` 5., Izoizdanija. /
Proof and disproof in formal logic : an introduction for programmers /
Introduction to programming concepts and methods with ADA. /
Koncepcija obespečenija bezopasnosti. /
Descriptional complexity of formal systems : 9th international workshop, DCFS 2007, July 20-22, 2007, High Tatras, Slovakia] /
Sostavlenije bibliografičeskich zapisej reproducirovannych izdanij. : Metodičeskije rekomendacii. /
Magyar országnak leírása. 1. kötet /
Magyar országnak leírása. 2. kötet /
Magyar országnak leírása /
Koncepcia územného rozvoja Slovenska 2.
Koncepcia lesníckej politiky SR do roku 2005.
Programujeme hry v HTML5 /
Koncepčné východiská makroekonomickej politiky SR. : (2. etapa). /
Milénium. : Koncepcia rozvoja výchovy a vzdelávania v Slovenskej republike na najbližších 15-20 rokov.
Koncepčné východiská makroekonomickej politiky SR. (1. etapa). /
Koncepčné východiská makroekonomickej politiky SR. : (Záverečná etapa). /
Formal description of programming concepts. /