Toggle navigation
National Repository of Dissertations in Serbia
English
Српски
Српски (Serbia)
English
English
Serbian (Cyrilic)
Serbian (Latin)
Login
Toggle navigation
Browsing Математички факултет by Subject
NaRDuS home
Универзитет у Београду
Математички факултет
Browsing Математички факултет by Subject
NaRDuS home
Универзитет у Београду
Математички факултет
Browsing Математички факултет by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Математички факултет by Subject
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
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
Go
Order:
ascending
descending
Results:
5
10
20
40
60
80
100
Update
Now showing items 54-73 of 1439
ascending
descending
5
10
20
40
60
80
100
Subject
automated bug finding
[1]
automated generation of readable proofs
[2]
automated reasoning
[2]
automated theorem proving
[3]
automatic semantic annotation
[1]
automatska semanti£ka anotacija
[1]
automatsko dokazivanje teorema
[1]
automatsko pronalaženje grešaka u programu
[1]
axiomatic method
[1]
b-complete metric space
[1]
b-комплетан метрички простор
[1]
Bahadur eficiency
[1]
balanced graphs
[1]
balanced incomplete block design
[1]
balansirani grafovi
[1]
Banach-ова контракција
[1]
Banach’s contraction
[1]
Bayes estimator
[1]
Berezin transform
[1]
Bergman projection
[1]
Search DSpace
This Collection
Browse
All of DSpace
Universities & Faculties
Authors
Mentor
Committee members
Subjects
This Collection
Authors
Mentor
Committee members
Subjects