Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 11 results.

    1.
    Тестирование робастности веб-сервисов на основе композиций конечных автоматов Е. В. Дарусенкова, О. В. Кондратьева

    by Дарусенкова, Екатерина Владимировна | Кондратьева, Ольга Викторовна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    2.
    О сложности детерминизации полуавтоматов некоторых классов О. В. Кондратьева, М. Л. Громов

    by Кондратьева, Ольга Викторовна | Громов, Максим Леонидович.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    3.
    Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли

    by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    4.
    Минимизация временных автоматов с таймаутами О. В. Кондратьева

    by Кондратьева, Ольга Викторовна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    5.
    Тестирование робастности веб-сервисов Е. В. Дарусенкова, О. В. Кондратьева

    by Дарусенкова, Екатерина Владимировна | Кондратьева, Ольга Викторовна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    6.
    Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ Г. В. Кидярова, О. В. Кондратьева

    by Кидярова, Галина Владимировна | Кондратьева, Ольга Викторовна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    7.
    Оценка робастности как параметра качества композиции веб-сервисов Е. В. Дарусенкова, О. В. Кондратьева

    by Дарусенкова, Екатерина Владимировна | Кондратьева, Ольга Викторовна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    8.
    Частные решения уравнений для временных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко

    by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    9.
    Параллельная композиция временных автоматов О. В. Кондратьева

    by Кондратьева, Ольга Викторовна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    10.
    Решение автоматных уравнений для временных автоматов относительно параллельной композиции О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли

    by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    11.
    Оценка популярности композиций веб-сервисов на основе базовых шаблонов взаимодействия компонент О. В. Кондратьева, И. Л. Лапатин

    by Кондратьева, Ольга Викторовна | Лапатин, Иван Леонидович | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра теории вероятностей и математической статистики | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :