| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava
Prva stran > Iskanje po katalogu digitalne knjižnice

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 1 / 1
Na začetekNa prejšnjo stran1Na naslednjo stranNa konec
1.
Verifikacija porazdeljenih sistemov z uporabo binarnih odločitvenih grafov : diplomsko delo visokošolskega študija
Mirjam Sepesy Maučec, 1996, diplomsko delo

Ključne besede: porazdeljeni sistemi, verifikacija, procesna algebra, binarni odločitveni grafi
Objavljeno v DKUM: 26.07.2007; Ogledov: 3378; Prenosov: 0
Iskanje izvedeno v 0.04 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici