Showing results 2405 to 2424 of 2712
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Ognjanović, Zoran | A tableau-like proof procedure for normal modal logics | 20-Jun-1994 | Theoretical Computer Science; 129(1); 167-186 | M23 |
Kapetanović, Miodrag | A Tableaux System in Modal Logic | 1981 | Publications de l'Institut Mathématique; 30(44); 65-67 | M24 |
Kapetanović, Miodrag ; Isaković-Ilić, M. | A tableu based prover for BCK logic | 2001 | Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30 | M33 |
Kapetanović, Miodrag | Tabloi za substrukturne logike | 2003 | Skup posvećenom A. Kronu, Beograd 2003 | M64 |
Stošić, Marko ; Wedrich, Paul | Tangle addition and the knots-quivers correspondence | 18-Jan-2021 | Journal of the London Mathematical Society | ~M21 |
Korać, Vanja ; Prlja, Dragan | Targeting Cyber Threats by Recognizing Active and Passive Malicious Attack Techniques and Protecting Information | 2018 | Arheologija i prirodne nauke; 14; 103-114 | M52 |
Škundrić, Predrag; Korać, Vanja ; Davidovac, Zoran | Technological Aspect Of The Global Architecture Of The Security Operation Centre Of An Organisation | 2021 | Arheologija i prirodne nauke; 17; 167-176 | M51 |
Mihaljević, Miodrag J. | Tehnički izveštaj o evaluaciji kriptografske sigurnosti DocuCrypt rešenja | 2007 | | M80 |
Mihaljević, Miodrag J. | Tehnički izveštaj o evaluaciji kriptografske sigurnosti i redizajniranom CashTeleport rešenju | 2007 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Davidović, Tatjana | Tehnički izveštaj o evaluaciji kriptografske sigurnosti određenih kriptografskih tehnika od perspektivnog interesa za GSM mrežu Mobilne telefonije, Telekoma Srbije | 2008 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu govornog servisa Mobilne telefonije, Telekoma Srbije | 2007 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu negovornih servisa Mobilne telefonije, Telekoma Srbije | 2007 | | M80 |
Ognjanović, Zoran | Tehnologija ekspertnih sistema | 1994 | IV Naučni skup o sistemu naučnih i tehnoloških informacija "Stanje i tendencije razvoja sistema naučnih, tehnoloških i poslovnih informacija u Saveznoj republici Jugoslaviji", Vrnjačka Banja, 7. i 8. april 1994; 53-56 | M63 |
Karličić, Danilo ; Cajić, Milan ; Kozić, Predrag; Pavlović, Ivan | Temperature effects on the vibration and stability behavior of multi-layered graphene sheets embedded in an elastic medium | 1-Nov-2015 | Composite Structures; 131; 672-681 | M21a |
Hedrih, Katica (Stevanović) | Tensor equations of discrete dynamically defined and undefined systems with hereditary and creep light elements | 1-Jan-2010 | Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica; 56(1); 131-149 | M23 |
Tanović, Predrag | Teorija modela u Srbiji | 2010 | Istorijat logike u Srbiji, Beograd; 52-58 | M60 |
Pilipović, Ana; Ocokoljić, Marko; Janev, Marko ; Poša, Mihalj | The ternary mixed micelle of tween 20- sodium deoxycholate- sodium cholate: The molar excess thermodynamic potencials | 1-Apr-2022 | Journal of Chemical Thermodynamics; 167; 106695 | ~M21 |
Blagojević, Pavle ; Ziegler, Günter M. | Tetrahedra on deformed spheres and integral group cohomology | 10-Jun-2009 | Electronic Journal of Combinatorics; 16(2); 1-11 | M22 |
Dragović, Vladimir | The algebraic Bethe ansatz and vacuum vectors | 1994 | Publications de l'Institut Mathématique; 55(69); 105-110 | M24 |
Milovanović, Miloš | The Antroposophy of Professor Radojčić | 2010 | X. Österreichisches Symposium zur Geschichte der Mathematik; 178-186 | M30 |