nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An approach to the development of debuggers that use semantics of constructs of parallel programs
|
Kalinov, A. Ya. |
|
2005 |
31 |
1 |
p. 20-28 |
artikel |
2 |
An approach to the development of debuggers that use semantics of constructs of parallel programs
|
Kalinov, A. Ya. |
|
2005 |
31 |
1 |
p. 20-28 |
artikel |
3 |
A UML-based modeling of web application controller
|
Gorshkova, E. A. |
|
2005 |
31 |
1 |
p. 29-33 |
artikel |
4 |
A UML-based modeling of web application controller
|
Gorshkova, E. A. |
|
2005 |
31 |
1 |
p. 29-33 |
artikel |
5 |
Implementation of the XML linking language XLink by functional methods
|
Lizorkin, D. A. |
|
2005 |
31 |
1 |
p. 34-46 |
artikel |
6 |
Implementation of the XML linking language XLink by functional methods
|
Lizorkin, D. A. |
|
2005 |
31 |
1 |
p. 34-46 |
artikel |
7 |
Problems of the development and quality control of large software systems
|
Lipaev, V. V. |
|
2005 |
31 |
1 |
p. 47-49 |
artikel |
8 |
Survey of compiler testing methods
|
Kossatchev, A. S. |
|
2005 |
31 |
1 |
p. 10-19 |
artikel |
9 |
Survey of Compiler Testing Methods
|
Kossatchev, A. S. |
|
2005 |
31 |
1 |
p. 10-19 |
artikel |
10 |
Symbolic method of verification of definite iterations over altered data structures
|
Nepomniaschy, V. A. |
|
2005 |
31 |
1 |
p. 1-9 |
artikel |
11 |
Symbolic method of verification of definite iterations over altered data structures
|
Nepomniaschy, V. A. |
|
2005 |
31 |
1 |
p. 1-9 |
artikel |