21 - 30 из 79Размер страницы: 10
Сортировать по:: Год публикации
  1. 2014

  2. Полная алгоритмическая доопределимость любых алгоритмов, работающих на ограниченной памяти

    Косовский, Н. К. & Косовская, Т. М., 2014, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1, 3, стр. 368-376

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики

    Косовский, Н. К. & Косовская, Т. М., 2014, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1(59), 2, стр. 192-195

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. Рефал-5E: разработка языка и реализация транслятора

    Гошев, В. А. & Косовский, Н. К., 2014, стр. 91.

    Результаты исследований: Материалы конференций › тезисы

  5. ТРИЗ-описания технологий инновационных решений в управлении вычислений

    Косовский, Н. К., 2014, Материалы конференции «Информационные технологии в управлении» (ИТУ-2014).. стр. 93-97

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

  6. 2013

  7. Algorithmic Decidability of Computer Program-Function Language Properties

    Kosovskiy, N., 2013, в: International Journal on Information Theory and Applications. 20, 2, стр. 131–136

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. Short Graph-Scheme of a Successful System Idea

    Kosovskiy, N., 2013, в: INFORMATION MODELS AND ANALYSES. 2, 2, стр. 127 – 131

    Результаты исследований: Научные публикации в периодических изданиях › статья

  9. Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере

    Косовский, Н. К., 2013, Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста». стр. 89-97

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная

  10. Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16.

    Косовский, Н. К., 2013, Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.. Институт проблем машиноведения РАН, стр. 17 — 22

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

  11. Технологии разработки инноваций

    Косовский, Н. К., 2013, Издательство Санкт-Петербургского университета.

    Результаты исследований: Книги, отчёты, сборники › учебно-методическое пособие › учебная

  12. 2012

  13. Polynomial-Time Effectiveness of Pascal, Turbo Prolog, Visual Prolog and Refal-5 Programs

    Kosovskiy, N. & Kosovskaya, T., 2012, в: INFORMATION MODELS AND ANALYSES. 1, 1, стр. 94-99

    Результаты исследований: Научные публикации в периодических изданиях › статья

Назад 1 2 3 4 5 6 7 8 Далее

ID: 194195