Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 142 results.

    1.
    No cover image available
    Основы программирования. Разработка и анализ алгоритмов учебное пособие Ю. Л. Костюк ; Том. гос. ун-т

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

    Series: Инновационная образовательная программаMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Издательство Томского университета 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

    by Игошин, Владимир Иванович.

    Series: Учебное пособие | Высшее профессиональное образованиеEdition: 4-е изд., стер.Material type: Text Text; Format: print Language: Russian Publication details: Москва Академия 2010Availability: No items available :
    Log in to add tags Add to cart
    3.
    Верификация моделей программ: 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
    4.
    Аналитическая философия истории Артур С. Данто; Пер. с англ. А. Л. Никифорова, О. В. Гавришиной; Под ред. Л. Б. Макеевой

    by Данто, Артур, 1924-2013 | Макеева, Л. Б [ред.].

    Series: Университетская библиотека | Исследования по аналитической философииMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Идея-Пресс 2002Availability: No items available :
    Log in to add tags Add to cart
    5.
    Основы научных исследований учебное пособие В. М. Кожухар

    by Кожухар, Владимир Макарович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Дашков и К° 2013Availability: No items available :
    Log in to add tags Add to cart
    6.
    7.
    Достоверные вычисления базовые численные методы У. Кулиш, Д. Рац, Р. Хаммер, М. Хокс ; пер. под ред. В. Я. Крейновича, А. Н. Соболевского, А. Г. Яковлева

    by Кулиш, У | Рац, Д | Хаммер, Р | Хокс, М | Крейнович, В. Я [edt] | Соболевский, А. Н [edt] | Яковлев, А. Г [edt].

    Series: Компьютерные математические вычисленияMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. [и др.] Регулярная и хаотическая динамика 2005Other title: Numerical toolbox for verified computing I.Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    9.
    No cover image available
    10.
    Методы обеспечения качества крупномасштабных программных средств В. В. Липаев; РАН. Ин-т системного программирования

    by Липаев, Владимир Васильевич.

    Series: Управление качествомMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. СИНТЕГ 2003Availability: No items available :
    Log in to add tags Add to cart
    11.
    Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа С. Д. Махортов ; под ред. В. А. Васенина

    by Махортов, Сергей Дмитриевич | Васенин, Валерий Александрович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Изд-во МЦНМО 2009Availability: No items available :
    Log in to add tags Add to cart
    12.
    Верификация программного обеспечения учебное пособие С. В. Синицын, Н. Ю. Налютин

    by Синицын, Сергей Владимирович | Налютин, Никита Юрьевич [aut].

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Ун-т информ. технологий 2008Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Положение о содержании и разработке учебно-методических комплексов в Томском государственном университете Том. гос. ун-т ; [сост.: А. И. Летувнинкас]

    by Летувнинкас, Арвидас Иосифович [edt] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: No items available :
    Log in to add tags Add to cart
    14.
    Системы программирования: теория, методы, алгоритмы учебное пособие по направлению 654600 - информатика и вычислительная техника А. П. Соколов

    by Соколов, Александр Павлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Финансы и статистика 2004Availability: No items available :
    Log in to add tags Add to cart
    15.
    Модель внешнеполитической деятельности государства А. И. Кондратов ; Российская акад. гос. службы при Президенте Российской Федерации

    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
    16.
    Выделение лесов высокой природоохранной ценности в Приморском крае категории, важные для сохранения растительного покрова Д. Е. Аксенов, М. Ю. Дубинин, М. Л. Карпачевский [и др.]

    by Аксенов, Д. Е | Дубинин, М. Ю | Карпачевский, Михаил Львович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Владивосток [и др.] [Издательство МСоЭС] 2006Availability: No items available :
    Log in to add tags Add to cart
    17.
    Риск-анализ в экономике Н. П. Тихомиров, Т. М. Тихомирова

    by Тихомиров, Николай Петрович | Тихомирова, Татьяна Михайловна.

    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
    18.
    No cover image available
    Критика онтологического доказательства как основания гносеологического оптимизма диссертация на соискание ученой степени кандидата философских наук. 09.00.01 Ким Анна Львовна ; науч. рук. Аванесов С. С. ; Том. гос. ун-т

    by Ким, Анна Львовна | Аванесов, Сергей Сергеевич, 1963- [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
    19.
    20.
    21.
    22.
    No cover image available
    Закономерности и прогнозирование природных явлений [А. П. Резников, В. П. Кукушкина, И. П. Дружинин и др. ; отв. ред. С. И. Агарков и др.] ; Акад. наук СССР, Сибирское отделение, Вост.-Сиб. филиал

    by Резников, А. П | Кукушкина, В. П | Агарков, С. И [edt] | Дружинин, Игорь Петрович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1980Availability: No items available :
    Log in to add tags Add to cart
    23.
    Гидрогеологические прогнозы в системе мониторинга подземных вод С. М. Семенов ; Рос. акад. наук, Ин-т геоэкологии

    by Семенов, Станислав Михайлович.

    Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Publication details: М. Наука 2005Availability: No items available :
    Log in to add tags Add to cart
    24.
    25.
    Logics for emerging applications of databases edited by Jan Chomicki, Ron van der Meyden, Gunter Saake

    by Chomicki, Jan [edt] | Meyden, Ron van der [edt] | Saake, Guenter [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin [a. o.] Springer 2004Availability: No items available :
    Log in to add tags Add to cart
    26.
    Концептуализация базовых эмоций человека (на материале русского и французского языков) : монография Е. Н. Белая ; Омский гос. ун-т им. Ф. М. Достоевского

    by Белая, Елена Николаевна.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian, French Publication details: Омск Изд-во Омского гос. ун-та 2008Availability: No items available :
    Log in to add tags Add to cart
    27.
    Рефлексия словесного творчества: язык умер, да здравствует язык стихи Владимира Рабиновича: опыт психогерменевтики В. И. Батов

    by Батов, Виталий Иванович | Рабинович, Вадим Львович, 1935-2013.

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

    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
    29.
    No cover image available
    Надежность программного обеспечения робототехнических систем учебное пособие О. М. Раводин ; Томский государственный университет

    by Раводин, Олег Михайлович | Томский государственный университет Физико-технический факультет Кафедра прикладной газовой динамики и горения.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Томский государственный университет 2012Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    30.
    Математическое и имитационное моделирование производственных систем А. Г. Дьячко ; Мос. гос. ин-т стали и сплавов (технологического университета)

    by Дьячко, Анатолий Григорьевич, 1937-.

    Series: Металлургия и материаловедение XXI векаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва МИСИС 2007Availability: No items available :
    Log in to add tags Add to cart
    31.
    Параллельные алгоритмы логического управления А. Д. Закревский ; Нац. акад. наук Беларуси. Объедин. ин-т проблем информатики

    by Закревский, Аркадий Дмитриевич, 1928-2014.

    Edition: Изд. 2-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Едиториал УРСС 2003Availability: No items available :
    Log in to add tags Add to cart
    32.
    Динамика баланса массы ледников в связи с макроциркуляционными процессами в атмосфере В. М. Федоров

    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
    33.
    Численное исследование задач внешней и внутренней аэродинамики В. А. Башкин, И. В. Егоров

    by Башкин, Вячеслав Антонович | Егоров, Иван Владимирович доктор физ.-мат. наук.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Физматлит 2013Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    Log in to add tags Add to cart
    34.
    Структурированные системы переходов Е. В. Кузьмин, В. А. Соколов

    by Кузьмин, Егор Владимирович | Соколов, Валерий Анатольевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Физматлит 2006Availability: No items available :
    Log in to add tags Add to cart
    35.
    Экономическое прогнозирование: методы и приемы практических расчетов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Маркетинг" М. М. Бутакова

    by Бутакова, Марина Михайловна.

    Edition: 2-е изд., испр.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Кнорус 2010Availability: No items available :
    Log in to add tags Add to cart
    36.
    Статистическое моделирование решений стохастических дифференциальных уравнений и систем со случайной структурой Т. А. Аверина ; Рос. акад. наук, Сибирское отд-ние, Ин-т вычисл. математики и мат. геофизики

    by Аверина, Татьяна Александровна.

    Material type: Text Text; Format: print Language: Russian Publication details: Новосибирск Издательство Сибирского отделения Российской академии наук 2019Availability: No items available :
    Log in to add tags Add to cart
    37.
    Системная информатика [Вып. ] 9 сборник научных трудов [Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова]

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск 2004Other title: Формальные методы и модели информатики.Availability: No items available :
    Log in to add tags Add to cart
    38.
    История философии. ХХ век [Пер. с англ. ] Фредерик Коплстон; Пер. с англ. П. А. Сафронова

    by Коплстон, Фредерик, 1907-1994.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Центрполиграф 2002Other title: Contemporary philosophy.Availability: No items available :
    Log in to add tags Add to cart
    39.
    No cover image available
    Применение теории графов в программировании В. А. Евстигнеев; Под ред. А. П. Ершова

    by Евстигнеев, Владимир Анатольевич | Ершов, Андрей Петрович, 1931-1988 [редактор].

    Series: Библиотечка программистаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1985Availability: No items available :
    Log in to add tags Add to cart
    40.
    No cover image available
    41.
    Структура текста как синергетический процесс Г. Г. Москальчук

    by Москальчук, Галина Григорьевна.

    Series: Синергетика в гуманитарных наукахEdition: Изд. 2-е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
    42.
    No cover image available
    Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного [монография] И. Ю. Николаева ; под ред. Б. Г. Могильницкого ; Том. МИОН

    by Николаева, Ирина Юрьевна, 1955-2015 | Могильницкий, Борис Георгиевич, 1929-2014 [edt] | Томский государственный университет Исторический факультет Кафедра истории древнего мира, средних веков и методологии истории.

    Series: Монографии / МИОН | Межрегиональные исследования в общественных науках : МИОНMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    43.
    44.
    Современные проблемы прикладной математики Вып. 1 сборник научно-популярных статей под ред. А. А. Петрова

    by Петров, А. А [edt].

    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
    45.
    Жемчужины программирования [Пер. с англ. ] Джон Бентли

    by Бентли, Джон.

    Series: Библиотека программистаEdition: 2-е изд.Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: СПб. [и др.] Питер [и др.] 2002Other title: Programming rearls.Availability: No items available :
    Log in to add tags Add to cart
    46.
    Interactive systems design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers edited by Philippe Palanque, Fabio Paternò

    by Palanque, Philippe [edt] | Paternò, Fabio [edt].

    Series: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin [a. o.] Springer 2001Availability: No items available :
    Log in to add tags Add to cart
    47.
    Программная инженерия методологические основы : [учебник для вузов по направлению "Бизнес-информатика"] В. В. Липаев ; Гос. ун-т - Высш. шк. экономики

    by Липаев, Владимир Васильевич.

    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
    48.
    Прогнозирование и планирование в условиях рынка учебное пособие : [для студентов вузов по специальности 080502 "Экономика и управление на предприятии (по отраслям)"] Т. Н. Бабич, И. А. Козьева, Ю. В. Вертакова, Э. Н. Кузьбожев

    by Козьева, Ирина Александровна | Бабич, Татьяна Николаевна | Вертакова, Юлия Владимировна | Кузьбожев, Эдуард Николаевич.

    Series: Высшее образование | Электронно-библиотечная система "Znanium.com"Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ИНФРА-М 2013Availability: No items available :
    Log in to add tags Add to cart
    49.
    Полидисциплинарный синтез и верификация в истории И. Ю. Николаева ; под ред. Б. Г. Могильницкого ; Том. гос. ун-т

    by Николаева, Ирина Юрьевна, 1955-2015 | Могильницкий, Борис Георгиевич, 1929-2014 [edt] | Томский государственный университет Исторический факультет Кафедра истории древнего мира, средних веков и методологии истории.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск Издательство Томского университета 2010Online access: Click here to access online Availability: No items available :
    Tags:
    Log in to add tags Add to cart
    50.
    No cover image available
    Язык, истина и логика Альфред Дж. Айер ; под общ. ред. В. А. Суровцева ; [пер. с англ. В. А. Суровцева, Н. А. Тарабанова]

    by Айер, Алфред Джулс, 1910-1989 | Суровцев, Валерий Александрович [edt].

    Series: Библиотека аналитической философииMaterial type: Text Text; Format: electronic available online remote; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Канон+ 2010Other title: Language, truth and logic.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart