Slika na naslovnici

Distribuiran komunikacijski sistem : poročilo o delu za leto 1991 /

Na področju formalne verifikacije digitalnih vezij smo letos nadaljevali z razvojem programskega paketa za interno predstavitev Boolovih funkcij z binarnimi določitvenimi diagrami (BDD-ji). Nato smo razvili model za specifikacijo digitalnih vezij s TPDL konstrukti. Na podlagi modela smo razvili veri...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Main Authors: Horvat, Bogomir, 1936- (Author), Brezočnik, Zmago. (Author), Angleitner, Gerhard. (Author), Greif, Štefan. (Author), Lešnjak, Gorazd. (Author), Slatinek, Rado. (Author), Jazbec, Herman. (Author), Jagodič, Marko, 1935- (Author), Grašič, Srečko. (Author), Kačič, Zdravko. (Author), Kapus, Tatjana. (Author), Dreo, Gabrijela. (Author), Balan, Filip Samo. (Author)
Format: Knjiga
Jezik:Slovenian
Izdano: Maribor : Tehniška fakulteta, 1991.
Serija:Digitalna komunikacijska omrežja ; C2-1525/796-91
Teme:
računalniške komunikacije > digitalna vezja > formalna verifikacija > specifikacija > komunikacija človek stroj > avtomatsko razpoznavanje govora > nevronske mreže > Kohonenove mape > slovenski fonemi
computer communication systems > formal verification > digital circuits > specification > automatic speech recognition > man machine communication > neural netowrks > Kohonen maps > slovenian phonemes
Oznake: Označite
Brez oznak, prvi označite!

Vzdrževanje sistema

Trenutno vzdržujemo knjižnični informacijski sistem.

Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate:

it.ukm@um.si

Podobne knjige/članki