Několik poznámek k diskusím o roli pravděpodobnosti umělé inteligence - nepublikováno
KRAMOSIL, Ivan. <em>Několik poznámek k diskusím o roli pravděpodobnosti umělé inteligence - nepublikováno</em>. 1987.
KRAMOSIL, Ivan. <em>Několik poznámek k diskusím o roli pravděpodobnosti umělé inteligence - nepublikováno</em>. 1987.
KRAMOSIL, Ivan. <em>Pravděpodobnostní algoritmy lineárního uspořádání</em>. Praha: ÚTIA ČSAV, 1987. Výzkumná zpráva, 1477.
ZARUBA, Josef, ŠVANDA, Josef. <em>Strunový meřící systém (Strunové aparatury)</em>. Prague: SU CVUT, 1987. Výzkumná zpráva.
BENEŠ, Ladislav, NOVÁK, Mirko, PAČES, Pavel, POPELÁŘOVÁ, Olga, POUPĚ, Jiří. <em>Koncepce rozvoje inteligentních terminálů nových generací</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-290.
MÍČEK, Jiří. <em>Evidence článků z časopisů a knih a tisk jejich citací v odborných publikacích na počítači CONSUL 2714</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-285.
TŮMA, Miroslav. <em>Soubor programů MATCHPAK pro kombinatorickou optimalizaci</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-282.
HOLEŇA, Martin. <em>Modelování dynamiky výseku reality při návrhu databáze</em>. Praha, 1987. Dizertační práce. SVT ČSAV.
NOVÁK, Mirko, LAŠKA, I., PUŽMAN, J. <em>Integrované informační systémy jako nástroj pro zvýšení účinnosti řízení národního hospodářství</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-283.
BENEŠ, Ladislav. <em>Terminálový systém TC 85. Komunikační protokol linkové úrovně</em>. Prague: SVT ČSAV, 1987. Výzkumná zpráva, V-304.
HOLEŇA, Martin. <em>Model předmětné oblasti databáze Centra pro trofoblastickou nemoc</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-259.
LUKŠAN, Ladislav. <em>EIGS - soubor programů pro řešení částečného zobecněného problému vlastních čísel s řídkými symetrickými maticemi</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-300.
NEDOMA, Jiří, HEJLOVÁ, Anna. <em>Signoriniho úloha bez tření v lineární elasticitě</em>. Praha: SVT ČSAV, 1987. Výzkumná zpráva, V-315.