Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 16 results.

    1.
    Станки, автоматы, автоматические линии [учебное пособие для учащихся машиностроительных техникумов] Г. Г. Савенко, Б. Г. Егерман

    by Савенко, Геннадий Гаврилович | Егерман, Борис Георгиевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Высшая школа 1967Availability: No items available :
    2.
    Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Буфалов С. А. ; Науч. рук. Н. В. Евтушенко; Томский гос. ун-т

    by Буфалов, Сергей Анатольевич | Евтушенко, Нина Владимировна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2002Availability: No items available :
    3.
    4.
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов А. В. Лапутенко, Е. М. Винарский, А. С. Твардовский

    by Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Experimental comparison of equivalence checking methods for extended automata.Online access: Click here to access online Availability: No items available :
    5.
    Технология военных производств Вып. 4 Всесоюз. науч. инж.-техн. о-во машиностроит. ВНИТОМАШ

    by Всесоюзное научное инженерно-техническое общество машиностроителей.

    Series: Экспресс-информация по иностранной техникеMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] Государственное научно-техническое издательство машиностроительной литературы 1941Other title: Механическая обработка в производстве снарядных стаканов.Availability: No items available :
    6.
    Метод построения полного проверяющего теста для входо-выходных полуавтоматов М. Л. Громов

    by Громов, Максим Леонидович.

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

    by Широкова, Екатерина Владимировна | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Checking the solvability of equations over the concatenation for automata with timeouts.Online access: Click here to access online Availability: No items available :
    8.
    О сложности детерминизации полуавтоматов некоторых классов О. В. Кондратьева, М. Л. Громов

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

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; 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 Other title: Deriving synchronizing and homing sequences for input/output automata.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 :
    12.
    К упрощению временных полуавтоматов при синхронизации компонентов физических систем М. Л. Громов, Н. В. Евтушенко

    by Громов, Максим Леонидович | Евтушенко, Нина Владимировна.

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

    by Широкова, Екатерина Владимировна.

    Source: Перспективы развития фундаментальных наук. Т. 7 : сборник научных трудов XX Международной конференции студентов, аспирантов и молодых ученых, 25-28 апреля 2023 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: On solving equations for automata with timeouts over concatenation operator.Online access: Click here to access online Availability: No items available :
    14.
    Параллельная композиция временных автоматов О. В. Кондратьева

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

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

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

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    16.
    Решение автоматного уравнения для обобщенной операции композиции Н. В. Спицына, Н. В. Евтушенко, А. Ф. Петренко

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна | Петренко, Александр Федорович.

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