Browsing by Department Mathematical Institute of the Serbian Academy of Sciences and Arts


Or, select a letter below to start browsing
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2514 to 2533 of 2839 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
Ognjanović, Zoran A tableau-like proof procedure for normal modal logics20-Jun-1994Theoretical Computer Science; 129(1); 167-186M23
Kapetanović, Miodrag A Tableaux System in Modal Logic1981Publications de l'Institut Mathématique; 30(44); 65-67M24
Kapetanović, Miodrag ; Isaković-Ilić, M.A tableu based prover for BCK logic2001Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30M33
Kapetanović, Miodrag Tabloi za substrukturne logike2003Skup posvećenom A. Kronu, Beograd 2003M64
Mukherjee, Shuvajit; Maeder, Marcus; Cajić, Milan ; Kronowetter, Felix; Adhikari, Sondipon; Marburg, SteffenTailoring band gap properties of curved hexagonal lattices with nodal cantilevers1-Oct-2024Composite Structures; 345; 118342~M21a
Stošić, Marko ; Wedrich, PaulTangle addition and the knots-quivers correspondence18-Jan-2021Journal of the London Mathematical Society~M21
Korać, Vanja ; Prlja, DraganTargeting Cyber Threats by Recognizing Active and Passive Malicious Attack Techniques and Protecting Information2018Arheologija i prirodne nauke; 14; 103-114M52
Škundrić, Predrag; Korać, Vanja ; Davidovac, ZoranTechnological Aspect Of The Global Architecture Of The Security Operation Centre Of An Organisation2021Arheologija i prirodne nauke; 17; 167-176M51
Petkovski, Ivana ; Fedajev, Aleksandra; Mihajlović, IvanTechnology-based factors of globalization in market and transition economies. Is there a difference?2024Business Management and Economics Engineering; 22(1); 33-52
Mihaljević, Miodrag J. Tehnički izveštaj o evaluaciji kriptografske sigurnosti DocuCrypt rešenja2007M80
Mihaljević, Miodrag J. Tehnički izveštaj o evaluaciji kriptografske sigurnosti i redizajniranom CashTeleport rešenju2007M80
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 Srbije2008M80
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu govornog servisa Mobilne telefonije, Telekoma Srbije2007M80
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu negovornih servisa Mobilne telefonije, Telekoma Srbije2007M80
Ognjanović, Zoran Tehnologija ekspertnih sistema1994IV 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-56M63
Karličić, Danilo ; Cajić, Milan ; Kozić, Predrag; Pavlović, IvanTemperature effects on the vibration and stability behavior of multi-layered graphene sheets embedded in an elastic medium1-Nov-2015Composite Structures; 131; 672-681M21a
Hedrih, Katica (Stevanović) Tensor equations of discrete dynamically defined and undefined systems with hereditary and creep light elements1-Jan-2010Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica; 56(1); 131-149M23
Tanović, Predrag Teorija modela u Srbiji2010Istorijat logike u Srbiji, Beograd; 52-58M60
Pilipović, Ana; Ocokoljić, Marko; Janev, Marko ; Poša, MihaljThe ternary mixed micelle of tween 20- sodium deoxycholate- sodium cholate: The molar excess thermodynamic potencials1-Apr-2022Journal of Chemical Thermodynamics; 167; 106695~M21