COBISS Kooperativni online bibliografski sistem in servisi COBISS
Marjan Štrakl
Osebna bibliografija za obdobje 1986-1998
1986
1.
ŠTRAKL, Marjan. Nihajni krogi. Maribor: Srednja šola elektrotehniške in računalniške usmeritve, 1986. 16 f., graf.
prikazi. [COBISS.SI-ID 6725128]
1987
2.
ŠTRAKL, Marjan, POKERŽNIK, Gregor. Funkcijski generator : [raziskovalna naloga]. Hoče: SERŠ, 1987. 10 f., ilustr. [COBISS.SI-ID 6598408]
1992
3.
ŠTRAKL, Marjan. Verifikacija sinhronih vezij. Maribor: [s.n.], 1992. 229 f., graf. prikazi. Tehniška fakulteta, Maribor. Elektrotehnika,
računalništvo in informatika, Diplomska dela visokošolskega študija. Digitalna knjižnica Univerze v Mariboru – DKUM. [COBISS.SI-ID 1198102]
1993
4.
BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana, DUGONIK, Bogdan, DREO, Gabrijela,
BALAN, Filip Samo, STERGAR, Janez, BABIČ, Rudolf, SOLAR, Mitja, MEOLIC, Robert, ŠTRAKL,
Marjan, ČASAR, Aleš. Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega dela na
temeljnem raziskovalnem projektu v letu 1993 [za MZT Slovenije] : temeljni raziskovalni
projekt P2-5122/796-93. Maribor: Tehniška fakulteta, 1993. 1 zv. (loč. pag.). [COBISS.SI-ID 5900292]
5.
DOGŠA, Tomaž, PROSEN, Rudolf, SVEČKO, Rajko, BREZOČNIK, Zmago, ŠTRAKL, Marjan, JENKO,
Bojan, SOLAR, Mitja, BALAN, Filip Samo, BABIČ, Rudolf, DOGŠA, Tomaž (urednik, recenzent).
Krožni praktikum. Smer elektronika : visokošolski študij VIS-3. letnik (5. in 6. semester)
: [navodila za vaje]. 1. izd. Maribor: Tehniška fakulteta, Elektrotehnika, računalništvo in informatika,
1993. III, 152 str., ilustr. ISBN 86-435-0020-8. [COBISS.SI-ID 33744385]
1994
6.
BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana, DUGONIK, Bogdan, DREO, Gabrijela,
BALAN, Filip Samo, STERGAR, Janez, BABIČ, Rudolf, SOLAR, Mitja, MEOLIC, Robert, ŠTRAKL,
Marjan, ČASAR, Aleš. Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega raziskovalnega
dela na temeljnem raziskovalnem projektu v letu 1994 [za MZT Slovenije] : temeljni
raziskovalni projekt J2-5122-0796-94. Maribor: Tehniška fakulteta, 1994. 1 zv. (loč. pag.). [COBISS.SI-ID 7621380]
7.
BREZOČNIK, Zmago, ŠAFARIČ, Riko, PLETERŠEK, Anton, BALAN, Filip Samo, WELZER-DRUŽOVEC,
Tatjana, MIHALIČ, Franc, ŠTRAKL, Marjan, MATKO, Vojko, JARC, Bojan, STERGAR, Janez,
SOLAR, Mitja, BABIČ, Rudolf (avtor, recenzent), DOGŠA, Tomaž (urednik, recenzent).
Krožni praktikum : zbrano gradivo : visokošolski študij, 4. letnik (7. in 8. semester)
: [navodila za vaje]. 1. izd. Maribor: Tehniška fakulteta, Elektrotehnika, računalništvo in informatika,
1994. 202 str., graf. prikazi. ISBN 86-435-0078-X. [COBISS.SI-ID 35846657]
1995
8.
ŠTRAKL, Marjan, BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana. Pretvorba opisa
vezja iz VHDL v BLIF-MV. V: SOLINA, Franc (ur.), ZAJC, Baldomir (ur.). Zbornik četrte Elektrotehniške in računalniške konference ERK '95, 25. - 27. september
1995, Portorož, Slovenija. Ljubljana: Slovenska sekcija IEEE, 1995. A, str. 89-92. ISBN 961-6062-06-9, ISBN
961-6062-07-7. [COBISS.SI-ID 7740932]
9.
ŠTRAKL, Marjan, BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana. Snovanje digitalnih
vezij z opisnim jezikom VHDL. Informacije MIDEM : časopis za mikroelektroniko, elektronske sestavne dele in materiale. [Tiskana izd.]. 1995, 25, št. 1, str. 45-52. ISSN 0352-9045. http://www.dlib.si/details/URN:NBN:SI:DOC-A3TE1307. [COBISS.SI-ID 7740676]
1996
10.
BREZOČNIK, Zmago, BALAN, Filip Samo, ČASAR, Aleš, DUGONIK, Bogdan, HORVAT, Bogomir,
JAGODIČ, Marko, KAPUS, Tatjana, KRUŠČIČ, Andrej, MEOLIC, Robert, FREY-PUČKO, Marjeta,
ŠTRAKL, Marjan. COST 247 International Workshop on Applied Formal Methods in System Design, June 17-19,
1996, Maribor, Slovenia. 1996. [COBISS.SI-ID 3155478]
11.
BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, KAPUS-KOLAR, Monika, FREY-PUČKO,
Marjeta, ŠTRAKL, Marjan, ČASAR, Aleš, MEOLIC, Robert. COST 247 "Verification and validation methods for formal descriptions" : letno poročilo
o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : številka pogodbe
MS-20/95. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1996. 1 zv.
(loč. pag.). [COBISS.SI-ID 1985302]
12.
BREZOČNIK, Zmago, HORVAT, Bogomir, KAPUS, Tatjana, DUGONIK, Bogdan, DREO-RODOŠEK,
Gabrijela, BALAN, Filip Samo, STERGAR, Janez, BABIČ, Rudolf, SOLAR, Mitja, MEOLIC,
Robert, ŠTRAKL, Marjan, ČASAR, Aleš. Formalna verifikacija sistemov : zaključno poročilo o rezultatih opravljenega znanstveno-raziskovalnega
dela na področju temeljnega raziskovanja : številka pogodbe J2-5122-0796-95. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1996. 1 zv.
(loč. pag.). [COBISS.SI-ID 1983510]
13.
ŠTRAKL, Marjan, HORVAT, Bogomir, BREZOČNIK, Zmago. Povezava jezika VHDL s programskim
paketom za formalno verifikacijo HSIS. V: ZAJC, Baldomir (ur.), SOLINA, Franc (ur.).
Zbornik pete Elektrotehniške in računalniške konference ERK '96, 19. - 21. september
1996, Portorož, Slovenija. Ljubljana: IEEE Region 8, Slovenska sekcija IEEE, 1996. Str. 47-50. ISBN 961-6062-08-5,
ISBN 961-6062-09-3. [COBISS.SI-ID 2193174]
14.
ŠTRAKL, Marjan. Vključitev jezika VHDL v programski paket za formalno verifikacijo : magistrska naloga. Maribor: [M. Štrakl], 1996. XIV, 130 str. Univerza v Mariboru, Fakulteta za elektrotehniko,
računalništvo in informatiko, Magistrska dela. [COBISS.SI-ID 2313750]
1997
15.
BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, KAPUS-KOLAR, Monika, FREY-PUČKO,
Marjeta, ŠTRAKL, Marjan, ČASAR, Aleš, MEOLIC, Robert. COST 247 "Verification and validation methods for formal descriptions" : letno poročilo
o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : št. pogodbe MS-20/95. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1997. 1 zv.
(loč. pag.). [COBISS.SI-ID 2640918]
16.
BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, DUGONIK, Bogdan, BALAN, Filip Samo,
MEOLIC, Robert, DREO-RODOŠEK, Gabrijela, ŠTRAKL, Marjan, ČASAR, Aleš. Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o
rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja
: št. pogodbe J2-7495-0796-96. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1997. V, 54
f. [COBISS.SI-ID 2640406]
1998
17.
BREZOČNIK, Zmago, KAPUS, Tatjana, HORVAT, Bogomir, KAPUS-KOLAR, Monika, FREY-PUČKO,
Marjeta, ŠTRAKL, Marjan, ČASAR, Aleš, MEOLIC, Robert, DUGONIK, Bogdan. COST 247 "Verification and validation methods for formal descriptions" : zaključno
poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247. Maribor: Fakulteta za elektrotehniko, računalništvo in informatiko, 1998. VIII,
138 f. [COBISS.SI-ID 3457814]