Metodické pokyny pro pořízení dat optickým snímáním pro evidenci ZP
NEKOLOVÁ, Libuše. <em>Metodické pokyny pro pořízení dat optickým snímáním pro evidenci ZP. </em>.
Logika a data. : Závěrečná práce postgraduálního kurzu
FUČÍK, Petr. <em>Logika a data. : Závěrečná práce postgraduálního kurzu</em>. Prague, 1983. Dizertační práce. MFF UK.
Metodické pokyny pro pořizování dat optickým snímáním pro evidenci PPS
NEKOLOVÁ, Libuše. <em>Metodické pokyny pro pořizování dat optickým snímáním pro evidenci PPS</em>. Praha: SVT ČSAV, 1983. Práce SVT ČSAV, 13.
Teorie tolerancí, její metody a uplatnění
NOVÁK, Mirko, ŠEBESTA, Václav. <em>Teorie tolerancí, její metody a uplatnění</em>. Praha: SVT ČSAV, 1983. Výzkumná zpráva, V-142.
Kompaktní algoritmus s proměnnou metrikou pro nelineární minimaxovou aproximaci
LUKŠAN, Ladislav. <em>Kompaktní algoritmus s proměnnou metrikou pro nelineární minimaxovou aproximaci</em>. Praha: SVT ČSAV, 1983. Výzkumná zpráva, V-137.
Teoretické základy databázových systémov. Práca ku kandidátskému minimu
ŠTULLER, Július. <em>Teoretické základy databázových systémov. Práca ku kandidátskému minimu</em>. Praha, 1983. Dizertační práce. SVT ČSAV.
A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983
KRAMOSIL, Ivan, ŠINDELÁŘ, Jan. <em>A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983</em>. 1983.
Dálkové zpracování dat z vědeckých výzkumů a experimentu
STRNAD, Petr. <em>Dálkové zpracování dat z vědeckých výzkumů a experimentu</em>. Praha, 1983. Dizertační práce. SVT ČSAV.
Koncepce systému UFO (Univerzální funkcionální optimalizace)
LUKŠAN, Ladislav, KUČERA, J., HŘEBÍČEK, J. <em>Koncepce systému UFO (Univerzální funkcionální optimalizace)</em>. Praha: SVT ČSAV + Brno : Ústav fyzikální metalurgie ČSAV, 1983. Výzkumná zpráva, V-132.