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.
    Electronic correlation mapping from finite to extended systems Jamal Berakdar

    by Berakdar, Jamal.

    Material type: Text Text; Format: print ; Literary form: Fiction ; Audience: Specialized; Publication details: Weinheim Wiley-VCH Verlag 2006Availability: No items available :
    Log in to add tags Add to cart
    3.
    4.
    Структуры в динамике. Конечномерные детерминированные системы Х. В. Брур, Ф. Дюмортье, С. ван Стрин, Ф. Такенс ; пер. с англ. под ред. Л. М. Лермана

    by Брур, Х. В | Дюмортье, Ф | Стрин, С. ван | Такенс, Ф | Лерман, Лев Михайлович [edt].

    Series: Современная математика. Физика. Математика. Биология. Нефтегазовые технологииMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. [и др.] Институт компьютерных исследований 2003Other title: Structures in dynamics.Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Что такое числа и для чего они служат? Рихард Дедекинд ; пер. с нем. приват-доцента Н. Парфентьева

    by Дедекинд, Рихард.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Казань Тип.-литогр. Имп. ун-та 1905Availability: No items available :
    Log in to add tags Add to cart
    6.
    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