| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm
|
Borisov, A. V.
|
|
|
49 |
5 |
p. 388-400
|
artikel
|
| 2 |
Automata-Based Software Engineering with Event-B
|
Shelekhov, V. I.
|
|
|
49 |
5 |
p. 470-483
|
artikel
|
| 3 |
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
|
Fedotov, I. A.
|
|
|
49 |
5 |
p. 448-454
|
artikel
|
| 4 |
Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables
|
Kornyak, V. V.
|
|
|
49 |
5 |
p. 423-432
|
artikel
|
| 5 |
Database Migration from ORACLE to PostgreSQL
|
Kurako, E. A.
|
|
|
49 |
5 |
p. 455-463
|
artikel
|
| 6 |
Effective Lower Bounds on the Matrix Rank and Their Applications
|
Zverkov, O. A.
|
|
|
49 |
5 |
p. 441-447
|
artikel
|
| 7 |
Metaclasses in UML and in Programming Languages
|
Sergievskiy, M. V.
|
|
|
49 |
5 |
p. 464-469
|
artikel
|
| 8 |
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems
|
Baddour, A.
|
|
|
49 |
5 |
p. 412-422
|
artikel
|
| 9 |
Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights
|
Prokopenya, A. N.
|
|
|
49 |
5 |
p. 433-440
|
artikel
|
| 10 |
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients
|
Abramov, S. A.
|
|
|
49 |
5 |
p. 401-411
|
artikel
|
| 11 |
Twenty Similarity Functions for Two Finite Sequences
|
Burdonov, I.
|
|
|
49 |
5 |
p. 373-387
|
artikel
|
Tijdschrift beschrijving