Začlenění mikropočítačů SMEP do sítě terminálů a výpočetně měřících komplexů ČSAV
SOBEK, Pavel. <em>Začlenění mikropočítačů SMEP do sítě terminálů a výpočetně měřících komplexů ČSAV</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-166.
Přehled metod na řešení obyčejných a parciálních diferenciálních rovnic
NEDOMA, Jiří, ŠIŠKA, Jaromír. <em>Přehled metod na řešení obyčejných a parciálních diferenciálních rovnic</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-154.
Evolution of Order and Chaos in Physics, Chemistry, and Biology. : Recenze
ANDREJ, Ladislav. Evolution of Order and Chaos in Physics, Chemistry, and Biology. : Recenze. <em>Československý časopis pro fyziku. </em> 1984, A34(-), 418.
Provozní a programová dokumentace pro snímání dokladů KPP - zavedení numerických údajů do báze dat
NEKOLOVÁ, Libuše. <em>Provozní a programová dokumentace pro snímání dokladů KPP - zavedení numerických údajů do báze dat. </em>.
New Enhancements in GUHA Software
HÁJEK, Petr, HÁJKOVÁ, M. <em>New Enhancements in GUHA Software</em>. Praha: Matematický ústav ČSAV, 1984. Preprint, 8.
Pravděpodobnostní algoritmy verifikace existenciálních predikátových formulí prvého řádu
KRAMOSIL, Ivan. <em>Pravděpodobnostní algoritmy verifikace existenciálních predikátových formulí prvého řádu</em>. Praha: ÚTIA ČSAV, 1984. Výzkumná zpráva, 1290.
Koncepce, postupná realizace a předpokládaný rozvoj terminálové sítě ČSAV v Praze
KŘÍŽKOVÁ, Zdeňka. <em>Koncepce, postupná realizace a předpokládaný rozvoj terminálové sítě ČSAV v Praze</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-159.
Systém pro analýzu cytologických preparátů
LAVIČKA, Zdeněk. <em>Systém pro analýzu cytologických preparátů</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-157.
Možnosti využití terminálových sítí v automatizovaných systémech řízení
SCHULZ, J. <em>Možnosti využití terminálových sítí v automatizovaných systémech řízení</em>. Praha: SVT ČSAV, 1984. Výzkumná zpráva, V-162.