еНаука - преглед
Преглед према Аутор Žunić, Dragiša
Приказ резултата 1 до 20 од 22
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2017 | A congruence relation for restructuring classical terms | Žunić, Dragiša D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A Congruence Relation for Restructuring Classical Terms![]() | Pierre Lescanne; Zunic, Dragisa | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | A verifiable model of a minimal market operating sequentially, with price and time discrete![]() | Žunić, Dragiša | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2016 | Asterix calculus - classical computation in detail | Žunić, Dragiša | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Classical computing with negation | Žunić, Dragiša | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Classical logic proofs' essence and diagrammatic computation | Žunić, Dragiša | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Computational interpretation of classical logic with explicit structural rules![]() | Silvia Ghilezan | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2007 | Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X![]() | Zunic, Dragisa | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2016 | Core-shell superparamagnetic iron oxide nanoparticle (SPION) clusters: TEM micrograph analysis, particle design and shape analysis | Kopanja, Lazar | Article | 21aM21a |
| 2019 | Formalization of Automated Trading Systems in a Concurrent Linear Framework | Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Žunić, Dragiša | Conference Paper | Mp. category will be shown later |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules![]() | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2015 | Kvantifikovanje oblika nanočestica pomoću cirkularnosti | Kopanja, Lazar | Conference Paper | Mp. category will be shown later |
| 2011 | Measuring shape rectangularities | Carlos Martinez-Ortiz; Žunić, Dragiša | Conference Paper | Mp. category will be shown later |
| 2011 | Measuring shape rectangularity | Žunić, Dragiša | Article | 22M22 |
| 2017 | Mera izduženosti u kvantifikovanju oblika nanočestica | Kopanja, Lazar S. | Conference Paper | Mp. category will be shown later |
| 2019 | Nanoparticle shapes: Quantification by elongation, convexity and circularity measures![]() | Kopanja, Lazar | Article | 23M23 |
| 2008 | Poslovna matematika![]() | Likavec, Silvia | Text book | Mp. category will be shown later |
| 2016 | Quantifying shapes of nanoparticles using modified circularity and ellipticity measures | Kopanja, Lazar | Article | 21M21 |
| 2016 | Shape Interpretation of Second-Order Moment Invariants | Žunić, Joviša | Article | 21aM21a |
| 2012 | Shape rectangularity measures | Žunić, Dragiša | Article | 23M23 |
