MDRIVE. Program pro nepodmíněnou minimalizaci. Uživatelský popis
LUKŠAN, Ladislav, ŠIŠKA, M. <em>MDRIVE. Program pro nepodmíněnou minimalizaci. Uživatelský popis</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-265.
Distribuované databázové systémy
ŠIROKÝ, Petr. <em>Distribuované databázové systémy</em>. Praha, 1987. Dizertační práce. SVT ČSAV.
Pořizování a zpracování apriorních podpůrných dat pro DPZ
HRYCEJ, David, ŘÍZEK, Stanislav, ŠTULLER, Július. <em>Pořizování a zpracování apriorních podpůrných dat pro DPZ</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-268.
Štúdia modelov pre konceptuálne modelovanie
HOLEŇA, Martin, HÚSEK, Dušan, KOUBA, Zdeněk, POKORNÝ, Jaroslav, VÍTKOVÁ, Galina, ŠTULLER, Július. <em>Štúdia modelov pre konceptuálne modelovanie</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-295.
Teorie invariantu funkce a její použití
BITZAN, Pavel. <em>Teorie invariantu funkce a její použití</em>. Prague: SVT ČSAV, 1987. Technical Report, V-314.
Hluk elektrických strojů
HAMATA, Václav. <em>Hluk elektrických strojů</em>. Praha: Academia, 1987.
Přehled platů. Automatizované zpracování na zařízení CONSUL 2714
MÍČEK, Jiří. <em>Přehled platů. Automatizované zpracování na zařízení CONSUL 2714</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-269.
Metoda párování součástek rozdělených do tolerančních intervalů, pro optimalizaci počtu sestavených výrobků
ŠEBESTA, Václav. <em>Metoda párování součástek rozdělených do tolerančních intervalů, pro optimalizaci počtu sestavených výrobků</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-291.
LINEQAP - knihovna programů pro řešení soustav lineárních rovnic a inverzí matice s použitím maticového procesoru EC 2345
STRAKOŠ, Zdeněk, KOČKOVÁ, Sylva. <em>LINEQAP - knihovna programů pro řešení soustav lineárních rovnic a inverzí matice s použitím maticového procesoru EC 2345</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-280.