eNauka - pregled
Pregled prema Autor Maksimović, Petar
Prikaz rezultata 1 do 8 od 8
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan  ; Ciancaglini, Vincenzo; Ognjanović, Zoran  ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2017 | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Simić, Danijela | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2014 | Modern technologies and methodologies concerning permanent monitoring of position changes and entity state in space and time | Ninkov, Toša ; Sušić, Zoran ; Marković, Marko ; Ninkov, Đorđe; Maksimović, Petar | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1990 | Porez na promet proizvoda i usluga u gradskoj zajednici Novi Sad | Popović, Dejan M.; Leko, Ivan; Maksimović, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Simple characterization of functionally complete one-element sets of propositional connectives | Maksimović, Petar; Janičić, Predrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2001 | Uticaj kvaliteta materijala na pouzdanost termoenergetskog postrojenja | Šijački-Žeravčić, Vera ; Anđelić, Biljana; Bakić, Gordana ; Đukić, Miloš ; Milanović, Dušan; Vlajčić, Aleksandar; Maksimović, Petar | Naučni članak | Mp kategorija će biti prikazana naknadno. |