Istraživači
Marić, Filip
Godina
Rezultati 1-20 od 68
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2025 | Рачунарство и информатика 1 - уџбеник - за први разред гимназије![]() | Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2025 | Рачунарство и информатика 2 - уџбеник - за други разред гимназије![]() | Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2025 | Readable automated proofs of ruler and compass constructions![]() | Marinković, Vesna | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2025 | Formal Verification of a Fail-Safe Cross-Chain Bridge![]() | Maric, Filip | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2025 | Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity![]() | Markovic, Jelena | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2024 | Рачунарство и информатика 1 - уџбеник за први разред гимназије![]() | Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2024 | Konstrukcija i analiza algoritama![]() | Marinkovic, Vesna | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2024 | Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számára![]() | Marić, Filip | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2024 | Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnázia![]() | Marić, Filip | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2024 | Towards Automated Readable Proofs of Ruler and Compass Constructions![]() | Marinković, Vesna | 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. |
| 2024 | Interactive textbook for algorithms and data structures![]() | Marinković, Vesna | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2023 | Рачунарство и информатика 2 - уџбеник за други разред гимназије (4. изд.)![]() | Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2023 | Formalization, Automatization and Visualization of Hyperbolic Geometry![]() | Maric, Filip M | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Рачунарство и информатика 3 - уџбеник за трећи разред гимназије (2. изд.)![]() | Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2023 | Automated triangle constructions in hyperbolic geometry![]() | Marinkovic, Vesna | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2023 | Рачунарство и информатика 4 - уџбеник за четврти разред гимназије![]() | Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification![]() | Bankovic, Milan M | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
