621 - 630 out of 641Page size: 10
  1. 2008

  2. Реализация алгоритмов проверки существования eps-траекторий для динамических систем

    Гомера, А. В. & Ампилова, Н. Б., 2008, Технологии Microsoft в теории и практике программирования: Материалы конференции. Новосибирск: Издательство Новосибирского университета, p. 197-198

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  3. Учебный исследовательский проект реализации алгоритмических языков.

    Мартыненко, Б. К., 2008, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 5, p. 3-18

    Research output: Contribution to journal › Article

  4. 2007

  5. Estimating the number of steps that it takes to solve some problems of pattern recognition which admit logical description

    Kosovskaya, T. M., 1 Dec 2007, In: Vestnik St. Petersburg University: Mathematics. 40, 4, p. 287-293 7 p.

    Research output: Contribution to journal › Article › peer-review

  6. The number of steps for construction of a Boolean solution to polynomial congruences and systems of polynomial congruences

    Kosovskii, N. K. & Kosovskaya, T. M., 1 Sep 2007, In: Vestnik St. Petersburg University: Mathematics. 40, 3, p. 218-223 6 p.

    Research output: Contribution to journal › Article › peer-review

  7. Doublе logistic map

    Ampilova, N. B., 2007, G.S. Osipenko. Dynamical systems, Graphs, and Algorithms. Springer Nature, p. 300, 241-252

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research

  8. MASL: A Logic for the Specification of Multiagent Real-Time Systems

    Bugaychenko, D. & Soloviev, I., 2007, Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Springer Nature, p. 183-192 (Lecture Notes in Computer Science ; vol. 4696).

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  9. Об эффективности получения булевого решения у полиномиальных сравнений и у систем из них

    Косовская, Т. М. & Косовский, Н. К., 2007, Матер. IX Международного семинара «Дискретная математика и ее приложения». Издательство Московского университета

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research › peer-review

  10. О ЧИСЛЕ ШАГОВ ПОЛУЧЕНИЯ БУЛЕВОГО РЕШЕНИЯ У ПОЛИНОМИАЛЬНЫХ СРАВНЕНИЙ И У СИСТЕМ ИЗ НИХ

    Косовский, Н. К. & Косовская, Т. М., 2007, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 3, p. 84-90

    Research output: Contribution to journal › Article › peer-review

  11. 2006

  12. Aspect.NET - aspect-oriented toolkit for Microsoft.NET based on Phoenix and Whidbey

    Safonov, V., Gratchev, M., Grigoryev, D. & Maslennikov, A., 2006, .NET TECHNOLOGIES 2006, FULL PAPERS PROCEEDINGS. University of West Bohemia, p. 19-29

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  13. 2005

  14. Aspect.NET: aspect-oriented programming for Microsoft.NET in practice.

    Grigoriev, D. A. & Safonov, V. O., 2005, In: Net Developer's Journal. 7, p. 28-33

    Research output: Contribution to journal › Article › peer-review

Previous 1...59 60 61 62 63 64 65 Next

ID: 30313