Кривий, Сергій Лук'янович, Київський національний університет імені Т. Шевченка, Ukraine

• Інженерія програмного забезпечення Том 17 № 1 (2014) - ТЕОРЕТИЧНІ ОСНОВИ ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
  АЛГОРИТМИ РОЗВ'ЯЗАННЯ СИСТЕМ ЛІНІЙНИХ ДІОФАНТОВИХ РІВНЯНЬ В КОНТЕКСТІ ПРОБЛЕМИ ВИКОНУВАНОСТІ ОБМЕЖЕНЬ. Ч. 1
  Анотація  PDF
• Інженерія програмного забезпечення Том 18 № 2 (2014) - ТЕОРЕТИЧНІ ОСНОВИ ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
  АЛГОРИТМИ РОЗВ'ЯЗАННЯ СИСТЕМ ЛІНІЙНИХ ДІОФАНТОВИХ РІВНЯНЬ В КОНТЕКСТІ ПРОБЛЕМИ ВИКОНУВАНОСТІ ОБМЕЖЕНЬ. Ч. 2
  Анотація  PDF