| Type | Title | Author | Publisher | Year |
| Article | Zaklady logiky | Janak, V. | | 1972 |
| Article | Metodika programovani a efektivnost vypoctu 2. cast | Kopriva, J. | | 1984 |
| Article | Metodika programovani a efektivnost vypoctu 1. cast | Kopriva, J. | | 1984 |
| Article | Programmirovanie na jazyke paskal | Grogono, P. | | 1982 |
| Article | Iskysstvo testirovanija programm | Mauers, P. | | 1982 |
| Article | Strukturnoe programmirovanie | Dahl, U., Dijkstra, E., Hoare, K. | | 1975 |
| Article | Technicka geometrie v lekarstvi a strojni prothetice | Kaderavek, F., Havlicek, K. | | 1952 |
| Article | Uvod do dejin rysovani a zobrazovacich nauk | Kaderavek, F. | | 1954 |
| Article | Masiny turinga i rekursivnjue funkcii | | | 1972 |
| Article | Matematiceskij analiz | Milov, G.E. | | 1960 |
| Article | Konecnie avtomati: ekvivalentnost i povelenie | | | 1984 |
| Article | Matematika v alternativnoj teorii mnozectv | Vopenka, P. | | 1983 |
| Article | Vyuislivost vvegehue v meoruju rekursivnich funkcii | Katlend, N. | | 1983 |
| Article | Neklasicke logiky | Mleziva, M. | | 1970 |
| Article | Matematiceskie dosugi | Gardner, M. | | 1972 |
| Article | Lekcii o vjucislimich funkcijach | Uspenskij, V.A. | | 1960 |
| Article | Algorithms for On-Line Navigation | Kleinberg, J.M. | | 1992 |
| Article | Generalized phrase structure grammars, head grammars, and natural language | Pollard, C.J. | | 1984 |
| Article | An introduction to formal language theory | Moll, R.N., Arbib, M.A., Kfoury, A.J. | | 1987 |
| Article | Phrase structure composition and syntactic dependencies | Frank, R. | | 2002 |
| Article | Finite automata, their algebras, and grammars. Towards a theory of formal expressions | Siefkes, D. | | 1988 |
| Article | Fundamentals of algeraic specification 2 | Ehrig, H., Mahr, B. | | 1990 |
| Article | Semirings, automata, languages | Kuich, W., Salomaa, A. | | 1986 |
| Article | Fundamentals of algeraic specification 1 | Ehrig, H., Mahr, B. | | 1985 |
| Article | Parsing Thoery, volume II, LR(k) and LL(k) parsing | Sippu, S., Soisalon-Soininen, E. | | 1990 |
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
