Istraživači

еНаука >  Истраживачи >  Marić, Filip

Marić, Filip

Rezultati 1-20 od 68
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2025Рачунарство и информатика 1 - уџбеник - за први разред гимназијеМарић, Филип  Udžbenik
Mp kategorija će biti prikazana naknadno.
2025Рачунарство и информатика 2 - уџбеник - за други разред гимназијеМарић, Филип  ; Машуловић, Драган  Udžbenik
Mp kategorija će biti prikazana naknadno.
2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna  ; Šukilović, Tijana  ; Novaković, Viktor; Marić, Filip  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2025Formal Verification of a Fail-Safe Cross-Chain BridgeMaric, Filip  ; Scholz, Bernhard; Subotić, PavleKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2025Formalization of gyrovector spaces as models of hyperbolic geometry and special relativityMarkovic, Jelena  ; Maric, Filip M  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2024Рачунарство и информатика 1 - уџбеник за први разред гимназијеМарић, Филип  Udžbenik
Mp kategorija će biti prikazana naknadno.
2024Konstrukcija i analiza algoritamaMarinkovic, Vesna  ; Marić, Filip  Udžbenik
Mp kategorija će biti prikazana naknadno.
2024Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számáraMarić, Filip  ; Zečević, Anđelka  Udžbenik
Mp kategorija će biti prikazana naknadno.
2024Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnáziaMarić, Filip  ; Mandić, SvetlanaUdžbenik
Mp kategorija će biti prikazana naknadno.
2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna  ; Šukilović, Tijana  ; Marić, Filip  Naučni članak
Mp kategorija će biti prikazana naknadno.
2024Компютърни науки и информатика 3 - учебник за трети клас на гимназиитеМарић, Филип  ; Мандић, СветланаUdžbenik
Mp kategorija će biti prikazana naknadno.
2024Компютърни науки и информатика 1 - учебник за първи клас на гимназиитеМарић, Филип  Udžbenik
Mp kategorija će biti prikazana naknadno.
2024Компютърни науки и информатика 2 - учебник за втори клас на гимназиитеМарић, Филип  ; Машуловић, Драган  Udžbenik
Mp kategorija će biti prikazana naknadno.
2024Interactive textbook for algorithms and data structuresMarinković, Vesna  ; Marić, Filip  Naučni članak
Mp kategorija će biti prikazana naknadno.
2023Рачунарство и информатика 2 - уџбеник за други разред гимназије (4. изд.)Марић, Филип  ; Машуловић, Драган  Udžbenik
Mp kategorija će biti prikazana naknadno.
2023Formalization, Automatization and Visualization of Hyperbolic GeometryMaric, Filip M  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2023Рачунарство и информатика 3 - уџбеник за трећи разред гимназије (2. изд.)Марић, Филип  ; Мандић, СветланаUdžbenik
Mp kategorija će biti prikazana naknadno.
2023Automated triangle constructions in hyperbolic geometryMarinkovic, Vesna  ; Sukilovic, Tijana  ; Maric, Filip M  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2023Рачунарство и информатика 4 - уџбеник за четврти разред гимназијеМарић, Филип  ; Зечевић, Анђелка  Udžbenik
Mp kategorija će biti prikazana naknadno.
2023A Proof System for Graph (Non)-Isomorphism VerificationBankovic, Milan M  ; Drecun, Ivan  ; Maric, Filip M  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21