Showing results 2086 to 2105 of 2740
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Stokić, Dragan; Vukobratović, Miomir; Leković, Đorđe; Jocković, Miroslav; Hristić, Dragan; Timčenko, Olga; Đurić, Nebojša; Rodić, Aleksandar; Ognjanović, Zoran | Program package for simulation and development of flexible manufacturing cells | 1988 | The fourth Yugoslav-Soviet symposium on applied robotics and flexible; 137-145 | M33 |
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, Nevena | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) | 2017 | | M82 |
Jelisavčić, Vladisav ; Marinković, Bojan ; Milutinović, Veljko; Mihajlović, Aleksandar; Ognjanović, Zoran ; Tomović, Siniša ; Todorović, Milan | Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project | 2013 | XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15 | M60 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marković, Mirko | Progress report in Serbia and Montenegro | 2004 | Coordinating digitisation in Europe; 226-230 | |
Vujošević, Sandra; Knežević, Milica ; Ognjanović, Zoran ; Šegan-Radonjić, Marija | PROJECT 'DIGITARIJUM': CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE | 2015 | 4th Annual Conference on Humanities and Their Methods in the Digital Ecosystem (AIUCD 2015) | M30 |
Kapetanović, Miodrag ; Krapež, Aleksandar | A Proof Procedure for the First Order Logic | 1989 | Publications de l'Institut Mathématique; 45(59); 3-5 | M24 |
Došen, Kosta ; Petrić, Zoran | Proof-Net Categories | 2007 | | M11 |
Todorović, Milan ; Matijević, Luka ; Ramljak, Dušan; Davidović, Tatjana ; Urošević, Dragan ; Jakšić Kruger, Tatjana ; Jovanović, Đorđe | Proof-of-Useful-Work: BlockChain Mining by Solving Real-Life Optimization Problems | 2022 | Symmetry; 14(9); 1831 | ~M22 |
Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade | Proofs and surfaces | 1-Oct-2020 | Annals of Pure and Applied Logic; 171(9); 102845 | M21 |
Al-Yakoob, Salem; Filipovski, Slobodan; Stevanović, Dragan | Proofs of a few special cases of a conjecture on energy of non-singular graphsi | 1-Jan-2021 | Match; 86(3); 577-586 | ~M22 |
Janković, Slobodanka ; Ostrogorski, Tatjana | The property of good decomposition in Hardy field | 1-Jan-2004 | Indian Journal of Pure and Applied Mathematics; 35(10); 1179-1183 | M23 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara | A proposal for the national standard for describing digitized heritage | 1-Dec-2006 | 10th International Conference on Electronic Publishing, ELPUB 2006; Bansko; Bulgaria; 14 June 2006 through 16 June 2006; Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing, ELPUB 2006; 387-388 | M33 |
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, Aleksandar | A propositional probabilistic logic with discrete linear time for reasoning about evidence | 24-Aug-2012 | Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243 | M23 |
Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving formal properties of the Chord protocol using Isabelle | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60 | M34 |
Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20 | M34 |
Fedorov, Yuri; Jovanović, Božidar | Prym varieties and generalisation of Jacobi–Mumford systems | 2018 | VII International Conference Geometry, Dynamics, Integrable Systems – GDIS 2018, 5. - 9. Jun, 2018; 31-31 | M30 |
Dragović, Vladimir ; Radnović, Milena | Pseudo-integrable billiards and double reflection nets | 1-Jan-2015 | Russian Mathematical Surveys; 70(1); 1-31 | M21a |
Petkovski, Ivana | Public and private investments in innovation activities in Serbia | 2021 | 3rd Virtual International Conference Path to a Knowledge Society-Managing Risks and Innovation PaKSoM 2021, November 15-16, 2021 | M33 |
Simić, Slobodan ; Stanić, Zoran | Q-integral graphs with edge-degrees at most five | 28-Oct-2008 | Discrete Mathematics; 308(20); 4625-4634 | M23 |