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 |