Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 157 results.

    1.
    No cover image available
    Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Том. гос. ун-т; Науч. рук. Н. В. Евтушенко

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск 2000Availability: No items available :
    Log in to add tags Add to cart
    2.
    Алгоритмические методы синтеза тестов А. Ю. Матросова; Под ред. С. В. Быковой; Сиб. физ. -техн. ин-т им. Б. Д. Кузнецова при Том. гос. ун-те

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 1990Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Автоматический поиск неисправностей А. В. Мозгалевский, Д. В. Гаскаров, Л. П. Глазунов, В. Д. Ерастов ; под ред. А. В. Мозгалевского

    by Мозгалевский, Андрей Васильевич | Гаскаров, Диляур Вагизович | Глазунов, Леонид Павлович | Ерастов, Владимир Дмитриевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Ленинград Машиностроение 1967Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    5.
    No cover image available
    Справочник по транзисторным радиоприемникам, радиолам и электрофонам Ч. 2 И. Ф. Белов, Е. В. Дрызго

    by Белов, Иван Федорович | Дрызго, Евгений Владимирович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Советское радио 1978Other title: Стационарные радиоприемники и радиолы. Электрофоны.Availability: No items available :
    Log in to add tags Add to cart
    6.
    7.
    IВМ AT. Руководство для начинающих справочное пособие пер. с англ. И. В. Марковой, В. Л. Григорьева.

    by Ратч, Эдвин.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва Радио и связь 1993Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    9.
    No cover image available
    Ручной компрессор РК-30 паспорт-инструкция Машиностр. завод "Красный факел" ; [отв. ред. М. П. Симонцев]

    by Симонцев, М. П [edt].

    Material type: Text Text; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва [и др.] Машгиз 1941Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    11.
    No cover image available
    Техническая диагностика цифровых устройств Р. С. Гольдман, В. П. Чипулис

    by Гольдман, Рафаил Семенович | Чипулис, Валерий Павлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Энергия 1976Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    13.
    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: Томск [б. и.] 2019Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    15.
    Математические вопросы кибернетики Вып. 12 [сборник статей] сост. Н. А. Карпова и др. ; под ред. О. Б. Лупанова

    by Лупанов, Олег Борисович [edt] | Карпова, Н. А [com].

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. Физматлит 2003Availability: No items available :
    Log in to add tags Add to cart
    16.
    Технология производства электронных средств [учебник для вузов по направлению 211000 - "Конструирование и технология электронных средств"] Н. К. Юрков

    by Юрков, Николай Кондратьевич.

    Series: Учебники для вузовEdition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Санкт-Петербург [и др.] Лань 2014Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    18.
    No cover image available
    Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие Том. гос. ун-т, Радиофиз. фак. ; сост. : В. Н. Тренькаев, С. А. Прокопенко

    by Тренькаев, Вадим Николаевич [com] | Прокопенко, Светлана Анатольевна [com] | Томский государственный университет Радиофизический факультет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2004Availability: No items available :
    Log in to add tags Add to cart
    19.
    Компьютер без напряга энциклопедия Андрей Жвалевский

    by Жвалевский, Андрей Валентинович.

    Series: Без напрягаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Санкт-Петербург [и др.] Питер 2010Availability: No items available :
    Log in to add tags Add to cart
    20.
    21.
    No cover image available
    Устройство мотоцикла А. В. Серов, Л. Р. Бас, А. И. Ермолин, В. Б. Пригожин ; под общ. ред. С. Ю. Иваницкого

    by Серов, Александр Владимирович | Бас, Лев Рувимович | Ермолин, Алексей Иванович | Пригожин, Владимир Борисович | Иваницкий, Святослав Юрьевич [edt].

    Edition: 2-е изд., испр.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физкультура и спорт 1956Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    Неисправности и настройка цветных телевизоров С. А. Ельяшкевич

    by Ельяшкевич, Самуил Абрамович.

    Series: Массовая радиобиблиотекаEdition: 3-е изд., перераб. и доп.Material type: Text Text; Format: print Publication details: М. Энергия 1980Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2005Availability: No items available :
    Log in to add tags Add to cart
    24.
    No cover image available
    Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2010Availability: No items available :
    Log in to add tags Add to cart
    25.
    Математические вопросы кибернетики Вып. 3 [сборник статей] под ред. С. В. Яблонского ; [сост. Н. А. Карпова и др.]

    by Яблонский, Сергей Всеволодович, 1924-1998 [edt] | Карпова, Н. А [com].

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1991Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Справочник по транзисторным радиоприемникам, радиолам и электрофонам Ч. 2 И. Ф. Белов, Е. В. Дрызго

    by Белов, Иван Федорович | Дрызго, Евгений Владимирович.

    Material type: Text Text; Format: print Publication details: М. Советское радио 1980Other title: Стационарные радиоприемники и радиолы. Электрофоны.Availability: No items available :
    Log in to add tags Add to cart
    27.
    Переносные цветные телевизоры Справочник Д. П. Бриллиантов, Б. Н. Куликов, М. А. Роксман

    by Бриллиантов, Дмитрий Петрович | Куликов, Борис Николаевич | Роксман, Михаил Абрамович.

    Edition: 3-е изд., стер.Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. РадиоСофт 2000Availability: No items available :
    Log in to add tags Add to cart
    28.
    Устройство и настройка ПК К. Ибрагим ; пер. со 2-го англ. изд. К. Г. Финогенова

    by Ибрагим, К. Ф | Финогенов, Кирилл Григорьевич, ?-2010 [trl].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. БИНОМ. Лаб. знаний 2004Other title: PC Operation and repair.Availability: No items available :
    Log in to add tags Add to cart
    29.
    Программное обеспечение и "неотложка" для компьютера В. Б. Марысаев

    by Марысаев, Виктор Борисович.

    Material type: Text Text; Format: print Publication details: Москва ТЕРРА - Книжный клуб 2001Availability: No items available :
    Log in to add tags Add to cart
    30.
    No cover image available
    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 :
    Log in to add tags Add to cart
    31.
    No cover image available
    Finding false paths for sequential circuits using operations on ROBDDs A. Y. Matrosova, S. A. Ostanin, S. V. Chernyshov

    by Matrosova, Anzhela Yu | Ostanin, Sergey A | Chernyshov, Semen V.

    Source: 2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS 2018), 2-4 July 2018, SpainMaterial 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
    32.
    No cover image available
    Упрощение системы Free BDD графов E. B. Румянцева

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

    Source: Материалы Первой Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 17-18 мая 2013 г.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
    33.
    Практическое руководство системного администратора Александр Кенин

    by Кенин, Александр Михайлович.

    Series: Системный администраторEdition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург БХВ-Петербург 2013Availability: No items available :
    Log in to add tags Add to cart
    34.
    No cover image available
    Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и 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 :
    Log in to add tags Add to cart
    35.
    No cover image available
    Синтез самопроверяемых последовательностных схем для неисправностей задержек путей С. А. Останин, И. Е. Кириенко, В. А. Лавров

    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
    36.
    No cover image available
    Оценка наблюдаемости внутренней переменной при использовании LOS-техники сканирования А. В. Мельников

    by Мельников, А. В.

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

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

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    38.
    No cover image available
    Асимптотически оптимальные по ненадежности схемы в базисе, состоящем из функции Вебба, в P3 при неисправностях типа 2 на выходах элементов О. Ю. Барсукова, М. А. Алехина

    by Барсукова, Оксана Юрьевна | Алехина, Марина Анатольевна.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Asymptotically optimal in unreliability circuits in the basis consisting of the Webb function in P3 under faults of type 2 at the outputs of elements.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    39.
    No cover image available
    40.
    No cover image available
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

    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 :
    Log in to add tags Add to cart
    41.
    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
    42.
    Сбои и ошибки ПК. Лечим компьютер своими руками Пётр Ташков

    by Ташков, Петр А.

    Series: Начали!Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Санкт-Петербург [и др.] Питер 2014Availability: No items available :
    Log in to add tags Add to cart
    43.
    No cover image available
    Бензиновый насос БНК-6 краткое описание сост. М. И. Френкель ; под ред. Н. И. Васильева

    by Френкель, Марк Исаакович, 1909-1982 [com] | Васильев, Н. И [edt].

    Edition: (Изд. 2-е)Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Оборонгиз 1941Availability: No items available :
    Log in to add tags Add to cart
    44.
    No cover image available
    Карбюратор К-34 СМ описание и руководство по обслуживанию сост. Г. М. Коровина ; под ред. Б. Ф. Воронова

    by Коровина, Г. М [com] | Воронов, Б. Ф [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Государственное издательство оборонной промышленности 1941Availability: No items available :
    Log in to add tags Add to cart
    45.
    No cover image available
    46.
    No cover image available
    Авиационные амперметр А-040 и вольтметр В-040 (взамен 4МА/2) отв. ред. М. М. Розенблат

    by Розенблат, М. М [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Оборонгиз 1941Availability: No items available :
    Log in to add tags Add to cart
    47.
    No cover image available
    Авиационный вольтамперметр ВА-040 (взамен МА/1) отв. ред. М. М. Розенблат

    by Розенблат, М. М [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Оборонгиз 1941Availability: No items available :
    Log in to add tags Add to cart
    48.
    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
    49.
    Персональный компьютер: настройка и техническая поддержка учебное пособие

    Series: Партнерство в образованииMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва БИНОМ, Лаборатория знаний 2006Availability: No items available :
    Log in to add tags Add to cart
    50.
    No cover image available
    Masking internal node logical faults and trojan circuits injections with using SAT solvers A. Y. Matrosova, V. Provkin

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

    Source: 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) : THETA 22nd edition, 21st -23rd May, Cluj-Napoca, Romania : 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 :
    Log in to add tags Add to cart