1. Research with MATF

Informatics and Computer Science

View Statistics Email Alert RSS Feed

Card

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 651-657 of 657 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
651-Recognition of odonyms in Serbian languageVujičić Stanković, Staša ; Vitas, Duško; Utvić, Miloš
652-Automated generation and checking of verification conditionsVujošević Janičić, Milena M70
653-Computer-Assisted Theorem Proving in Synthetic GeometryNarboux, Julien; Janičić, Predrag ; Fleuriot, JacquesM14
654-Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставникеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
655-Priznati programski sistem (uz dokaz)Vukša Popović, Nikolina ; Vučković, Bojan; Vučković, Vesna; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Nadežda; Stojanović, Biljana; Maksimović, Slavko; Stojanović, Slobodan; Milisavljević, Slaviša; Višić, DuškoM80
656-An Algorithm for Sentence Recovery from PDF FilesPajić, Vesna; Vujičić Stanković, Staša ; Pajić, MilošM53
657-Optimizacija neuronskih mreža Bulovim funkcijamaStojanović, V.; Marić, Miroslav M63