Кафедра информатики

математико-механического факультета СПбГУ

Новости

О кафедре

Преподаватели

Публикации

История кафедры

Для обучающихся

Контакты

Публикации

  1. Косовская Т.М. Применение неполной выводимости в исчислении предикатов для решения ряда задач Искусственного Интеллекта // Дискретные модели в теории управляющих систем: IX Международная конференция, Москва и Подмосковье, 20 — 22 мая 2915 г.: Труды / Отв. Ред. В.Б. Алексеев, Д.С. Романов, Б.Р. Данилов. - М.: МАКС-Пресс, 2015. - С. 121 — 123.
  2. Kosovskii N. K., Kosovskaya T. M., Kosovskii N. N. Mutual Upper Bounds of Size and Time for a Turing Machine and a Markov–Post Algorithm for Mutual Simulations // Vestnik St. Petersburg University. Mathematics, 2015, Vol. 48, No. 2, pp. 72–74. © Allerton Press, Inc., 2015. Косовский Н.К., Косовская Т.М., Косовский Н.Н. Совместные ограничения сверху зоны и времени для взаимного моделирования машин Тьюринга и алгоритмов Маркова — Поста // Вестник Санкт-Петербургского университета, серия 1: Математика, Механика, Астрономия. Т. 1, вып. 2, 2015. С. 191 — 194.
  3. Kosovskaya T. Self-modificated predicate networks // International Journal «Information Theories and Applications», Vol. 22, No 3. 2015. P. 245 – 257.
  4. Петухова Н.Д., Косовская Т.М. Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта // Вестник Санкт-Петербургского университета, серия 10, вып. 3, 2015. С. 67 — 82.
  5. Kosovskaya T.M. Level system of formulas for decreasing the number of proof steps of formulas simulating some Artificial Intelligence problems // CLMPS. 15-th Congress of Logic, Methodology and Philosopfy of Science. Book of abstracts. 3 - 8 August 2015, University of Helsinki. P. 283.
  6. Косовский Н.К., Косовский Н.Н. NP-полнота задачи проверки совместности в отрезке целых чисел системы целочисленных линейных уравнений и дизуравнений // Дискретные модели в теории управляющих систем: IX Международная конференция, Москва и Подмосковье, 20 — 22 мая 2915 г.: Труды / Отв. Ред. В.Б. Алексеев, Д.С. Романов, Б.Р. Данилов. - М.: МАКС-Пресс, 2015. - С. 123 — 125.
  7. Kosovskii N.K., Kosovskii N.N. Systems of Linear Diophantine Equations and Dis-Equations Complexity // International Journal «Information Theories and Applications», Vol. 22, No 3. 2015. P. 258 – 265.
  8. Косовская Т.М. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения // Труды СПИИРАН, 2010. Вып. 14. С. 58 – 75. (Kosovskaya T. M. Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps // Proceedings of SPIIRAS. 2010, No 14. P. 58 – 75.)
  9. Федорченко Л.Н. SynGT: применение атрибутов // Региональная информатика и информационная безопасность. Сборник трудов РИ и ИБРР. Выпуск 1 / СПОИСУ. – СПб. 2015. – 572 с. С. 68–73.
  10. Kosovskaya T. Construction of Class Level Description for Efficient Recognition of a Complex Object // International Journal «Information Content and Processing», Vol. 1,No 1. 2014. P. 92 – 99.
  11. Косовский Н.К., Косовская Т.М. Принадлежность классу {\bf P} задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики // Вестник Санкт-Петербургского университета, серия 1: Математика, Механика, Астрономия. Т. 1 (59), вып. 2, 2014. С. 192 — 195.
  12. Косовская Т.М. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов // Труды СПИИРАН - 2014. - №3 (34). - С. 204-217.
  13. Косовская Т.М. Выделение общих черт объектов в интеллектуальных системах // Материалы конференции «Информационные технологии в управлении» (ИТУ-2014). — Спб.: ОАО «Концерн «ЦНИИ «Электронприбор», 2014. С. 87 — 92.
  14. Косовская Т.М. Модель формирования логико-предикатной нейронной сети // Материалы Всероссийской научной конференции по проблемам информатики СПИСОК-2014 (23 — 25 апреля 2014 г., Санкт-Петербург). Изд-во: Спб, ВВМ. 2014. С. 44 — 47.
  15. Косовская Т.М. Понятие неполной выводимости предикатной формулы и его применеия к решению задач искусственного интеллекта // Материалы Всероссийской научной конференции по проблемам информатики СПИСОК-2014 (23 — 25 апреля 2014 г., Санкт-Петербург). Изд-во: Спб, ВВМ. 2014. С. 105 — 109.
  16. Косовский Н.К., Косовская Т.М. Полная алгоритмическая доопределимость любых алгоритмов, работающих на ограниченной памяти // Вестник Санкт-Петербургского университета, серия 1: Математика, Механика, Астрономия. Т. 1 (59), вып. 3, 2014. С. 368 — 376.
  17. Kosovskii~N.K., Kosovskaya~T.M. Total algorithmic extension of an algorithm running on the bounded space. In: Vestnik of St-Petersburg University, series 1, No 3 (2014). P. 368 — 376.
  18. Петухова Н.Д., Косовская Т.М. Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова // Компьютерные Инструменты В Образовании. № 3, 2014. С. 9 — 20.
  19. Гошев В.А., Косовский Н.К. Рефал-5E: разработка языка и реализация транслятора // Технологии Microsoft в теории и практике программирования. Новые подходы к разработке программного обеспечения по технологиям Microsoft и EMC : материалы учебно-практической конференции школьников, студентов, аспирантов и молодых учёных Северо-Западного Федерального округа. - Спб.: Изд-во Политехн. Ун-та. 2014. С. 91.
  20. Kosovskii N. A Language Using Quantifiers for Description of Assertions about Some Number Total Functions // International Journal «Information Theories and Applications», Vol. 21, Number 2, 2014. P. 120 – 125.
  21. Косовский Н.К. ТРИЗ-описания технологий инновационных решений в управлении вычислений // Материалы конференции «Информационные технологии в управлении» (ИТУ-2014). — Спб.: ОАО «Концерн «ЦНИИ «Электронприбор», 2014. С. 93 — 97.
  22. Косовский Н.К. Паскаль функции на основе числовых и булевых типов данных и сложность задачи вычисления одного подкласса таких функций // Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) — ТИПД-2014. Труды IV Всероссийской научной конференции с международным участием. Т. 1. Ижевск: Изд-во «Удмурдский университет». 2014 — с. 31.
  23. Косовский Н.К. Алгоритмическая сложность верификации паскаль-функций для числовых и булевых типов данных // Лавровские чтения 2014: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2014 г. Санкт-Петербург: — Спб: ВВМ. 2014. — С. 67 -76.
  24. Ludmila Fedorchenko, Sergey Baranov Equivalent Transformations and Regularization in Context–Free Grammars, // Bulgarian Academy of Sciences / Cybernetics and Information Technologies (CIT) Volume 14, No 4, pp.29-44. Sofia 2014
  25. Федорченко Л.Н. Метод регуляризации грамматик в системах построения языковых процессоров // Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 11. С. 40-45.
  26. Федорченко Л.Н.Эквивалентность как отношение подобия в трансляции языков //Вестник Бурятского государственного университета. 2014. № 9-3. С. 49–53
  27. Л.М. Лукьянова, Л.Н. Федорченко Формализация человеко-машинного формирования целей производственной системы. 1. Задача разработки языка целей. // Системные исследования в науке, управлении и образовании: сб. научных трудов / под ред. Л.М. Лукьяновой. С. 113–124. // Калининград: Изд-во ФГБОУ ВПО «КГТУ», 2014. – 151 с.
  28. Л.Н. Федорченко, Л.М. Лукьянова Формализация человеко-машинного формирования целей производственной системы. 2. Задача построения распознавателя языка целей. // Системные исследования в науке, управлении и образовании: сб. научных трудов / под ред. Л.М. Лукьяновой. C. 124–134.// Калининград: Изд-во ФГБОУ ВПО «КГТУ», 2014. – 151 с.
  29. Косовская Т.М., Власова М.А. Использование языков семейства Prolog для распознавания изображений // Труды СПИИРАН, 25 (2013). 277 – 293.
  30. Тимофеев А.В., Косовская Т.М. Нейросетевые методы логического описания и распознавания сложных образов // Труды СПИИРАН, 27 (2013). С. 144 – 155.
  31. Kosovskaya T., Vlasova M. Efficient Simulation for Prolog Implementation of Image Recognition Problem // International Journal «Information Theories and Applications», Vol. 20, Number 2, 2013. P. 156 – 161. ISSN 1310-0513 (printed) ISSN 1313-0463 (online) ISSN 1313-0498 (CD/DVD)
  32. Kosovskaya T., Petukhova N. The Inverse Maslov Method and Ant Tactics for Exhaustive Search Decreasing // International Journal «Information Models and Analyses», Vol. 2,No 1 . 2013. P. 81 – 89.
  33. Косовская Т.М. Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов. Учебное пособие. СПб: Изд-во С.-Петерб. ун-та, 2013. 127 c. ISBN 978-5-288-05495-2
  34. Малевич А.В., Косовский Н.К. Разработка программного обеспечения построенного на онтологии предметной области на языке турбо-пролог // Технологии Mirosoft в теории и практике программирования (Новые подходы к разработке программного обеспечения на примере технологий Mirosoft и EMC): Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых учёных Северо-Запада. СПб.: Изд-во Политехн. Ун-та, 2013. С. 100 – 101.
  35. Kosovskiy N. Algorithmic Decidability of Computer Program-Function Language Properties // International Journal «Information Theories and Applications», Vol. 20, Number 2, 2013. P. 131 – 136.
  36. Kosovskiy N. Short Graph-Scheme of a Successful System Idea // International Journal «Information Models and Analyses», Vo2. Number 2, 2013. P. 127 – 131.
  37. Косовский Н.К. Доказательства принадлежности рефал-5 функций некоторым подклассам FP-space // Компьютерные инструменты в образовании. № 3, 2013. C. 3 – 8.
  38. Косовский Н.К. Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5 // Компьютерные инструменты в образовании. № 4, 2013. С. 3 – 8.
  39. Косовский Н.К. Формализованная дискретность в математике как основа обучения информатике // Компьютерные инструменты в образовании. № 6, 2013. С. 58 – 64.
  40. Косовский Н.К. Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере // Лавровские чтения2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста», 2013. С. 89-97.
  41. Косовский Н.К. Технологии разработки инноваций: Учебное пособие. СПб.: Изд-во С.-Петерб. ун-та, 2013. - 186 с.
  42. Косовский Н.К. Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. // Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина. — М.: Изд-во ИПМ РАН, 2013. С. 17 — 22.
  43. Atiskov A.Y., Fedorchenko L.N., Vorobiev V.I., Moldovyan N.A., Novikov F.A. Ontology-based analysis of cryptography standards and possibilities of their harmonization. Глава в книге: Theory and Practice of Cryptography Solutions for Secure Information Systems 2013. С. 1-33.
  44. Федорченко Л.Н. Об аспектах онтологического анализа документов в стандартах информационной безопасности // Информационная безопасность регионов России (ИБРР – 2013) / VIII Санкт–Петербургская межрегиональная конференция. Санкт-Петербург. 23–25 октября 2013 г: Материалы конференции / СПОИСУ – СПб, 2013 – C. 71-73.
  45. 9. Федорченко Л.Н. Минимизация трансляционной КСР-грамматики и состояний синтаксического анализатора КСР-языка // Вестник Бурятского государственного университета. / № 9-декабрь, Улан-Удэ: Изд-во Бурятского госуниверситета, 2013. – С.
  46. Яхонтов С.В., Косовский Н.К., Косовская Т.М. Эффективные по времени и памяти алгоритмические приближения чисел и функций. Учебное пособие. СПб: Изд-во С.-Петерб. ун-та, 2012. 256 c. ISBN 978-5-288-05283-5
  47. Kosovskaya T., Petukhova N. The Inverse Method for Solving Artificial Intelligence Problems in the Frameworks of Logic-Objective Approach and Bounds of its Number of Steps // International Journal «Information Models and Analyses», Vol. 1. 2012. P. 84 – 93. ISSN 1314-6416 (printed); 1314-6424 (CD); 1314-6432 (online)
  48. Kosovskiy N., Kosovskaya T. Polynomial-Time Effectiveness of Pascal, Turbo Prolog, Visual Prolog and Refal-5 Programs // International Journal «Information Models and Analyses», Vol. 1. 2012. P. 94 – 99. ISSN 1314-6416 (printed); 1314-6424 (CD); 1314-6432 (online)
  49. Bondar N., Kosovskaya T. Software for the Recognition of Polyhedron Contour Images in the Frameworks of Logic-Objective Recognition System // International Journal «Information Models and Analyses», Vol. 1. 2012. P. 170 – 178. ISSN 1314-6416 (printed); 1314-6424 (CD); 1314-6432 (online)
  50. Kosovskaya T. Distance between objects described by predicate formulas // Mathematics of Distances and Applications (Michel Deza, Michel Petitjean, Krasimir Markov (eds)), ITHEA – Publisher, Sofia, Bulgaria, 2012. P. 153 – 159. International Book Series. Information Science and Computing. Book 25. Mathematics of Distances and Applications.
  51. Яхонтов С.В., Косовский Н.К., Косовская Т.М. Эффективные по времени и памяти алгоритмические приближения чисел и функций. Учебное пособие. СПб: Изд-во С.-Петерб. ун-та, 2012. 256 c. ISBN 978-5-288-05283-5
  52. Kosovskiy N.K. Turbo or Visual Prolog Polynomial-Time Query for List Processing as Polynomial-Time Turing Machine. // International Conference «Polynomial Computer Algebra '2012» St. Petersburg, Russia, April 23 – 28, 2012. International Euler Institute. 2012, p. 47 – 49.
  53. Kosovskiy N., Kosovskaya T. Polynomial-Time Effectiveness of Pascal, Turbo Prolog, Visual Prolog and Refal-5 Programs // International Journal «Information Models and Analyses», Vol. 1. 2012. P. 94 – 99.
  54. Косовский Н.К. Математические понятия алгоритма, основанные на языке рефал, для доказательств полиномиальной сложности вычислений // Материалы конференции «Информационные технологии в управлении» (ИТУ-2012). - СПб.: ОАО «Концерн «ЦНИИ «Электроприбор». 2012 – С. 84 – 92. ISBN 978-5-900780-94-8
  55. Косовский Н.К. Полиномиально ограниченный сверху объём изменений программ на RAM+BOOL для доказательства принадлежности FP. // Записки научных семинаров ПОМИ, Том 407. Исследования по конструктивной математике и математической логике XII. Сборник работ. – СПб.: С.Петербургское отделение Математического института им. В.А. Стеклова РАН, ВВМ, 2012. – С. 105 – 110. ISBN 978-5-9651-0706-3
  56. Записки научных семинаров ПОМИ, Том 407, 2012 N.K. Kosovskii. Polynomial Upper Bounds on the Size of Changes of a RAM+BOOL Program as a Tool for Proving Belonging to FP // Journal of Mathematical Sciences, May 2014, Volume 199, Issue 1, pp.53-55.
  57. Kosovskaya T. Discrete Artificial Intelligence Problems and Number of Steps of their Solution // International Journal on Information Theories and Applications, Vol. 18, Number 1, 2011. P. 93 – 99. ISSN 1310-0513 (printed) ISSN 1313-0463 (online) ISSN 1313-0498 (CD/DVD)
  58. Косовская Т.М. Оценки числа шагов алгоритмов для распознавания изображений на экране дисплея в рамках логико-предметной двухуровневой распознающей системы // Труды СПИИРАН, 2011. Вып. 4(19). С. 159 – 175. ISSN 2078-9181 (print), ISSN 2078-9599 (online)
  59. Косовский Н.К. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами // Компьютерные инструменты в образовании. № 1, 2011. С. 4 – 11.
  60. Косовский Н.К. Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами // Алгебра и математическая логика: материалы международной конференции, посвящённой 100-летию со дня рождения профессора В.В. Морозова и молодёжной школы-конференции «Современные проблемы алгебры и математической логики»; Казань, 25-30 сентября 2011. – Казань: КФУ, 2011. – С. 113 – 115.
  61. Косовская Т.М., Косовский Н.К. Основы доказательств полиномиальной быстроты простейших математических алгоритмов // Компьютерные инструменты в образовании. № 2, 2010. С. 3 – 13.
  62. Косовская Т.М., Косовский Н.К. Принадлежность классу FP дважды полиномиальных паскалевидных функций над подпрограммами из FP // Компьютерные инструменты в образовании. № 3, 2010. С. 3 – 7.
  63. Косовский Н.К. Эквивалентность условий эффективности машин Тьюринга, нормальных и продукционных алгоритмов // Проблемы информатики в образовании, управлении, экономике и технике: Сб. Статей X Международной научно-технической конференции. – Пенза: Приволжский Дом знаний, 2010. С. 5 – 7.
  64. Косовский Н.К. Условия полиномиальности числа шагов алгоритмов РАМ и РАСП при реализации их на машинах Тьюринга // Материалы X Международного семинара “Дискретная математика и ее приложения”, (Москва, 6 – 10 февраля 2010 г.) Изд. мех-мат МГУ, М., 2010. (3 стр.)
  65. Nikolay K. Kosovsky, Polynomial-time decidability of a bounded universal theory of congruences modulo a prime number, In: Solomon Feferman and Wilfried Sieg (editors), with the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Quiroz, Proof, Categories, and Computations, Essays in Honor of Grigori Mints, College Publications, London, UK, 2010, pp. 145-152.
  66. Косовский Н.К., Косовская Т.М. Полиномиальный тезис Чёрча для рефал-5 функций, нормальных алгоритмов и их обобщений // Компьютерные инструменты в образовании. № 5, 2010. С. 12 – 21.
  67. Косовский Н.К. О сложности проверки совместности в {0,1}-решениях систем полиномиальных сравнений и дизсравнений. Сборник научных трудов научно-практической конференции по современным проблемам прикладной информатики. 19-20 мая 2009 года / отв. ред. И.А.Брусакова, Е.Н.Панова. СПб.: Изд-во Политехн.ун-та, 2009. С. 86-89.
  68. Косовский Н.К., Леонов Г.А., Терехов А.Н. Роль математического образования в подготовке специалистов по информационным технологиям. Санкт-Петербургский научный форум Наука и общество: Информационные технологии. (4-я Петербургская встреча Нобелевских лауреатов). 21-25 сентября 2009 года. Тезисы докладов. С. 140-143.
  69. Ампилова Н.Б., Терентьев С.В. О применении интервальной арифметики при численном исследовании динамических систем. Вестн. С.-Петерб. ун-та. Сер.10. 2009. Вып. 4.
  70. Ампилова Н.Б. Применение символического образа при численном исследовании динамических систем. Труды международной научно-технической конференции "Компьютерное моделирование 2009", 23-24 июня 2009, СПбГПУ.
  71. Николаева Д.А., Ампилова Н.Б. Применение корреляционной размерности для анализа альфа-ритма ЭЭГ человека с заболеванием эпилепсия. Материалы межвузовской конференции "Технологии Майкрософт в теории и практике программирования", С.-Петербург, март 2009. С. 164-165.
  72. Герасимов А.С. Курс математической логики и теории вычислимости: Учебное пособие. СПб.: Издательство "ЛЕМА", 2009. 234 с.
  73. Галкин А.В., Соловьев И.П. Разработка программного интерпретатора модельной реализации методов генетического программирования для задачи управления движением простого абстрактного агента. Материалы межвузовской конференции "Технологии Майкрософт в теории и практике программирования", С.-Петербург, март 2009. С. 138-139.
  74. Сафонов В.О., Близнюк А.В. Система видеонаблюдения с общим сервером в сети Интернет. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2009 г.
  75. Сафонов В.О., Бородин С.И. Применение обучения с подкреплением в задаче выравнивания нагрузки серверов JEE-приложений. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2009 г.
  76. Сафонов В. О., Беляков П.А.. Исследование возможности верификации полноты представления знаний на базе платформы Knowledge.NET. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2009 г.
  77. Сафонов В.О. "Золотой век" операционных систем и преподавание ОС в университетах России. Компьютерные инструменты в образовании, 2009, N 1, 3-9.
  78. Сафонов В.О. Технологии Sun Microsystems и открытое программное обеспечение: опыт мат-меха. Компьютерные инструменты в образовании, 2009, N 2, 6-11.
  79. Сафонов В.О. Архитектуры и модели программ и знаний. Материалы учебного курса. Web-публикация на академическом сайте Microsoft: http://www.microsoft.com/msdnaa/curricula, декабрь 2009.
  80. Сафонов В.О., Доан Нгуен Ван. Применение системы Aspect.NET для реализации аспектно-ориентированного программирования при разработке ASP.NET-приложений. Всеросийская конференция с элементами научной школы для молодежи "Проведение научных исследований в области обработки, хранения, передачи и защиты информации", 1-5 декабря 2009, Россия, Ульяновск: сборник научных трудов. В 4 т. Ульяновск: УлГТУ, 2009, т.3, 22-29.
  81. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков: значения и конструкции. Ж. Компьютерные инструменты в образовании, 2009, N 1, 10-25.
  82. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков: описания и окружения. Ж. Компьютерные инструменты в образованииб 2009, N 2, 12-29.
  83. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков: генераторы и имена. Ж. Компьютерные инструменты в образовании, 2009, N 3, 3-17.
  84. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков: приведения. Ж. Компьютерные инструменты в образовании, 2009, N 4, 5-29.
  85. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков: условные и вариантные предложения. Ж. Компьютерные инструменты в образовании, 2009, N 5, 7-16.
  86. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков: объединения, сопоставляющие предложения и окружения Ж. Компьютерные инструменты в образовании, 2009, N 6, 12-21.
  87. Николенко С.И., Тулупьев А.Л. Самообучающиеся системы М.: МНЦМО, 2009. 288 с.
  88. Тулупьев А.Л., Сироткин А.В., Николенко С.И. Байесовские сети доверия: логико-вероятностный вывод в ациклическийх направленных графах. (Элементы мягких вычислений.) СПб.: Изд-во С.-Петербургского ун-та, 2009. 400 с.
  89. Дмитриева М.В. Основы программирования для Интернет. Апплеты. Ж. Компьютерные инструменты в школе, 2009, N 1, 28-40.
  90. Дмитриева М.В. Пользовательский интерфейс. Графические методы. Ж. Компьютерные инструменты в школе, 2009, N 2, 53-65.
  91. Дмитриева М.В. Изображения и простые анимационные эффекты. Ж. Компьютерные инструменты в школе, 2009, N 3, 40-52.
  92. Дмитриева М.В. Инструментарий для создания графических интерфейсов. Текст и кнопки. Ж. Компьютерные инструменты в школе, 2009, N 4, 30-42.
  93. Дмитриева М.В. Менеджер размещения. Панели и холсты. Ж. Компьютерные инструменты в школе, 2009, N 5, 22-33.
  94. Дмитриева М.В. Компоненты пользовательского интерфейса. Ж. Компьютерные инструменты в школе, 2009, N 6, 38-48.
  95. Косовский Н.К., Дарвиш А. P-SPACE-полнота разрешимости элементарной теории компьютерно-целых чисел. Современные проблемы прикладной информатики, 2008.
  96. Косовский Н.К. Легендарная личность С.С.Лаврова и ее влияние на преподавание программирования. Международная научная конференция "Космос, астрономия, программирование" (Лавровские чтения), 2008.
  97. Косовский Н.К. Представление алгоритмов класса FLIN-SPACE итеративно неудлиняющими алгоритмами. Международная научная конференция "Космос, астрономия, программирование" (Лавровские чтения), 2008.
  98. Косовский Н.К. Технология описания компьютерных алгоритмов на основе алгоритмов Маркова-Поста. Технологии информатизации профессиональной деятельности, 2008.
  99. Косовский Н.К. Условия полиномиальности алгоритмов, реализуемых на машинах Тьюринга с оракулами-функциями. XVII Международная школа-семинар "Синтез и сложность управляющих систем" имени академика О.Б. Лупанова, 2008.
  100. Косовский Н.К., Киреенко А.Б. Информационная система для управления железнодорожными перевозками на территории Ижорского завода г. Колпино Ленинградской области. Технологии MICROSOFT в теории и практике программирования, 2008.
  101. Safonov V.O. Using Aspect-Oriented Programming for Trustworthy Software Development. ISBN 978-0-470-13817-5. ("Использование аспектно-ориентированного программирования для разработки надежных и безопасных программ", монография, на англ. языке.) Wiley International. John Wiley & Sons, May 2008. 352 с.
  102. Сафонов В.О., Грачев М.К., Григорьев Д.А., Масленников А.И. Aspect.NET. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2008.
  103. Сафонов В.О., Муханов Р.С. AspectRotor - версия системы Aspect.NET для SSCLI/Rotor. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2008.
  104. Сафонов В.О. Aspect.NET - инструмент аспектно-ориентированного программирования для разработки надежных и безопасных программ. Компьютерные инструменты в образовании, 2007, N 5.
  105. Сафонов В.О. Практическое руководство по системе аспектно-ориентированного программирования Aspect.NET. Компьютерные инструменты в образовании, 2008, N 3.
  106. Сафонов В.О. Практическое руководство по системе аспектно-ориентированного программирования Aspect.NET. Часть 2. Компьютерные инструменты в образовании, 2008, N 4.
  107. Сафонов В.О. Святослав Сергеевич Лавров - ученый, учитель, человек. Компьютерные инструменты в образовании, 2008, N 2.
  108. Сафонов В.О. Электронная почта (email) - посведневный инструмент программиста. Компьютерные инструменты в образовании, 2008, N 1.
  109. Сафонов В.О. Актуальные проблемы преподавания технологий программирования в России. Компьютерные инструменты в образовании, 2008, N 5.
  110. Сафонов В.О. Творческое наследие С.С. Лаврова в области программирования и развитие его научных идей в СПбГУ. Web-публикация на сайте международной конференции "Космос. Астрономия. Программирование". СПбГУ, май 2008. http://pub.math.spbu.ru/lavrov
  111. Сафонов В.О. Trustworthy Compiler Development. University course Curriculum. (Разработка надежных компиляторов. Материалы университетского курса, на англ. яз.) Web-публикация на академическом сайте фирмы Microsoft http://www.msdnaa.net, декабрь 2008.
  112. Сафонов В.О. Практическое руководство по системе Aspect.NET. Web-публикация на русском академическом сайте фирмы Microsoft http://www.microsoft.com/rus/msdnaa/curricula, раздел "Теория программирования", июнь 2008.
  113. Муханов Р.С. AspectRotor - разработка и реализация версии Aspect.NET для среды SSCLI/Rotor. Тез. докл. международной конференции "Космос. Астрономия. Программирование". СПбГУ, май 2008.
  114. Сигалин М.В. Расширение языка Java для представления гибридных знаний. Тез. докл. международной конференции "Космос. Астрономия. Программирование". СПбГУ, май 2008.
  115. Новиков А.В. Разработка и реализация системы представления гибридных знаний Knowledge.NET. Вестник СПбГУ. Серия 10. Вып. 3, июль 2008.
  116. Грачев М.К. Аспектно-ориентированный инструментарий Aspect.NET и его практическое применение в задаче протоколирования. Вестник СПбГУ. Серия 10. Вып. 4, октябрь 2008.
  117. Новиков Б.А., Горшкова Е.А. Темпоральные базы данных: от теории к практическому использованию. Программирование. 34(1):1-6, 2008.
  118. Мартыненко Б.К. Учебный исследовательский проект реализации алгоритмических языков. Компьютерные инструменты в образовании. Вып. 5. 2008.
  119. Лавров Ю.А., Юферев А.Ю., Юферева Л.М. Тезисы к докладу "О свободных колебаниях жидкости, частично заполняющей оребренный цилиндрический резервуар с упругими стенками". Всероссийский семинар по аэрогидродинамике, посвященный 90-летию со дня рождения С.В. Валландера, 2008.
  120. Лавров Ю.А., Юферева Л.М. Тезисы к докладу "О возможности предотвращения механического резонанса в системе Полупроводниковый прибор - ДТС". VI Минский международный форум по тепло- и массообмену, 2008.
  121. Лавров Ю.А., Юферев А.Ю., Юферева Л.М. Тезисы к докладу "Разработка программного обеспечения для определения вибрационных полей тонкостенных резервуаров с жидкостью". Международная конференция "VI Окуневские чтения", 2008.
  122. Ампилова Н.Б., Петренко Е.И. Об оценке энтропии символического образа динамической системы. Вестник СПб Университета, сер. 10, вып. 3, 2008, с. 3-11.
  123. Ампилова Н.Б., Петренко Е.И. О некоторых компьютерно-ориентированных методах исследования динамических систем. Труды Международной научной конференции "Космос, астрономия и программирование (Лавровские чтения)" - СПб: Математико-механический факультет СПбГУ, 20-22 мая 2008, с. 127-134.
  124. Ампилова Н.Б., Романовский И.В., Петренко Е.И. О максимизации энтропии при линейных ограничениях. Труды Международной научной конференции "Космос, астрономия и программирование (Лавровские чтения)" - СПб: Математико-механический факультет СПбГУ, 20-22 мая 2008, с. 181-185.
  125. Ампилова Н.Б., Гомера А.В. О построении $\varepsilon$-траектории, проходящей через две заданные точки. Труды Международной научной конференции "Космос, астрономия и программирование (Лавровские чтения)" - СПб: Математико-механический факультет СПбГУ, 20-22 мая 2008, с. 123-127.
  126. Ампилова Н.Б., Гомера А.В. Реализация алгоритмов проверки существования eps-траекторий для динамических систем. Материалы межвузовской конференции "Технологии Майкрософт в теории и практике программирования", С.-Петербург, март 2008. С. 197.
  127. Ampilova N., Petrenko E. On the application of a linear programming method to the evaluation of the entropy of a symbolic image. Abstracts of 6th International Nonlinear Dynamics Conference (EUROMECH), June 30 - July 4, 2008, St. Petersburg, p. 97.
  128. Соловьев И.П., Бугайченко Д.Ю. Методы накопления и анализа опыта для самонастраивающихся мультиагентных систем с временными ограничениями. Труды Международной научной конференции "Космос, астрономия и программирование (Лавровские чтения)" - СПб: Математико-механический факультет СПбГУ, 20-22 мая 2008. С. 23-30.
  129. Соловьев И.П., Сынтульский С.С. Логика PATL и ее приложение к формальной спецификации производственных процессов. Материалы межвузовской конференции "Технологии Майкрософт в теории и практике программирования", С.-Петербург, март 2008. С. 216-217.
  130. Ловягин Ю.Н. Гиперрациональные числа как основа математического анализа. Вестник СыктГУ, Сер.1,Вып.7, 2007. С. 17-34.
  131. Праздникова Е.В. Моделирование вещественного анализа в рамках аксиоматики для гипернатуральных чисел. Вестник СыктГУ, Сер. 1, Вып. 7, 2007. С. 41-66.
  132. Ловягин Ю.Н. Элементарная математическая логика. Учебное пособие. РГПУ им. А.И. Герцена, 2007. 133 с.
  133. Дмитриева М.В. Процедуры как данные и задача обхода списка. Ж. Компьютерные инструменты в образовании, 2007, N 4, с. 76-82.
  134. Дмитриева М.В. Списки и другие динамические структуры. Ж. Компьютерные инструменты в образовании, 2007, N 5, с. 68-75.
  135. Дмитриева М.В. Организация данных в виде очереди. Ж. Компьютерные инструменты в образовании 2007, N 6, с. 50-58.
  136. Дмитриева М.В. Введение в объектно-ориентированное программирование. Ж. Компьютерные инструменты в школе, 2008, N 1, с. 32-41.
  137. Косовский Н. К., Косовская Т.М. О числе шагов получения булевого решения у полиномиальных сравнений и у систем из них. Вестн. С.-Петербург.ун-та. Сер. 1. 2007. Вып.3. С. 82-90.
  138. Косовский Н. К., Косовская Т.М. Об эффективности получения булевого решения у полиномиальных сравнений и у систем из них. IX Международный семинар "Дискретная математика и ее приложения".
  139. Safonov V.O. Extending university courses on .NET, compilers, software engineering and OS by trustworthy computing content. .NET Developer's Journal, vol. 5, No. 3, March 2007, pp. 28-32.
  140. Safonov V.O. IEEE Region 8 Russia North-West CS/EMS Joint Chapter. IEEE Engineering Management Newsletter, vol. 57, No. 1, first quarter 2007, pp. 13-14.
  141. Сафонов В.О., Грачев М.К., Григорьев Д.А., Масленников А.И. Адаптация методологии АОП для практического применения на платформе Microsoft.NET. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2007.
  142. Сафонов В.О., Новиков А.В. Язык представления знаний Knowledge.NET. Тезисы доклада на Всероссийском конкурсе-конференции "Технологии Microsoft в теории и практике программирования", Санкт-Петербург, СПбГПУ, март 2007.
  143. Сафонов В.О. КПП: Коллекция Правильных Переводов. Компьютерные инструменты в образовании, 2007, N 4.
  144. Сафонов В.О. Как подготовить презентацию и сделать доклад по программированию. Компьютерные инструменты в образовании, 2007, N 5.
  145. Сафонов В.О. Язык программирования Java. Материалы спецкурса для студентов 3 курса. Web-публикация на академическом сайте фирмы Sun Microsystems http://ru.sun.com/teachingmaterials.html, июнь 2007.
  146. Сафонов В.О. Java-технология. Материалы спецсеминара для студентов 3 курса. Web-публикация на академическом сайте фирмы Sun Microsystems http://ru.sun.com/teachingmaterials.html, июнь 2007.
  147. Сафонов В.О. Инженерия надежных и безопасных программ. Материалы спецкурса для студентов 4 курса. Web-публикация на академическом сайте фирмы Microsoft http://www.microsoft.com/rus/msdnaa/curricula, раздел "Технологии разоработки программного обеспечения", ноябрь 2007.
  148. Сафонов В.О. Надежное и безопасное программирование для Microsoft.NET на языке C#. Материалы спецкурса для студентов 4 курса. Web-публикация на академическом сайте фирмы Microsoft http://www.microsoft.com/rus/msdnaa/curricula, раздел "Технологии разоработки программного обеспечения", ноябрь 2007.
  149. Сафонов В.О. Операционные системы и сети ЭВМ. Материалы кура для студентов 2 курса специальности 351400. Web-публикация на академическом сайте фирмы Microsoft http://www.microsoft.com/rus/msdnaa/curricula, раздел "Технологии разоработки программного обеспечения", ноябрь 2007.
  150. Сафонов В.О. Программирование для платформы Microsoft.NET. Материалы спецсеминара для студентов 4 курса. Web-публикация на академическом сайте фирмы Microsoft http://www.microsoft.com/rus/msdnaa/curricula, раздел "Технологии разоработки программного обеспечения", ноябрь 2007.
  151. Safonov V.O. Secure software engineering. University course curriculum. http://www.msdnaa.net/curriculum/?id=6753, February 2007.
  152. Safonov V.O., Vassilyev D.A. Phoenix Front-End Toolkit and Environment (Phoenix-FETE). Microsoft Faculty Summit, Phoenix Academic Program, Microsoft: Redmond WA, USA, July 2007 ("The Phoenix booklet").
  153. Safonov V.O. High-Level language Abstract Syntax Tree for Phoenix (HL-AST). Microsoft Faculty Summit, Phoenix Academic Program, Microsoft: Redmond WA, USA, July 2007 ("The Phoenix booklet").
  154. Сафонов В.О. Принципы, опыт и результаты преподавания информационных технологий на основе инноваций и сотрудничества с ведущими компьютерными фирмами. Тезисы докладов на пятой Всероссийской конференции "Преподавание информационных технологий в России", Тверь, 13-15 мая 2007 г.
  155. Лавров Ю.А., Юферева Л.М., Кот П.Н. Сравнение поправок к низшим собственным частотам цилиндрического акустического резонатора. Вестник С.-Петербургского Университета. Серия 1, 2007, вып. 2.
  156. Лавров Ю.А. Влияние формы пластин на эффективность теплоотдачи охлаждающего устройства. Известия РАН. Энергетика. 2008, N 1.
  157. Ампилова Н.Б. О построении инвариантной меры на символическом образе. Межд. конгресс "Нелинейный динамический анализ", 4-8 июня 2007, СПб, с.359.
  158. Ампилова Н.Б. Doublе logistic map. In G.S. Osipenko. Dynamical systems, Graphs, and Algorithms, Springer, 2007, p. 241-252.
  159. Соловьев И.П, Казекин М.М. Разработка языка и визуального редактора моделирования онтологий. Материалы межвуз. конф. "Технологии Майкрософт в теории и практике программирования", С.-Петербург, март 2006. С. 165.
  160. Соловьев И.П., Бугайченко Д.Ю. Формально-логическая спецификация мультиагентных систем реального времени. Вестн. С.-Петерб. ун-та. Сер. 1. Математика, механика, астрономия. 2007. Вып. 2. С. 49-57.
  161. Соловьев И.П., Бугайченко Д.Ю. A Logic for the Specification of Multiagent Real-Time Systems. Proc. of the 5th International Central and Eastern European Conference on Multi-Agent Systems, Leipzig (Germany). Pp. 183-192.
  162. Дмитриева М.В. Учебное пособие по основам программирования для Интернет. Web-публикация http://www.math.spbu.ru/user/mdmitrieva/book_js.
  163. Дмитриева М.В. Динамические структуры данных. Ж. Компьютерные инструменты в образовании. 2007 г., N 1, с.71-77.
  164. Дмитриева М.В. Основные алгоритмы работы с линейными цепными списками. Ж. Компьютерные инструменты в образовании. 2007 г., N 2, с.61-65.
  165. Дмитриева М.В. Алгоритмы над списками. Ж. Компьютерные инструменты в образовании 2007 г., N 3, с.66-71.
  166. Новиков Б.А., Домбровская Г.Р. Настройка приложений баз данных. BHV-СПб, 2006. ISBN 5-94157-840-7. 240 с.
  167. Герасимов А.С., Косовский Н.К. Оценка сложности истинно полиномиального алгоритма проверки совместности систем линейных двучленных неравенств. Вестник С.-Петербург. ун-та. Сер. 10. 2006. Вып. 2. С. 16-21.
  168. Герасимов А.С. Бесконечнозначная предикатная логика со связкой для усиления утверждений. Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции (Санкт-Петербург, 2006). СПб: Издательство СПбГУ, 2006. С. 348-350.
  169. Герасимов А.С. Предикатная логика на основе секвенциального исчисления, предназначенная для моделирования непрерывных шкал. Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-06 (Обнинск, 2006): Труды конференции. М.: Физматлит, 2006. С. 339-347.
  170. Герасимов А.С. Программная реализация поиска доказательств в бесконечнозначной предикатной логике, основанной на линейных неравенствах. Материалы XVI Международной школы-семинара "Синтез и сложность управляющих систем" (Санкт-Петербург, 2006). Под редакцией О.Б. Лупанова. М.: Изд-во механико-математического факультета МГУ, 2006. С. 30-35.
  171. Н.К. Косовский. Нижняя оценка длины записи интерпретатора n-программ. Материалы XVI Междунар. шк.-семин. "Синтез и сложность управляющих систем". Изд-во мех-мат МГУ, М., 2006.
  172. Н.К. Косовский. Оценка памяти, необходимой для исключения бесконечного зацикливания в Паскаль-программах, выполняемых на компьютере. Материалы XVI Междунар. шк.-семин. "Синтез и сложность управляющих систем". Изд-во мех-мат МГУ, М., 2006.
  173. Н.К. Косовский. Общий взгляд на границы используемых массивов у процедур-операторов, написанных на фрагментах языка Паскаль. Современные проблемы прикладной информатики. Сб. научн. труд. II научно-практической конференции. СПб, 2006.
  174. Н.Б. Ампилова, Т.С. Степанова, М.И. Любаров, Л.А. Молоков, Э.Р. Синельщиков. Использование математических методов для компьютерного анализа элементов ЭЭГ при эпилепсии. Материалы Всероссийской научно-практ. конференции "Поленовские чтения", СПб, 2006, с. 291.
  175. И.П. Соловьев, Д.Ю. Бугайченко. Методы решения некоторых инфраструктурных задач, возникающих при разработке мультиагентных систем. Материалы межвузовской конференции "Технологии Майкрософт в теории и практике программирования", СПбГПУ, с.177.
  176. И.П. Соловьев, Д.Ю. Бугайченко. Архитектура изолированного интеллектуального агента. Современные проблемы информатизации в моделировании и программировании. Сборник трудов. Выпуск 11. С.220.
  177. Computer Science - Theory and Applications. Ed. D. Grigorev, J. Harrison, E.A. Hirsch. First International Computer Science Symposium in Russia, CSR 2006. LNCS 3967. Springer, 2006.
  178. E. Dantsin, E.A. Hirsch, A. Wolpert. Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms. Proceedings of the 6th International Conference on Algorithms and Complexity, CIAC-2006. LNCS 3998, 60-68, Springer, 2006.
  179. Svetlana M. Seledzi, Nikolay V. Kuznetsov, Gennady A. Leonov. Analysis of phase-locked systems with discontinuous characteristics of the phase detectors. Preprints of 1st IFAC conference on Analysis and control of chaotic systems, Reims, France 2006.
  180. Селеджи С.М., Леонов Г.А. Синтез блок-схем и анализ устойчивости систем управления тактовыми генераторами в многопроцессорных системах. Избранные доклады III международной конференции "Параллельные вычисления и задачи управления", 2006.
  181. Т.А. Шубочкина. Обработка таблиц в программах на языке Turbo Pascal. СПбГУ, учебное пособие. 32 с.
  182. Горшкова Е.А., Новиков Б.А. Моделирование контроллера web-приложений с использованиеием UML. Программирование. 2005, 31:1. С. 29-33.
  183. Lauri Pietarinen and Boris Novikov. Enhancing Hierarchical Queries in Relational Databases with the Nested Set Representation. Selected Papers from the Sixth International Baltic Conference DB&IS'2004, volume 118 of Frontiers in Artificial Intelligence and Applications, pages 65-77, 2005. IOS Press (Netherlands).
  184. P. Cherkasova and B. Novikov. Selecting Objects: an OO Architecture of the Relational Model. Proc. of the SYRCoDIS'2005, 19-24, St. Petersburg, Russia, June 2005.
  185. Васильева Н.С., Новиков Б.А. Построение соответствий между низкоуровневыми характеристиками и семантикой статических изображений. Труды седьмой всероссийской конференции RCDL'2005, 236-240, Ярославль, Россия, октябрь 2005.
  186. Герасимов А.С., Косовский Н.К. Истинно полиномиальный алгоритм определения совместности систем линейных двучленных неравенств. Устойчивость и процессы управления. Труды междун. конференции (Санкт-Петербург, 2005). Под ред. Д.А. Овсянникова, Л.А. Петросяна. СПб: СПбГУ, НИИ ВМ и ПУ, ООО ВММ, 2005. С. 779-785.
  187. Герасимов А.С. Разработка ИПП для решения задачи определения совместности систем линейных двучленных неравенств. Технологии Microsoft в теории и практике программирования: Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада. СПб: Изд-во Политехн. ун-та, 2005. С. 161-162.
  188. Сафонов В.О., Григорьев Д.А. Aspect.NET: aspect-oriented programming for Microsoft.NET in practice. .NET Developer's Journal, 2005, N 7.
  189. Сафонов В.О., Григорьев Д.А. Aspect.NET - an aspect-oriented programming tool for Microsoft.NET. Труды международной конференции "110 лет изобретения радио", Санкт-Петербург, 2005.
  190. Сафонов В.О., Черепанов Д.Г. An extension of Java by production knowledge representation features and its implementation. Труды международной конференции "110 лет изобретения радио", Санкт-Петербург, 2005.
  191. Сафонов В.О., Курилин И.А. The SIMPLE / SIP protocol and its implementation in Java. Труды международной конференции "110 лет изобретения радио", Санкт-Петербург, 2005.
  192. Сафонов В.О., Новиков А.В., Сигалин М.В., Смоляков А.Л., Черепанов Д.Г. Интеграция методов инженерии знаний и инженерии программ: система управления знаниями Knowledge.NET. Часть I. Компьютернве инструменты в образовании, 2005 г., N 5.
  193. Сафонов В.О., Новиков А.В., Сигалин М.В., Смоляков А.Л., Черепанов Д.Г. Интеграция методов инженерии знаний и инженерии программ: система управления знаниями Knowledge.NET. Часть II. Компьютернве инструменты в образовании, 2005 г., N 6.
  194. Сафонов В.О., Григорьев Д.А., Грачев М.К., Масленников А.И., Ромашин О.Ю. Web-сайт проекта Aspect.NET: http://www.msdnaa.net/curriculum/?id=6219. Web-публикация, 2005 г.
  195. Сафонов В.О., Новиков А.В., Сигалин М.В., Смоляков А.Л., Черепанов Д.Г. Web-сайт проекта Knowledge.NET: http://www.knowledge-net.ru. Web-публикация, 2005 г.
  196. Д.Ю. Бугайченко, И.П. Соловьев. Абстрактная архитектура интеллектуального агента и методы её реализации. Сб. Системное программирование СПбГУ, 2005.
  197. М.М. Казекин, И.А. Посов, И.П. Соловьев, Н.А.Холтыгина. Разработка метода оценки макросвойств программных систем. Материалы межвузовской конференции "Технологии Майкрософт в теории и практике программирования", СПбГПУ, 2005.
  198. Г.С. Осипенко, Н.Б. Ампилова. Введение в символический анализ динамических систем. СПбГУ, 2005.
  199. Н.Б. Ампилова, Л.А. Молоков. The methods of localization of peak-and-wave complexes in EEG. Сб. трудов конф. Computer Simulation in Information and Communication Engineering CSICE'05 Sofia, 2005.
  200. S. Seledzhi. Stability and bifurcations of phase-locked loops for digital signal processors. International journal of bifurcation and chaos, Vol. 15, No. 4, 2005. Pp. 1347-1360.
  201. С.М. Селеджи. Синтез блок-схемы и анализ устойчивости астатической системы фазовой автоподстройки для цифровых сигнальных процессоров. Автоматика и телемеханика, N 3, 2005. С. 11-19.
  202. S.M. Seledzhi. Design of phase-locked loops for digital signal processors, International journal of Innovative Computing. Information and Control, Vol. 1, No. 4, 2005. Pp. 1-11.
  203. Лавров Ю.А. Станционное тепловое поле кусочно-однородного прямоугольного бруса. Известия академии наук (РАН). Энергетика. 2005, № 2. с. 129-137.
  204. Лавров Ю.А. Стационарное тепловое поле пластины оребрения трубы прямоугольного сечения. Известия академии наук (РАН). Энергетика. 2005, № 2. с. 138-145.
  205. Дмитриева М.В. Самоучитель JavaScript. Чтение ВОС, альманах "Компьютерные технологии". 2005 г.
  206. Дмитриева М.В. Алгоритмы перебора с возвратом. Заочная школа современного программирования. Ж. Компьютерные инструменты в образовании 2005 г, N 4.
  207. Lovyagin Yr.N. The conception of continuity in the course of elementary analysis. Didactics of mathematics №6, 2005, 73-82.
  208. E.A. Hirsch, A. Kojevnikov. UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. Annals of Mathematics and Artificial Intelligence 43(1-4):91-111. Kluwer Academic Publishers, 2005.
  209. L. Simon, D.Le Berre, E.A. Hirsch. The SAT2002 Competition. Annals of Mathematics and Artificial Intelligence 43(1-4): 307-342, 2005.
  210. E.A. Hirsch, S.I. Nikolenko. Simulating Cutting Plane proofs with restricted degree of falsity by Resolution. Proceedings of SAT 2005, LNCS 3569, pp.135-142. Springer, 2005.
  211. С.Н. Поздняков. Компьютерные инструменты для Интернет-поддержки решения математических задач. Компьютерное моделирование 2005. Труды VI Международной научно-технической конференции. СПб: изд-во Политехнического университета, 2005.
  212. С.Н. Поздняков, Рыбин. Компьютерная математика. Учебное пособие. СПб: изд-во СПбГЭТУ "ЛЭТИ", 2005.
  213. С.Н. Поздняков. Mathematical models of intellectual dialogue in Computer Aided Learning. World Conference on Twenty-First Century Mathematics. Proseedings. School of Mathematical Sciences, GC University, Lahore, Punjab (Pakistan), 2005.
  214. С.Н. Поздняков. Рекуррентые формулы с точки зрения информатики и математики. Ж. "Компьютерные инструменты в образовании", №1, 2005, с. 29-37.
  215. С.Н. Поздняков. Комбинаторное решение задачи о меандрах для восьми пересечений. Ж. "Компьютерные инструменты в образовании", №2, 2005, с. 25-29.
  216. С.Н. Поздняков, Новиков. Жадные алгоритмы. Ж. "Компьютерные инструменты в образовании", №2, 2005, с. 49-58.
  217. Керов Л.А., Афанасьева С.В. Компьютерная система тестирования и оценки остаточных знаний студентов и опыт ее использования. Социальная компетентность и образование менеджера. Материалы V Междунароной научно-практической конференции. СПб, 2005. с. 73-75.
  218. Керов Л.А., Гагарин М.В. Анализ описания бизнес-процессов в системе "1c:предприятие" и возможности его развития на основе объектно-ориентированного подхода. Социальная компетентность и образование менеджера. Материалы V Междунароной научно-практической конференции. СПб, 2005. с. 80-81.
  219. Керов Л.А., Королева В.А. Электронный курс "Основы работы в Internet" и опыт его использования. Социальная компетентность и образование менеджера. Материалы V Междунароной научно-практической конференции. СПб, 2005. с. 89-90.
  220. Керов Л.А. Объектно-ориентированный подход к созданию средств электронного обучения с использованием метафоры книги. Часть 1. Методы разработки контента электронного обучения с использованием технологии авторских систем. Социальная компетентность и образование менеджера. Материалы V Междунароной научно-практической конференции. СПб, 2005. с. 69-72.
  221. Керов Л.А., Пинженин И.В. Технология авторских систем и возможности ее использования для создания системы корпоративного электронного обучения. Социальная компетентность и образование менеджера. Материалы V Междунароной научно-практической конференции. СПб, 2005. с. 69-72.
  222. Тулупьев А.Л., Тюсова О.В., Сеньковски Л.А., Козлов А.П. Познавательные процессы и сексуальное поведение ВИЧ-позитивных и Вич-негативных наркопотребителей. Русский журнал СПИД, рак и общественное здоровье. Т.9, № 2, СПб, 2005.
  223. Мартыненко Б. К. Синтаксически управляемая обработка данных. Изд. 2-е, испр и доп. СПб: Изд-во С.-Петерб. ун-та, 2004. 316 с.
  224. Мартыненко Б. К. Языки и трансляции. Учеб. пособие. СПб: Изд-во С.-Петерб. ун-та, 2004. 230 с.
  225. Сафонов В.О. Aspect.NET: Concepts and Architecture. .NET Developer's Journal, 2004, N 10.
  226. Сафонов В.О. Платформа Microsoft.NET: принципы, возможности, перспективы. Компьютерные инструменты в образовании, 2004, N 5.
  227. Сафонов В.О. Microsoft.NET Architecture and the C# Language. Web-публикация: Microsoft Developer's Network Academic Alliance Curriculum Repository, www.msdnaa.net, June 2004.
  228. Сафонов В.О. Compiler Development. Web-публикация: Microsoft Developer's Network Academic Alliance Curriculum Repository, www.msdnaa.net, August 2004.
  229. Сафонов В.О. Software Engineering. Web-публикация: Microsoft Developer's Network Academic Alliance Curriculum Repository, www.msdnaa.net, October 2004.
  230. Сафонов В.О. Operating Systems and Networking. Web-публикация: Microsoft Developer's Network Academic Alliance Curriculum Repository, www.msdnaa.net, December 2004.
  231. Kossovski N., Kossovskaya T. About Complexity of Constant Modulo Arithmetic. Second St.Peterburg Days of Logic and Computability. Abstracts. St.Petersburg, 2003. P. 39-41.
  232. Косовский Н.К. Кваз LIN-SPACE-полнота предикатных логик линейного дискретного и конечного времени над конечной дискретной предметной областью. Международная научная конференция "Информация, коммуникация, общество". Тезисы докладов и выступлений. СПб, 2003. С. 238-239.
  233. Косовский Н.К. Серия новых логических связок для проектирования электронных схем. Ж. "Компьютерные инструменты в образовании". СПб, 2, 2003. С. 64-68.
  234. Костин В. А. Генерация перестановок. Ж. "Компьютерные инструменты в образовании", 2, с. 84-91.
  235. Соловьев И.П., Усов А.A. Взаимодействие в сети Интернет и задача его спецификации. Ж. "Компьютерные инструменты в образовании". С.-Петербург, 2003, 3, с. 39-49.
  236. Соловьев И.П. Обмен знаниями между программными проектами. Материалы междисциплинарной (медицина, биология, физика, радиоэлектроника, химия, математика, информатика, педагогика...) конференции с международным участием "Новые биокибернетические и телемедицинские технологии 21 века для диагностики и лечения заболеваний человека" ("НБИТТ-21"). Петрозаводский государственный университет, 2003 г., с. 87-88.
  237. Соловьев И.П., Усов А.А. Язык формальных спецификаций распределенных машин абстрактных состояний. Тезисы четвертой международной конференции "Средства атематического моделирования". С.-Петербургский государственный политехнический университет. 2003 г., с. 228.
  238. Соловьев И.П., Усов А.А. Язык интерпретатора распределенных машин абстрактных состояний. Tools Tools for Mathematical Modelling. Mathematical Research, v. 10, ed. G.Osipenko. St. Petersburg, 2003. p. 161-170.
  239. Васильев П.К., Соловьев И.П. Применение инженерии знаний в спецификации программных проектов. Ж. "Компьютерные инструменты в образоваобразованиинии". СПб, 2003, 6, с. 50-58.
  240. Дмитриева М.В. Метод рекурсивного спуска. Ж. Компьютерные инструменты в образовании, 2003 г., N 1.
  241. Дмитриева М.В. JavaScript: простые сценарии: Заочная школа современного программирования. Занятие 1. Учебное пособие. - СПб.: Издательство ЦПО "Информатизация образования", 2003. - 27 с.
  242. Дмитриева М.В. JavaScript:объекты: Заочная школа современного программирования. Занятие 2-3. Учебное пособие. - СПб.: Издательство ЦПО "Информатизация образования", 2003. - 22 с.
  243. Дмитриева М.В. JavaScript: управление Web-страницами: Заочная школа современного программирования. Занятие 4. Учебное пособие. - СПб.: Издательство ЦПО "Информатизация образования", 2003. - 20 с.
  244. Дмитриева М.В. JavaScript: методы программирования: Заочная школа современного программирования. Занятие 5-7. Учебное пособие. - СПб.: Издательство ЦПО "Информатизация образования", 2003. - 34 с.