pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn
pmf:12781,thesis,"Segmentacija slika na točke, linije i rubove","Zaninović, Jelena",,,,,,,,
pmf:12749,thesis,"Turingov stroj: web-aplikacija","Kocijan, Mislav",,,,,,,,
pmf:12769,thesis,"Korutine u programskom jeziku C++","Zadravec, Matija",,,,,,,,
pmf:12545,dissertation,"Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku","Horvat, Sebastijan",,,,,,,,
pmf:12400,dissertation,"Izračunljivost poopćenih grafova","Jelić, Matea",,,,,,,,
pmf:12616,thesis,"Interpreter za parcijalno rekurzivne funkcije","Eterović, Marko",,,,,,,,
pmf:12617,thesis,"Pattern recognition by combining different classifiers","Jezidžić, Marin",,,,,,,,
pmf:12629,thesis,"Problemi vizualizacije u teoriji grafova","Trupina, Viktorija",,,,,,,,
pmf:12535,thesis,"Dokaz u srednjoškolskoj nastavi matematike pomoću programa dinamičke geometrije","Prah, Dora",,,,,,,,
pmf:12570,thesis,"Quineovi ''Novi temelji'' teorije skupova","Zlatunić, Gabrijela",,,,,,,,
pmf:12491,thesis,"Računalna formalizacija matematičkih dokaza","Čižić, Ivona",,,,,,,,
pmf:12572,thesis,"Topološka svojstva poluizračunljivih skupova","Arvaj, Tea",,,,,,,,
pmf:11809,thesis,"Coxov model proporcionalnih hazarda","Kolarek, Eva",,,,,,,,
pmf:11892,thesis,"Klasifikacija proteinskih fragmenata","Radnić, Josipa",,,,,,,,
pmf:11948,thesis,"Konstrukcija video igara u programskom paketu Unreal Engine","Terzanović, Mateja",,,,,,,,
pmf:12613,thesis,"Metoda parcijalnih najmanjih kvadrata","Jurić Fot, Sanjin",,,,,,,,
pmf:11185,thesis,"Elementarni aspekti neprekidnosti","Lujo, Lea",,,,,,,,
pmf:11110,thesis,"Analiza bolne i bezbolne dijabetičke polineuropatije logističkom regresijom","Bošković, Paula",,,,,,,,
pmf:11247,thesis,"Izračunljivost realnih funkcija","Staroverški, Petra",,,,,,,,
pmf:10743,thesis,"Efikasne implementacije prioritetnog reda","Žanić, Mislav",,,,,,,,
pmf:10719,thesis,"Hindmanov teorem","Drmić, Božidar Grgur",,,,,,,,
pmf:10715,thesis,LOOP-izračunljivost,"Avirović, Ivan",,,,,,,,
pmf:10598,dissertation,"Jedinstvenost struktura izračunljivosti","Validžić, Lucija",,,,,,,,
pmf:10582,thesis,"Analiza proteinskih nizova iz CoViD-a 19","Mavrek, Iva",,,,,,,,
pmf:10587,thesis,"Zbroj dva cjelobrojna kvadrata","Stjepanović, Josipa",,,,,,,,
pmf:10495,thesis,"Generativne suparničke mreže i primjene","Peroš, Mate",,,,,,,,
pmf:10482,thesis,"Lanczosova i Arnoldijeva metoda","Jandrić, Dolores",,,,,,,,
pmf:10219,thesis,"Automatski dokazivači teorema","Živković, Alen",,,,,,,,
pmf:10142,thesis,"Earleyev parser","Lončar, Luka",,,,,,,,
pmf:10085,thesis,"Generalizacije i analogoni u geometriji","Časek, Sonja",,,,,,,,
pmf:10210,thesis,"Programski jezik C0","Vinković, Vedran",,,,,,,,
pmf:9840,thesis,"Evolucija koncepta umjetne inteligencije","Pantar, Antonija",,,,,,,,
pmf:9817,thesis,"Kongruencije za binomne koeficijente","Grgić, Monika",,,,,,,,
pmf:9844,thesis,"Prostorne baze podataka","Poljanić, Tea",,,,,,,,
pmf:9686,dissertation,"On logics and semantics for interpretability","Mikec, Luka",,,,,,,,
pmf:9351,thesis,"Binarni RAM--strojevi","Miletić, Jurica",,,,,,,,
pmf:9352,thesis,"Krohn-Rhodesova teorija","Miošić, Ivan",,,,,,,,
pmf:9331,thesis,"Prosti brojevi oblika \(x^2\)+\(ny^2\)","Andrašek, Alen",,,,,,,,
pmf:9490,thesis,"Eksponencijalna funkcija i derivabilnost","Trajbar, Željka",,,,,,,,
pmf:9378,thesis,"Elementarni aspekti izračunljivosti","Kraljević, Petra",,,,,,,,
pmf:9379,thesis,"Maksimalne strukture izračunljivosti","Krmpotić, Ana",,,,,,,,
pmf:9076,thesis,"Odlučivost modalnih logika","Bistrović, Tamara",,,,,,,,
pmf:9072,thesis,"Ordinalni kalkulator","Bašić, Bjanka",,,,,,,,
pmf:9026,thesis,"Lindströmov teorem za modalnu logiku","Krunić, Jakov",,,,,,,,
pmf:9018,thesis,"Zornova lema i srodne tvrdnje","Gunja, Marin",,,,,,,,
pmf:8807,thesis,"Klijentske web-aplikacije i biblioteka React","Šelendić, Matija",,,,,,,,
pmf:8732,thesis,"Razvoj web-aplikacija baziran na testiranju","Rožić, Petra",,,,,,,,
pmf:9477,thesis,"Algoritmi za standardnu translaciju modalnih formula","Skrinjar, Filip",,,,,,,,
pmf:8467,thesis,"Opća svojstva konveksnog četverokuta","Žužul, Marija",,,,,,,,
pmf:8373,thesis,"Turing--izračunljivost na prirodnim brojevima","Đerić, Bojana",,,,,,,,
pmf:7664,thesis,"Strukture podataka i algoritmi u Pythonu","Barukčić, Maja Marija",,,,,,,,
pmf:7773,thesis,"Elementarni aspekti integrabilnosti","Curman, Andreja",,,,,,,,
pmf:7876,thesis,"Klasifikacija vjerojatnosnih algoritama","Peterfaj, Ana",,,,,,,,
pmf:7775,thesis,"Topološki prostori izračunljivog tipa","Čelar, Matea",,,,,,,,
pmf:6106,thesis,"Algoritam Timsort","Beg, Mislav",,,,,,,,
pmf:6142,thesis,"Matematika salse","Drezga, Andrea",,,,,,,,
pmf:5883,thesis,"Aproksimacijski algoritmi - klase složenosti i dizajn","Dujić, Marko",,,,,,,,
pmf:5669,thesis,"Metoda tableauxa za modalnu logiku","Babić, Tin",,,,,,,,
pmf:5990,thesis,"Aksiomi kompleksnih brojeva","Kralj, Lana",,,,,,,,
pmf:6004,thesis,"Interpreter za lambda-račun","Lovnički, Sandro",,,,,,,,
pmf:6034,thesis,"Kardinalnost skupova","Protega, Danijela",,,,,,,,
pmf:6005,thesis,"Strojno učenje u nastavi informatike u prirodoslovnim gimnazijama","Ljubičić, Ivan",,,,,,,,
pmf:6095,thesis,"Kombinatorna interpretacija verižnih razlomaka","Zelić, Anamarija",,,,,,,,
pmf:5124,thesis,"Konvolucijske neuronske mreže","Džomba, Kristina",,,,,,,,
pmf:5149,thesis,"Paralelne strukture podataka bez međusobnog isključivanja","Kalčićek, Eduard",,,,,,,,
pmf:5097,thesis,"Prošireni modeli teorije skupova","Adlešić, Tin",,,,,,,,
pmf:4761,thesis,"Modeliranje bioloških sekvenci dubokim neuronskim mrežama","Paliska, Ana",,,,,,,,
pmf:4750,thesis,"Primjena neuronskih mreža u obradi slika","Levanić, Tomislav",,,,,,,,
pmf:4606,thesis,"Homomorfna enkripcija i elektroničko glasovanje","Turković, Teo",,,,,,,,
pmf:4605,thesis,"Java Spring","Sović, Iva",,,,,,,,
pmf:3318,thesis,"Egzistencija realnih brojeva","Levanić, Vedran",,,,,,,,
pmf:3494,thesis,"Gale-Shapleyev algoritam, varijacije i primjene","Mijoč, Ante",,,,,,,,
pmf:3864,thesis,"Harmonija u realnom vremenu","Srnec, Filip",,,,,,,,
pmf:3236,thesis,"Klijentske web-aplikacije i Angular","Grđan, Barbara",,,,,,,,
pmf:2035,thesis,"LQR i LQG kontrola - teorija i primjene","Banušić, Gregor Boris",,,,,,,,
pmf:2474,thesis,"Sustav za simboličko računanje u Haskellu","Čanadi, Vitomir",,,,,,,,
pmf:3985,thesis,"Teorija izglednosti i rizik","Šlogar, Ana",,,,,,,,
pmf:3231,thesis,"Trigonometrijske funkcijske jednadžbe","Filipašić, Melissa",,,,,,,,
pmf:5674,thesis,"Izračunljivost u euklidskom prostoru","Babojelić, Renato",,,,,,,,
pmf:953,thesis,"Konveksnost i optimizacija","Slišković, Marijana",,,,,,,,
pmf:77,thesis,"Razvoj softvera vođen testiranjem","Bedeković, Hrvoje",,,,,,,,
pmf:500,thesis,"Razvoj web aplikacija pomoću okruženja Ruby on Rails","Šumelj, Mara",,,,,,,,
pmf:492,thesis,"Karakterizacija likova u dječjim pričama","Levačić, Gorana",,,,,,,,
pmf:5396,thesis,"Izračunljivost na skupovima Z, Q, R i C","Posavčević, Ivan",,,,,,,,
pmf:5495,thesis,"Skupovne interpretacije modalne logike","Kiršek, Filip",,,,,,,,
pmf:5403,thesis,"Teorijski model računalnih virusa","Ivančić, Antonio",,,,,,,,
pmf:5306,thesis,"Topološka potpunost logika dokazivosti","Mikec, Luka",,,,,,,,
pmf:5470,thesis,"Repni indeks i zavisnost","Stipetić, Ognjen",,,,,,,,
pmf:5564,thesis,"Simulacija rijetkih događaja","Vazdar, Vedrana",,,,,,,,
pmf:5358,thesis,"Osnovni modeli rasta","Oremuš, Ivana",,,,,,,,
pmf:5392,thesis,"Varijacijske nejednakosti","Pjanić, Matea",,,,,,,,