KRAMOSIL, Ivan. <em>Statistický odhad délky formalizovaných důkazů na základě statistického testu dokazatelnosti</em>. Praha: ÚTIA ČSAV, 1978. Výzkumná zpráva, 863.
VLČEK, Jan. <em>Vliv porušení koeficientů algebraické rovnice s reálnými koeficienty a blízkými kořeny na polohu kořenů</em>. Praha, 1978. Dizertační práce. MÚ ČSAV.
STRNAD, Petr. <em>Inteligentní terminál řizený procesorem Tesla JPR-12</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-26.
NOVÁK, Mirko. <em>Rozvaha o možnostech zjišťování pořizování dat v ČSAV</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-24.
FUČÍK, Petr, RUDAJEV, Vl. <em>Fyzika ohnisek důlních otřesů III. Rozměry ohnisek důlních otřesů</em>. Prague: HDU ČSAV, 1978. Výzkumná zpráva.
NOVÁK, Mirko. <em>Podkladový materiál k "Plánu vybudování Centrálního výpočetního střediska ČSAV a koncepce jeho činnosti"</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-22.
FABIÁN, Zdeněk, PĚČ, K. <em>Interpretace refrakčních seismických měření. Statistické zpracování geofyzikálních dat</em>. Praha: MFF UK, 1978. Postgraduální kurs zpracování geofyzikálních dat a číslicové seismiky. Dostupné z: http://aleph.lib.cas.cz/F/?func=direct&doc_number=000472449&local_base=AV
ŘÍZEK, Stanislav. <em>Návrh morfologie integrovaných obvodů počítačem</em>. Prague: Academia, 1978. Studie ČSAV, 4. Dostupné z: http://aleph.lib.cas.cz/F/?func=direct&doc_number=000127419&local_base=AV
NOVÁK, Mirko, NEKOVÁŘ, Václav, MEJTOVÁ, Eva. <em>Studie ke zpřesnění koncepce rozvoje výpočetní techniky v ČSAV do roku 1990</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-20.
VÍTKOVÁ, Galina. <em>CLIMS - obecný jazykově nezávislý makroprocesorový systém, uživatelská příručka a odladěná 1.verze systému CLIMS.78-332-004</em>. Praha: UVVTR, 1978. Výzkumná zpráva.
POUPĚ, Jiří, STRNAD, Petr. <em>Inteligentní terminál řízený procesorem JPR-12. Úvodní informace</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-25.
ZABADAL, S., NEDOMA, Jiří. <em>Matematické modelování</em>. Brno: Geofyzika n.p., 1978. Výzkumná zpráva.
