еНаука - преглед
Преглед према Аутор Marić, Filip
Приказ резултата 21 до 40 од 64
< претходно
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | Formalization of Abstract State Transition Systems for SAT (✓) | Marić, Filip   ; Janičić, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2012 | Formalization of Incremental Simplex Algorithm by Stepwise Refinement (✓) | Spasić, Mirko ; Marić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Formalization of the Poincare Disc Model of Hyperbolic Geometry (✓) | Simic, Danijela ; Maric, Filip M ; Boutry, Pierre | Научни чланак | 23M23 - Рад у међ. часопису |
| 2012 | Formalizing Analytic Geometries (✓) | Marić, Filip ; Petrović, Danijela | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Formalizing complex plane geometry (✓) | Marić, Filip ; Simić, Danijela | Научни чланак | 23M23 - Рад у међ. часопису |
| 2012 | Formalizing Frankl's conjecture: FC-families (✓) | Marić, Filip ; Živković, Miodrag ; Vučković, Bojan | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2013 | Usmeravanje pretrage u automatskom dokazivanju teorema (✓) | Nikolić, Mladen S. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | Информатика 1 - уџбеник за први разред гимназије (✓) | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2015 | Информатика 2 - уџбеник за други разред гимназије (✓) | Марић, Филип ; Трајковић, Срђан; Трифуновић, Душко; Кљајић, Иван; Грачанин, Оливера | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2016 | Информатика 3 - уџбеник за трећи разред гимназије (✓) | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2009 | Instance-Based Selection of Policies for SAT Solvers (✓) | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | meSAT: Multiple Encodings of CSP to SAT (✓) | Stojadinovic, Mirko S; Maric, Filip M | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | meSAT: multiple encodings of CSP to SAT (✓) | Stojadinović, Mirko; Marić, Filip | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2019 | Методичка збирка алгоритамских задатака са решењима - C# - основни ниво (✓) | Марић, Филип ; Алимпић, Нина; Васиљевић, Небојша; Вугделија, Милан; Вуковић, Душа; Ђуришић, Мијодраг; Маринковић, Весна; Матковић, Станка; Хаџи-Пурић, Јелена; Чабаркапа, Милан | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода (✓) | Spasić, Mirko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2018 | Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica | Vučković, Bojan M. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2005 | Numeričke metode : zbirka zadataka kroz C, Fortran i Matlab (✓) | Radunović, Desanka P.; Samardžić, Aleksandar B.; Marić, Filip | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2021 | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry (✓) | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2022 | Programiranje 2 - osnove programiranja kroz programski jezik C (✓) | Janičić, Predrag ; Marić, Filip | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2015 | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (✓) | Marić, Filip ; Janičić, Predrag ; Maliković, Marko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |