Š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.
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.
BITZAN, Pavel. <em>Teorie invariantu funkce a její použití</em>. Prague: SVT ČSAV, 1987. Technical Report, V-314.
HAMATA, Václav. <em>Hluk elektrických strojů</em>. Praha: Academia, 1987.
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.
Š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.
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.
HAVRÁNEK, Tomáš. <em>Báze znalostí pro shlukovou analýzu v systému BMDP</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-284.
HÁJEK, Petr, VALDÉS, J. J. <em>Algebraic Foundations of Uncertainty Processing in Rule-Based Expert Systems</em>. Praha: Matematický ústav ČSAV, 1987. Preprint, 28.
HRYCEJ, David. <em>Programový systém pro zpracování obrazů GIP. Verze RT</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-227.
HAVRÁNEK, Tomáš. <em>Úvod do využívání systému BMDP'85</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-225.
NEDOMA, Jiří. <em>Tenzometrické sondy pro kontrolu prostorové napjatosti ve vrtech</em>. Praha: SVT ČSAV, 1986. Výzkumná zpráva, V-220.
KOUBA, Zdeněk. <em>Metody znalostního inženýrství</em>. Prague, 1986. Dizertační práce. SVT ČSAV.