Terminálový systém TC 85. Sledování a vyhodnocování provozu
STRNAD, Petr. <em>Terminálový systém TC 85. Sledování a vyhodnocování provozu</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-380.
STRNAD, Petr. <em>Terminálový systém TC 85. Sledování a vyhodnocování provozu</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-380.
CAHLÍK, Tomáš, HAMATA, Václav, KROFTOVÁ, Jarmila, MÍČEK, Jiří. <em>Základní rozvaha o ASŘ ústavů ČSAV</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-337.
JIŘINA, Marcel. <em>Citlivost u metody dvourozměrné difúzní aproximace</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-393.
DRÓZD, Januš. <em>Analyza rekurzivnim sestupem na tride LR(k) jazyku. : Minimalni prace MFF UK</em>. Praha, 1988. Dizertační práce. MFF UK.
HÁJEK, Petr. <em>Matematika aritmetiky prvního řádu</em>. Praha, 1988. Dizertační práce. ČSAV. Dostupné z: http://aleph.lib.cas.cz/F/?func=direct&doc_number=001121243&local_base=AV
BUZEK, Otakar. <em>Návrh desky sériového propojení DSI</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-297.
PELIKÁN, Emil. <em>BACK-PACK - soubor programů pro modelováni neuronových sítí typu perceptron</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-350.
STRNAD, Petr. <em>Terminalový systém TC 85. Diskový prostor s dynamickou rekonfigurací</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-369.
ŘÍZEK, Stanislav. <em>Programy pro ovládání výpočetně měřícího komplexu</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-385.
VENCELIDES, Josef, ŠKŇOUŘIL, V. <em>Využívání dat podsysté "Pracovníci a mzdy" v ČSAV</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-378.
PAČES, Pavel, BENEŠ, Ladislav. <em>Terminálový systém TC 85. Komunikační procesor MKP - struktura technického a programového vybaveni</em>. Prague: SVT ČSAV, 1987. Výzkumná zpráva, V-305.
LUKŠAN, Ladislav. <em>Struktura optimalizačních metod a koncepce optimalizačních programů</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-275.