Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /

Mathematical Foundations of Computer Science 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10,1976 /

Mathematical Foundations of Thermosynamics.

Mathematical models in computer systems : proceedings of the third Hungarian Computer Science Conference : Budapest, January 1981 /

New foundations in mathematics : the geometric concept of number /

The Mathematical foundation of structural mechanics. /

Computational mathematics /

Mathematics and computation in imaging science and information processing /

Logic, foundations of mathematics and computability theory. Part 1. of the proceed. of the 5. international congress.

Computer methods for mathematical computations /

Foundation for human-computer communication : proceedings of the IFIP WG 2.6 Working Conference on the Future of Command Languages: Foundations For Human-Computer Communication, Rome, Italy, 23-27 September, 1985 /

Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications : Tihany, 11-15. Sept. 1962 /

Problems of computational mathematics and mathematical modelling /

Mathematics for computer graphics /

Mechanical foundations of engineering science /

Science, Computers and People : From the Tree of Mathematics /

Computational mathematics : worked examples and problems with elements of theory /

Computational mathematics : worked examples and problems with elements of theory /

Computational mathematics : worked examples and problems with elements of theory /

Computer Science

Mathematical foundations of computer science 1981 : 10th symposium, Štrbské pleso, Czechoslovakia, August 31 - September 4, 1981 : proceedings /

Popisná zložitosť algoritmov, automatov a jazykov /

Programování a praktická cvičení z programování. 1. díl /

Výpočet tenkostenných prútov /

Algoritmy : experimentálny učebný text pre 3. ročník gymnázia /

Algoritmy pre 3. ročník gymnázia : experimentálny učebný text pre voliteľnú skupinu odborných predmetov zameranú na programovanie /

Typy dát, programy a algoritmické problémy : popisná a výpočtová zložitosť /

Algoritmy : experimentálny učebný text pre 3. roč. gymnázia /

Mathematical foundations of computer science 1981 : 10th symposium, Štrbské pleso, Czechoslovakia, August 31 - September 4, 1981 : proceedings /

Automaty a gramatiky /

Teorie automatů a formálních jazyků /

Teorie automatů a formálních jazyků /

Sbírka řešených příkladů z teorie automatů a formálních jazyků /