Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 6 results.

    1.
    Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского

    by Кларк, Эдмунд М. младший | Грамберг, Орна | Пелед, Дорон | Смелянский, Руслан Леонидович [edt].

    Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. МЦНМО 2002Other title: Model Checking.Availability: No items available :
    Log in to add tags Add to cart
    2.
    Динамика баланса массы ледников в связи с макроциркуляционными процессами в атмосфере В. М. Федоров

    by Федоров, Валерий Михайлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматлит 2011Availability: No items available :
    Log in to add tags Add to cart
    3.
    Практикум по эконометрике [учебное пособие для студентов высших учебных заведений, обучающихся по экономическим специальностям] А. В. Гладилин, А. Н. Герасимов, Е. И. Громов

    by Гладилин, Александр Васильевич | Герасимов, Алексей Николаевич | Громов, Евгений Иванович.

    Series: Высшее образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Ростов-на-Дону Феникс 2011Availability: No items available :
    Log in to add tags Add to cart
    4.
    Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием Минсон Чэнь, Ксяоке Цинь, Хеон-Мо Ку, Прабхат Мишра ; пер. с англ. Е. Б. Махияновой ; под ред. А. Н. Ланцева

    by Чэнь, Минсон | Цинь, Ксяоке | Ку, Хеон-Мо | Мишра, Прабхат | Ланцев, А. Н [edt].

    Series: Мир радиоэлектроникиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Техносфера 2014Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Верификация математической модели промерзания и оттаивания грунта с использованием данных метеостанций К. А. Алипова

    by Алипова, Ксения Александровна.

    Source: Всероссийская молодежная научная конференция "Все грани математики и механики" (25-28 апреля 2017 г.) : сборник статей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
    6.
    Программно-аппаратные средства защиты информации. Защита программного обеспечения учебник и практикум О. В. Казарин, А. С. Забабурин.

    by Казарин О. В. Олег Викторович | Забабурин А. С. Александр Станиславович.

    Series: Высшее образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Юрайт 2023Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart