Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 19 results.

    1.
    Системная информатика [Вып. ] 8 Сб. науч. тр. [Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова]

    by Поттосин, Игорь Васильевич, 1933-2001 [edt] | Марчук, Александр Гурьевич [edt] | Институт систем информатики им. А. П. Ершова (Новосибирск).

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: Новосибирск Наука, Сибирская издательская фирма 2002Other title: Теория и методология программирования.Availability: No items available :
    Log in to add tags Add to cart
    2.
    Теория PS-сетей и проектирование параллельных вычислительных систем Н. Г. Марков, Е. А. Мирошниченко, А. В. Сарайкин ; Том. политехн. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 2002Availability: No items available :
    Log in to add tags Add to cart
    3.
    Сводимые графы и граф-модели в программировании В. А. Евстигнеев, В. Н. Касьянов; Отв. ред. В. Н. Касьянов

    by Евстигнеев, Владимир Анатольевич | Касьянов, Виктор Николаевич, 1948- [авт.-ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск ИДМИ 1999Availability: No items available :
    Log in to add tags Add to cart
    4.
    Моделирование систем [учебник для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы"] Б. Я. Советов, С. А. Яковлев

    by Советов, Борис Яковлевич | Яковлев, Сергей Алексеевич.

    Edition: Изд. 4-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. Высшая школа 2005Availability: No items available :
    Log in to add tags Add to cart
    5.
    Эквивалентность ресурсов в сетях Петри В. А. Башкин, И. А. Ломазова

    by Башкин, Владимир Анатольевич | Ломазова, Ирина Александровна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Научный мир 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой И. А. Ломазова

    by Ломазова, Ирина Александровна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Научный мир 2004Other title: Nested Petri nets: Modeling and analysis of distributed systems with object structure.Availability: No items available :
    Log in to add tags Add to cart
    7.
    Методы оптимизации и принятия решений Учебное пособие И. Г. Черноруцкий; С. -Петербург. гос. техн. ун-т

    by Черноруцкий, Игорь Георгиевич.

    Series: Учебники для вузовMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. Лань 2001Availability: No items available :
    Log in to add tags Add to cart
    8.
    9.
    Ленивое функциональное программирование учебное пособие : [для вузов по направлению подготовки дипломированных специалистов 230100 "Информатика и вычислительная техника", специальности 230105 "Программное обеспечение вычислительной техники и автоматизированных систем"] В. М. Зюзьков ; Томский гос. ун-т систем упр. и радиоэлектроники

    by Зюзьков, Валентин Михайлович | Томский государственный университет систем управления и радиоэлектроники.

    Edition: 2-е изд., перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Издательство Томского университета 2007Availability: No items available :
    Log in to add tags Add to cart
    10.
    Принятие решений: комбинаторные модели аппроксимации информации А. Р. Белкин, М. Ш. Левин

    by Белкин, Анатолий Рафаилович, 1955- | Левин, Марк Шмуилович.

    Series: Теория и методы системного анализаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Наука 1990Availability: No items available :
    Log in to add tags Add to cart
    11.
    Виртуальная реальность и проблемы нейрокомпьютинга Д. И. Шапиро

    by Шапиро, Давид Исаакович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. РФК-Имидж Лаб 2008Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    A TEFSM-based framework for QoE evaluation of OTT services D. Rivera, N. Kushik, C. Fuenzalida [et.al.]

    by Rivera, D | Fuenzalida, C | Cavalli, Ana Rosa | Yevtushenko, Nina V | Kushik, Natalia G | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    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
    13.
    No cover image available
    Формальные модели, используемые при защите программ Д. И. Черемисинов

    by Черемисинов, Дмитрий Иванович.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    К вопросу о синтезе параллельных алгоритмов А. В. Малахов, В. Б. Новосельцев

    by Малахов, Антон Викторович | Новосельцев, Виталий Борисович | Томский государственный университет Факультет прикладной математики и кибернетики (до 01.09.2017 г.).

    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
    15.
    No cover image available
    Инструмент автоматизированной разработки программ на основе формальных моделей Н. В. Кан

    by Кан, Надежда Владимировна.

    Source: Труды семнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, г. Томск, 11–15 мая 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
    16.
    No cover image available
    Разработка и реализация мандатных механизмов управления доступом в СУБД MySQL Д. Н. Колегов, Н. О. Ткаченко, Д. В. Чернов

    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
    17.
    No cover image available
    Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели П. Н. Девянин

    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
    18.
    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
    19.
    No cover image available
    О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL П. Н. Девянин

    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