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"