Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Help
Language
English
русский
Sign on to:
My DSpace
Receive email
updates
Edit Profile
_________________________
For Authors
Welcome to the Open access repository!
Search
Search:
All of DSpace
Научные журналы НИУ "БелГУ"
Научные ведомости БелГУ
Научные ведомости БелГУ
2009
Серия "История. Политология. Экономика. Информатика"
№ 1 (56), вып. 9
№ 1 (56), вып. 9/1
№ 15 (70), вып. 12
№ 15 (70), вып. 12/1
№ 7 (62), вып. 10
№ 7 (62), вып. 10/1
№ 9 (64), вып. 11
№ 9 (64), вып. 11/1
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-2 of 2 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2009
О стойкой обфускации компьютерных программ
Варновский, Н. П.
;
Захаров, В. А.
;
Кузюрин, Н. Н.
;
Шокуров, А. В.
2009
О верификации конечных параметризованных моделей распределенных программ
Булычев, П. Е.
;
Захаров, В. А.
Discover
Author
1
Булычев, П. Е.
1
Варновский, Н. П.
1
Кузюрин, Н. Н.
1
Шокуров, А. В.
Subject
2
математика
2
математическая кибернетика
1
верификация
1
интерполяция
1
компьютерные программы
1
оценка производной
1
программы
1
темпоральная логика
1
частотное представление
Date issued
2
2009