nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Survey of Software Dynamic Analysis Methods
|
Kuliamin, V. V. |
|
|
50 |
1 |
p. 90-114 |
artikel |
2 |
Calculating Similarity of Javadoc Comments
|
Koznov, D. V. |
|
|
50 |
1 |
p. 85-89 |
artikel |
3 |
Description of Paralocks Language Semantics in TLA+
|
Timakov, A. A. |
|
|
50 |
1 |
p. 53-62 |
artikel |
4 |
Fuzzy Measure on p-Adic Balls Defined on a Finite Number Set
|
Bocharnikov, V. P. |
|
|
50 |
1 |
p. 1-10 |
artikel |
5 |
Interactive Calculation of Light Refraction and Caustics Using a Graphics Processor
|
Vyatkin, S. I. |
|
|
50 |
1 |
p. 63-72 |
artikel |
6 |
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design
|
Shirobokov, M. G. |
|
|
50 |
1 |
p. 42-52 |
artikel |
7 |
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network
|
Fedorenko, V. A. |
|
|
50 |
1 |
p. 73-84 |
artikel |
8 |
On Linear Cellular Automata
|
Kulikov, V. R. |
|
|
50 |
1 |
p. 24-30 |
artikel |
9 |
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps
|
Popov, S. E. |
|
|
50 |
1 |
p. 31-41 |
artikel |
10 |
The Use of Functional Programming Library for Parallel Computing on CUDA
|
Krasnov, M. M. |
|
|
50 |
1 |
p. 11-23 |
artikel |