Scientific Library of Tomsk State University

   E-catalog        


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

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

  • Your search returned 5 results.

    Sort
    Results
    1.
    Model checking knowledge and fixpoints N. V. Shilov, N. Garanina

    by Shilov, N. V | Garanina, N.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    2.
    Внедрение системы ХАССП в организацию социального питания А. А. Иванова, Е. Ю. Заякина

    by Иванова, Анастасия Андреевна | Заякина, Елена Юрьевна.

    Source: Инноватика - 2018 : сборник материалов XIV Международной школы-конференции студентов, аспирантов и молодых ученых, 26-27 апреля 2018 г., г. Томск, РоссияMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Implementation of the HACCP system in the organization of social food.Online access: Click here to access online 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: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    5.
    Исследование современных средств создания контрольных точек восстановления параллельных программ О. В. Молдованова, А. Ю. Поляков

    by Молдованова, О. В | Поляков, А. Ю.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Pages