Jednoduchý komunikační procesor JKP-13. Programové vybavení I
BENEŠ, Ladislav. <em>Jednoduchý komunikační procesor JKP-13. Programové vybavení I</em>. Prague: SVT ČSAV, 1987. Výzkumná zpráva, V-267.
Úlohy teorie tolerancí výpočetních systémů
JIŘINA, Marcel. <em>Úlohy teorie tolerancí výpočetních systémů</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-292.
Statistické programové vybavení
HAVRÁNEK, Tomáš. <em>Statistické programové vybavení</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-274.
Příklad použití expertního systému EQUANT s bází znalostí pro shlukovou analýzu
HAVRÁNEK, Tomáš. <em>Příklad použití expertního systému EQUANT s bází znalostí pro shlukovou analýzu</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-289.
Terminálový systém TC 85. Síťový a identifikačni protokol
BENEŠ, Ladislav. <em>Terminálový systém TC 85. Síťový a identifikačni protokol</em>. Prague: SVT ČSAV, 1987. Výzkumná zpráva, V-316.
Vzorek uživatelských požadavků na 8. 5LP a 9. 5LP
JIŘINA, Marcel. <em>Vzorek uživatelských požadavků na 8. 5LP a 9. 5LP</em>. Praha, 1987. Zpráva UVVTR.
Používání počítače ROBOTRON A 5130
MÍČEK, Jiří. <em>Používání počítače ROBOTRON A 5130</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-281.
Programové a technické prostředky počítačových a terminálových sítí
ŠEBESTA, Václav. <em>Programové a technické prostředky počítačových a terminálových sítí</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-318.
Informačný systém o ECS '87
ŠTULLER, Július. <em>Informačný systém o ECS '87</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-245.
Analýza LR(k) jazyků rekurzivním sestupem
DRÓZD, Januš. <em>Analýza LR(k) jazyků rekurzivním sestupem</em>. Praha: MFF UK, 1987. Výzkumná zpráva.
Teorie tolerancí soustav
NOVÁK, Mirko. <em>Teorie tolerancí soustav</em>. Praha: Academia, 1987.
Vyhledávání grafových modelů
HAVRÁNEK, Tomáš. <em>Vyhledávání grafových modelů</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-324.