Grafický editor pro interaktivní návrh schémat elektronických obvodů

Autor Zajíček, Pavel
Vydáno 1989

Systém na dotazování vět implementovaný v Prologu

Autor Hrtoň, Aleš
Vydáno 1991

Srovnávací studie operačních systémů

Autor Plívová, Miloslava
Vydáno 1979

Správa informací jako součást operačního systému

Autor Šoustalová, Dobroslava
Vydáno 1980

Vyhodnocení efektivity operačních systémů

Autor Petřík, Bohdan
Vydáno 1980

Operační systémy počítačů s virtuální pamětí

Autor Král, Jiří
Vydáno 1981

Automatické dokazování vět lineární rezolucí

Autor Řačák, Antonín
Vydáno 1981

Systémy pracující v režimu spooling

Autor Skřenek, Mojmír
Vydáno 1981

Formální manipulace s algebraickými výrazy na počítači

Autor Velčovský, Josef
Vydáno 1982

Aplikace rezolučního principu v deduktivních systémech

Autor Kaláček, Petr
Vydáno 1983

Návrh interpretačního programu pro mikropočítače

Autor Uhlíř, Zdeněk
Vydáno 1983

Aplikace resoluční metody pro dokazování správnosti programů

Autor Svatoň, Jaromír
Vydáno 1984

Aplikace resoluční metody pro analýzu programů

Autor Koleňáková, Taťjana
Vydáno 1984

Spojovací program pro Intel 8080 a další křížové vybavení

Autor Moučka, Bohuslav
Vydáno 1985

Basic pro I 8080

Autor Kuklová, Jana
Vydáno 1986

Aplikační programy počítačových systémů SAPI

Autor Sušilová, Marie
Vydáno 1986