Simulace řídicích systémů na číslicovém počítači /

Autor Nevřiva, Pavel, 1941-
Vydáno 1975

Elektronnyje vyčislitel'nyje mašiny /

Autor Kitov, A. I., Krinickij, Nikolaj Andrejevič, 1914-1993
Vydáno 1958

Elektronnyje cifrovyje mašiny /

Autor Smirnov, G. D.
Vydáno 1958

Automatyczne dowodzenie twierdzeń /

Autor Pawlak, Zdzisław, 1926-2006
Vydáno 1965

Programming and utilizing digital computers /

Autor Ledley, Robert Steven, 1926-2012, Wilson, James Bruce
Vydáno 1962