| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Izpis gradiva

Naslov:Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo
Avtorji:Časar, Aleš (Avtor)
Brezočnik, Zmago (Mentor) Več o mentorju... Novo okno
Datoteke:Gradivo nima datotek. Gradivo je morda fizično dosegljivo v knjižnici fakultete, zalogo lahko preverite v COBISS-u. Povezava se odpre v novem oknu
Jezik:Slovenski jezik
Vrsta gradiva:Diplomsko delo (m5)
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Ključne besede:logična funkcija, končni avtomati, prehajalna funkcija, prehajalna relacija, karakteristična funkcija, CTL formule, binarni odločitveni grafi
Leto izida:1995
Založnik:[A. Časar]
Izvor:Maribor
UDK:681.32:519.714:519.17
COBISS_ID:1821718 Novo okno
NUK URN:URN:SI:UM:DK:1BGXOI9H
Število ogledov:2156
Število prenosov:0
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
Področja:KTFMB - FERI
:
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:AddThis
AddThis uporablja piškotke, za katere potrebujemo vaše privoljenje.
Uredi privoljenje...

Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici