Iskani rezultati za avtorja

1

Slika na naslovnici

Digitalna tehnika : 10 ur predavanj tujim študentom v okviru programa mednarodne izmenjave študentov Erasmus+, študijsko leto 2017/2018, zimski semester /

od Brezočnik, Zmago.

Knjiga

2

Slika na naslovnici

Mikroračunalniške arhitekture : 10 ur predavanj tujim študentom v okviru programa mednarodne izmenjave študentov Erasmus+, študijsko leto 2017/2018, poletni semester /

od Brezočnik, Zmago.

Knjiga

3

Slika na naslovnici

Spin model checking using SpinRCP /

od Brezočnik, Zmago.

Book Chapter

4

Slika na naslovnici

Preverjanje modelov varnostno kritičnih sistemov = Model checking of safety critical systems : predavanje na Mednarodnem sejmu za avtomatizacijo, robotiko in mehatroniko, IFAM - Bu...

od Brezočnik, Zmago.
Izdano 2014

Knjiga

5

Slika na naslovnici

Formalna verifikacija digitalnih vezij : povabljeno predavanje na Fakulteti za elektrotehniko, Univerza v Ljubljani /

od Brezočnik, Zmago.
Izdano 1996

Knjiga

6

Slika na naslovnici

Efficient implementation of a ROBDD package and its use in formal hardware verification : povabljeno predavanje na Sveučilištu u Zagrebu, Fakultet elektrotehnike i računarstva, Zav...

od Brezočnik, Zmago.
Izdano 1996

Knjiga

7

Slika na naslovnici

Zdaj imamo tudi zmagoviti študentski znanstveni članek : dosežek mariborskega podiplomskega študenta računalništva V.Podgorelca /

od Brezočnik, Zmago.

Book Chapter

8

Slika na naslovnici

Avtomatska formalna verifikacija digitalnih sistemov s Prologom.

od Brezočnik, Zmago

Rokopis Book Chapter

9

Slika na naslovnici

Implementacija bolonjske deklaracije v visokošolskem študiju tehnike v Sloveniji : vabljeno predavanje na posvetu "Modeli študija in uresničevanje Bolonjskega procesa", 4. junij 20...

od Brezočnik, Zmago.
Izdano 2003

Knjiga

10

Slika na naslovnici

Novosti študijskih programov na FERI : predavanje na okrogli mizi - posvetu "Industrijski EE forum", 9. oktobra 2003 na sejmu "Sodobna elektronika 2003", na Gospodarskem razstavišč...

od Brezočnik, Zmago.
Izdano 2003

Knjiga

11

Slika na naslovnici

Formalna verifikacija sistemov : inavguralno predavanje ob izvolitvi v naziv redni profesor na Univerzi v Mariboru, dne 13. novembra 2003 v Dvorani Borisa Podrecce Univerze v Marib...

od Brezočnik, Zmago.
Izdano 2003

Knjiga

12

Slika na naslovnici

Konvergenca, širokopasovnost in pomen vsebin /

od Brezočnik, Zmago.

Book Chapter

13

Slika na naslovnici

Husnu Yenigun, Kemal Inan: Verification using Leap Automata : [a review of the paper for the 2nd International Workshop on Applied Formal Methods in System Design, held in Zagreb,...

od Brezočnik, Zmago.
Izdano 1997

Knjiga

14

Slika na naslovnici

Umetna inteligenca : predavanje na tematskem razgovoru informatikov, 21.11.1985, VEKŠ, Maribor /

od Brezočnik, Zmago.
Izdano 1985

Knjiga

15

Slika na naslovnici

Interdisciplinarni in kreditni študij /

od Brezočnik, Zmago.

Book Chapter

16

Slika na naslovnici

Research and education activities at the Faculty of electrical engineering and computer science, University of Maribor : lecture presented at the Workshop on formal verification of...

od Brezočnik, Zmago.
Izdano 2004

Knjiga

17

Slika na naslovnici

Funkcionalna semantika in formalna verifikacija sinhronih vezij : doktorska disertacija /

od Brezočnik, Zmago.
Izdano 1992

Thesis Knjiga

18

Slika na naslovnici

Programska oprema vozlišča lokalne računalniške mreže s preklapljanjem : diplomska naloga /

od Brezočnik, Zmago.
Izdano 1983

Thesis Knjiga

19

Slika na naslovnici

Mikroračunalniške arhitekture : 10 ur predavanj tujim študentom v okviru programa mednarodne izmenjave študentov Erasmus+, študijsko leto 2018/2019, letni semester /

od Brezočnik, Zmago.

Knjiga

20

Slika na naslovnici

Digitalna tehnika : 10 ur predavanj tujim študentom v okviru programa mednarodne izmenjave študentov Erasmus+, študijsko leto 2018/2019, zimski semester /

od Brezočnik, Zmago.

Knjiga

1
2
3
4
5
6
7
8
9
10
11
Naslednji »
[18]