Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 66 results.

    Sort
    Results
    1.
    Последовательные и параллельные алгоритмы общий подход Р. Миллер, Л. Боксер ; пер. с англ. А. В. Козвониной ; под ред. С. М. Окулова

    by Миллер, Расс | Боксер, Лоренс | Окулов, Станислав Михайлович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. БИНОМ. Лаб. знаний 2006Other title: Algorithms sequential & parallel.Availability: No items available :
    2.
    Последовательные и параллельные алгоритмы общий подход Р. Миллер, Л. Боксер ; пер. с англ. А. В. Козвониной ; под ред. С. М. Окулова

    by Миллер, Расс | Боксер, Лоренс | Окулов, Станислав Михайлович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва БИНОМ. Лаборатория знаний 2015Other title: Algorithms sequential & parallel.Availability: No items available :
    3.
    Проектирование цифровых устройств [учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки 210400 - "Радиотехника"] Г. И. Пухальский, Т. Я. Новосельцева

    by Пухальский, Геннадий Иванович | Новосельцева, Татьяна Яковлевна.

    Series: Учебники для вузовMaterial type: Text Text; Format: print optical disc; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Лань 2012Availability: No items available :
    4.
    Синтез цифровых автоматов В. М. Глушков

    by Глушков, Виктор Михайлович, 1923-1982.

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматгиз 1962Availability: No items available :
    5.
    Логическое управление. Методы аппаратной и программной реализации алгоритмов А. А. Шалыто

    by Шалыто, Анатолий Абрамович.

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: СПб. Наука. С.-Петерб. изд. фирма 2000Availability: No items available :
    6.
    7.
    8.
    Проблемы кибернетики 7 [сборник статей Сиб. физ.-техн. ин-т им. В. Д. Кузнецова при Том. гос. ун-те, Отдел кибернетики СФТИ ; Фак. прикладной математики ТГУ ; ред. Г. А. Медведев]

    by Медведев, Геннадий Алексеевич, 1935-2020 [edt] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) | Томский государственный университет.

    Series: Труды Сибирского физико-технического института при Томском государственном университетеMaterial type: Set Set; Format: electronic available online remote Publication details: Томск Издательство Томского университета 1971Online access: Click here to access online Availability: No items available :
    9.
    Диагностика отказов цифровых вычислительных систем пер. с англ. Г. Чжен, Е. Мэннинг, Г. Метц ; под ред. И. Б. Михайлова

    by Чжен, Г. Я | Мэннинг, Е | Метц, Г | Михайлов, И. Б [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1972Other title: Fault diagnosisof digital systems.Availability: No items available :
    10.
    11.
    Логическое проектирование дискретных устройств учебное пособие : [для студентов, изучающих историю автоматов] Л. И. Буркатовская, Ю. Б. Буркатовская ; Том. гос. ун-т, Фак. прикладной мат. и кибернетики

    by Буркатовская, Людмила Ильинична | Буркатовская, Юлия Борисовна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра высшей математики и математического моделирования.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2011Online access: Click here to access online Availability: No items available :
    12.
    13.
    Логическое проектирование цифровых систем на основе программируемых логических интегральных схем В. В. Соловьев, А. Климович

    by Соловьев, Валерий Васильевич | Климович, Адам.

    Edition: 2-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Горячая линия - Телеком 2018Availability: No items available :
    14.
    Combinational circuits without false paths A. Matrosova, D. Kudin, E. Nikolaeva

    by Matrosova, Anzhela Yu | Kudin, D. V | Nikolaeva, Ekaterina A.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2014), Kiev, Ukraine, September 26-29, 2014Material 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 :
    15.
    Построение проверяющих тестов для одиночных и кратных константных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИС (FPGA)-технологий по системе Free BDD-графов Е. А. Николаева

    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: Информационные технологии и математическое моделирование (ИТММ-2019). Ч. 2 : материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 2019 г.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 :
    17.
    Masking circuit faults and Trojan circuit injections using sat solvers A. Yu. Matrosova, V. А. Provkin, V. Z. Tychinskiy [et al.]

    by Matrosova, Anzhela Yu | Provkin, V. А | Tychinskiy, V. Z | Nikolaeva, Ekaterina A | Goshin, G. G.

    Source: Russian physics journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    18.
    Графовые представления множеств всех достижимых реакций комбинационной схемы В. А. Провкин, А. Ю. Матросова

    by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Graph representations of the sets of all reachable reactions of the combinational circuit.Online access: Click here to access online Availability: No items available :
    19.
    Построение проверяющих тестов для одиночных и кратных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИС (FPGA)-технологий А. Ю. Матросова, Е. С. Луковникова

    by Матросова, Анжела Юрьевна | Луковникова, Е. С.

    Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    20.
    Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов А. Ю. Матросова, С. А. Останин, В. Сингх

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Сингх, В | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    Source: Автоматика и телемеханикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    21.
    К синтезу самопроверяемых комбинационных схем А. Ю. Матросова, С. А. Останин

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович.

    Source: Международная конференция "Всесибирские чтения по математике и механике", 17-20 июня 1997 г., г. Томск: Избранные доклады. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    22.
    Синтез систем функционального контроля многовыходных комбинационных схем на основе метода логического дополнения В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, Д. В. Пивоваров

    by Сапожников, Валерий Владимирович | Ефанов, Дмитрий Викторович | Пивоваров, Дмитрий Вячеславович | Сапожников, Владимир Владимирович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Synthesis of concurrent error detection systems of multioutput combinational circuits based on Boolean complement method.Online access: Click here to access online Availability: No items available :
    23.
    Экспериментальные исследования кодов с суммированием единичных и одного взвешенного разрядов в системах функционального контроля Д. В. Ефанов

    by Ефанов, Дмитрий Викторович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Experimental studies of one-bit and one weighted bit sum codes within concurrent error detection systems.Online access: Click here to access online Availability: No items available :
    24.
    Stuck-at-faults tester as a web-service N. A. Shalyapina, A. A. Zaytsev, S. V. Batratskiy, M. L. Gromov

    by Zaytsev, A. A | Batratskiy, S. V | Gromov, Maxim L | Shalyapina, N. A.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Тесты на константные неисправности как веб-сервис.Online access: Click here to access online Availability: No items available :
    25.
    Forming patch functions and combinational circuit rectification A. Y. Matrosova, S. V. Chernyshov, G. Goshin, D. V. Kudin

    by Chernyshov, S. V | Goshin, G. G | Kudin, D. V | Matrosova, Anzhela Yu.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018Material 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 :
    26.
    An Approach to Implementation Checking L. D. Cheremisinova, D. Ya. Novikov

    by Cheremisinova, L. D | Novikov, D. Ya.

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

    by Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна | Мельников, А.

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

    by Андреева, Валентина Валерьевна.

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

    by Сапожников, Валерий Владимирович | Сапожников, Владимир Владимирович | Ефанов, Дмитрий Викторович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 2021Availability: No items available :
    30.
    Справочник по электронике Электронный ресурс Богдан Грабовски

    by Грабовски, Богдан.

    Material type: Text Text; Format: print available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ДМК Пресс 2009Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    31.
    Обнаружение ложных путей в комбинационной схеме А. Ю. Матросова, Д. В. Кудин, Е. А. Николаева

    by Матросова, Анжела Юрьевна | Кудин, Дмитрий Владимирович | Николаева, Екатерина Александровна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    32.
    Синтез комбинированных схем в базисе FPGA по ZDD-представлению ДНФ С. А. Останин

    by Останин, Сергей Александрович.

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

    by Голубева, Ольга Ивановна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    34.
    Finding false paths in sequential circuits A. Y. Matrosova, V. V. Andreeva, S. V. Chernyshov [et.al.]

    by Matrosova, Anzhela Yu | Chernyshov, S. V | Rozhkova, Svetlana V | Kudin, D. V | Andreeva, V. V.

    Source: Russian physics journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    35.
    Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин

    by Андреева, Валентина Валерьевна | Тычинский, Вячеслав Зиновьевич | Гошин, Геннадий Георгиевич | Матросова, Анжела Юрьевна.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    36.
    A fault-tolerant combinational circuit design S. A. Ostanin, I. E. Kirienko, V. A. Lavrov

    by Ostanin, Sergey A | Kirienko, Irina E | Lavrov, V. A.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material 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 :
    37.
    Проектирование цифровых устройств Электронный ресурс Пухальский Г. И., Новосельцева Т. Я.

    by Пухальский, Г. И | Новосельцева.

    Material type: Text Text; Format: electronic available online remote Publication details: Санкт-Петербург Лань 2021Online access: ЭБС Лань | ЭБС Лань Availability: No items available :
    38.
    Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 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 :
    39.
    Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 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 :
    40.
    Оптимизация комбинационных схем с использованием допустимых функций И. Е. Кириенко

    by Кириенко, Ирина Евгеньевна | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Материалы II Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 16–17 мая 2014 г.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 :
    41.
    Энергосберегающая оптимизация диагностирующих тестов Д. И. Ахунова, Ю. В. Седов

    by Ахунова, Д. И | Седов, Юрий Владимирович.

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

    by Матросова, Анжела Юрьевна | Мельников, А. В.

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

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Exact estimations of the controllability, observability and fault detection probability for combinational circuits, based on the ODNF and ROBDD representations of functions.Online access: Click here to access online Availability: No items available :
    44.
    Applying incompletely specified Boolean functions for patch circuit generation A. Yu. Matrosova, V. Provkin

    by Matrosova, Anzhela Yu | Provkin, V. А.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedingsMaterial 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 :
    45.
    Проверка схемной реализации частичных булевых функций Л. Д. Черемисинова, Д. Я. Новиков

    by Черемисинова, Людмила Дмитриевна | Новиков, Дмитрий Яковлевич.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    46.
    Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов Т. 1 в 2 т. [Д В. Ефанов, В В. Сапожников, Вл. В. Сапожников и др.]

    by Ефанов, Дмитрий Викторович | Сапожников, Валерий Владимирович | Сапожников, Владимир Владимирович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 2020Availability: No items available :
    47.
    48.
    49.
    Декомпозиция комбинационных схем методом функциональной редукции В. А. Таланов

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

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)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 :
    50.
    Построение тестов для константных неисправностей произвольных логических элементов комбинационных схем на основе графического представления функций элементов А. Ю. Матросова, А. Г. Плешков, С. А. Алемасов

    by Матросова, Анжела Юрьевна | Плешков, Алексей Геннадьевич | Алемасов, Сергей Александрович.

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: print Availability: No items available :
    Pages