Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 12 results.

    1.
    No cover image available
    Синтез и оптимизация цифровых схем Ч. 3 учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика М. Л. Громов, С. А. Прокопенко, А. В. Лапутенко ; Нац. исслед. Том. гос. ун-т

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2018Other title: Алгоритмы на графах.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Синтез тестов для цифровых систем на высоком и низком уровнях абстракции А. В. Лапутенко, Е. М. Винарский

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Deriving tests for digital circuits at lower and higher abstraction levels.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов А. В. Лапутенко, Е. М. Винарский, А. С. Твардовский

    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 :
    Log in to add tags Add to cart
    4.
    No cover image available
    Синтез и оптимизация цифровых схем Ч. 2 учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 – Радиофизика М. Л. Громов, С. А. Прокопенко, А. В. Лапутенко ; Нац. исслед. Том. гос. ун-т

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2018Other title: Работа с системой ABC.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Лапутенко Андрей Владимирович ; науч. рук. Евтушенко Н. В. ; Томский гос. ун-т

    by Лапутенко, Андрей Владимирович | Евтушенко, Нина Владимировна [ths] | Томский государственный университет.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2020Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 М. Л. Громов, А. В. Лапутенко

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений Е. В. Широкова, Л. Г. Евтушенко, А. В. Лапутенко, Н. В. Евтушенко

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.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 :
    Log in to add tags Add to cart
    8.
    No cover image available
    О возможностях автоматного описания параллельной композиции временных автоматов А. С. Твардовский, А. В. Лапутенко

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

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: On the possibilities of FSM description of parallel composition of timed finite state machines.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    10.
    No cover image available
    Сравнение производительности различных реализаций самообучающихся моделей на примере задачи классификации А. В. Лапутенко, С. Н. Торгаев

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.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 :
    Log in to add tags Add to cart
    11.
    No cover image available
    Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG А. В. Лапутенко, М. Л. Громов, С. Н. Торгаев

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.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 :
    Log in to add tags Add to cart
    12.
    No cover image available
    Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей А. В. Лапутенко, Х. Е. Лопез, Н. В. Евтушенко

    by Лапутенко, Андрей Владимирович | Лопез Коронадо, Хорхе Елеазар | Евтушенко, Нина Владимировна.

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