Skip to main content
Početna
O repozitoriju
Za ustanove
Kontakt
Upute i priručnici
English
Nacionalni repozitorij disertacija i znanstvenih magistarskih radova
Nacionalna i sveučilišna knjižnica u Zagrebu
Pregledavanje
Prema godini
Prema autoru
Prema ustanovi
Prema području
Prema vrsti rada
Prema repozitorijima
Svih dokumenata
Napredno pretraživanje
Pohranjivanje
Search Term
ovaj repozitorij
sve repozitorije u Dabru
Marko Horvat (popis objekata)
Izvoz zapisa
maks. 1000 zapisa
RIS
BibTeX
CSV
TSV
maks. 100 zapisa
PDF
Prikaži radove sa ostalih repozitorija
Nadzirani radovi (povjerenstvo)
(3)
Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku
Horvat, Sebastijan
Doktorski rad
Datum obrane: 24.01.2024.
Funkcija: član povjerenstva
Rad je objavljen i na sljedećim repozitorijima:
Izračunljivost poopćenih grafova
Jelić, Matea
Doktorski rad
Datum obrane: 07.12.2023.
Funkcija: predsjednik povjerenstva
Rad je objavljen i na sljedećim repozitorijima:
Jedinstvenost struktura izračunljivosti
Validžić, Lucija
Disertacija
Datum obrane: 20.05.2022.
Funkcija: predsjednik povjerenstva
Rad je objavljen i na sljedećim repozitorijima: