|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Application of the 9P Protocol in Organizing a High-Speed Shared Memory Buffer for Intermediate Computations (RAMPL) |
Kulagin, A. K. |
|
51 | 4 |
p. 257-261 |
artikel |
|
| 2 | Automatic Inference of Synchronous Regular Invariants |
Vasenina, A. I. |
|
51 | 4 |
p. 242-256 |
artikel |
|
| 3 | Computer-Algebraic Study of the Asymptotic Method for Modeling Waveguide Propagation of Electromagnetic Radiation |
Starikov, D. A. |
|
51 | 4 |
p. 217-223 |
artikel |
|
| 4 | Constraint Programming for Automatic User Interface Construction |
Lozov, P. A. |
|
51 | 4 |
p. 262-273 |
artikel |
|
| 5 | Do Internal Software Metrics Have Relationship with Fault-Proneness and Change-Proneness? |
Rahman, Md. Masudur |
|
51 | 4 |
p. 274-282 |
artikel |
|
| 6 | Improving System Survivability by Path Duplication |
Burdonov, I. B. |
|
51 | 4 |
p. 224-241 |
artikel |
|
| 7 | PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+) |
Timakov, A. A. |
|
51 | 4 |
p. 283-296 |
artikel |
7 gevonden resultaten