-
Naslov projekta Formalna verifikacija sistemov : zaključno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanjaBrezočnik, ZmagoVrsta gradiva - raziskovalno poročiloZaložništvo in izdelava - Maribor : Fakulteta za elektrotehniko, računalništvo in informatiko, 1996Jezik - slovenskiCOBISS.SI-ID - 1983510
Avtor
Brezočnik, Zmago
Drugi avtorji
Horvat, Bogomir, 1936- |
Kapus, Tatjana |
Dugonik, Bogdan |
Dreo-Rodošek, Gabrijela |
Balan, Filip Samo |
Stergar, Janez |
Babič, Rudolf |
Solar, Mitja |
Meolic, Robert |
Štrakl, Marjan |
Časar, Aleš |
Fakulteta za elektrotehniko, računalništvo in informatiko |
Slovenija |
Ministrstvo za znanost in tehnologijo
Teme
telekomunikacije |
računalništvo |
formalna vertifikacija |
digitalni sistemi |
porazdeljeni sistemi |
logične funkcije |
binarni odločitveni grafi |
sinhrona sekvenčna vezja |
semantika |
časovna logika |
bibliografije |
raziskovalne naloge
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Signatura – lokacija, inventarna št. ... |
Status izvoda | Rezervacija |
---|---|---|
Skladišče II 0000042621 Skladišče II 42621 |
prosto - za čitalnico
|
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Brezočnik, Zmago | 02071 |
Horvat, Bogomir, 1936- | 03015 |
Kapus, Tatjana | 00873 |
Dugonik, Bogdan | 08676 |
Balan, Filip Samo | 11552 |
Babič, Rudolf | 01959 |
Solar, Mitja | 04535 |
Štrakl, Marjan | 13643 |
Časar, Aleš | 15672 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.