Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 212 results.

    Sort
    Results
    1.
    Логика учебник : [для студентов вузов, преподавателей] А. Д. Гетманова

    by Гетманова, Александра Денисовна.

    Series: Университетский учебникEdition: 13-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2008Availability: No items available :
    2.
    Логика учебник : [для студентов вузов] А. Д. Гетманова

    by Гетманова, Александра Денисовна.

    Series: Университетский учебникEdition: 16-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2011Availability: No items available :
    3.
    Логика учебник [для вузов] А. Д. Гетманова

    by Гетманова, Александра Денисовна.

    Series: Университетский учебникEdition: 15-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2010Availability: No items available :
    4.
    Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т

    by Романович, Владимир Александрович | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: No items available :
    5.
    Информатика: базовый курс учебник : [для студентов вузов, бакалавров, магистров, обучающихся по направлению "Информатика и вычислительная техника”] О. А. Акулов, Н. В. Медведев

    by Акулов, Олег Анатольевич | Медведев, Николай Викторович.

    Series: Высшее техническое образованиеEdition: 6-е изд., испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Омега-Л 2009Availability: No items available :
    6.
    Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"] В. И. Игошин

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

    Series: Учебное пособие | Высшее профессиональное образованиеEdition: 4-е изд., стер.Material type: Text Text; Format: print Language: Russian Publication details: Москва Академия 2010Availability: No items available :
    7.
    Логика учебник для средней школы С. Н. Виноградов, А. Ф. Кузьмин

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

    Edition: Изд. 4-еMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Учпедгиз 1950Availability: No items available :
    8.
    9.
    Практикум по программированию на С++ [учебное пособие] Е. Л. Романов ; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т

    by Романов, Евгений Леонидович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: СПб. [и др.] БХВ-Петербург [и др.] 2004Availability: No items available :
    10.
    Философия науки современная эпистемология, научное знание в динамике культуры, методология научного исследования : учебное пособие Л. А. Микешина

    by Микешина, Людмила Александровна, 1930-.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: Russian Publication details: М. Прогресс-Традиция [и др.] 2005Online access: Click here to access online Availability: No items available :
    11.
    12.
    13.
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

    by Успенский, Владимир Андреевич, 1930- | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2007Availability: No items available :
    14.
    Современный структурализм размышления о методе и философии точных наук : пер. с фр. Ноэль Мулуд ; под ред. и с вступ. ст. Г. Курсанова

    by Мулуд, Ноэль | Курсанов, Георгий Алексеевич [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: French Publication details: Москва Прогресс 1973Other title: Les structures la recherche et le savoir.Availability: No items available :
    15.
    Основания теории множеств А. А. Френкель, И. Бар-Хиллел ; пер. с англ. Ю. А. Гастева ; под ред. и со вступ. ст. А. С. Есенина-Вольпина

    by Френкель, Абрахам Адольф | Бар-Хиллел, Иегошуа | Есенин-Вольпин, Александр Сергеевич [edt].

    Series: Физико-математическое наследиеEdition: Изд. 3-еMaterial type: Text Text; Format: print Language: Russian Publication details: Москва ЛИБРОКОМ 2010Availability: No items available :
    16.
    Latex Издательская система для всех К. О. Тельников, П. З. Чеботаев

    by Тельников, Кирилл Олегович | Чеботаев, Платон Захарович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Сибирский хронограф 1994Availability: No items available :
    17.
    Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Седов Юрий Владимирович; Науч. рук. А. Ю. Матросова; Том. гос. ун-т

    by Седов, Юрий Владимирович | Матросова, Анжела Юрьевна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2004Availability: No items available :
    18.
    Нейронные сети: распознавание, управление, принятие решений А. Б. Барский

    by Барский, Аркадий Бенционович.

    Series: Прикладные информационные технологии / гл. ред. сер. С. В. ЧеремныхMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Финансы и статистика 2004Availability: No items available :
    19.
    20.
    SQL Server 2000 Ч. 2 Программирование : пер. с англ. : [В 2 ч.] Роберт Вьейра

    by Вьейра, Роберт.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. БИНОМ. Лаб. знаний 2004Availability: No items available :
    21.
    Основы проектирования интегральных схем и систем Г. Г. Казеннов

    by Казеннов, Геннадий Георгиевич.

    Series: ЭлектроникаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. БИНОМ. Лаб. знаний 2005Availability: No items available :
    22.
    Введение в логическое программирование Пер. с англ. М. В. Захарьящева; Под ред. Ю. И. Янова

    by Хоггер, Кристофер Джон.

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1988Other title: Introduction to logic programming.Availability: No items available :
    23.
    Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings edited by I. V. Ramakrishnan

    by Ramakrishnan, I. V [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 :
    24.
    Prolog for computer science M. S. Dawe and C. M. Dawe

    by Dawe, M. S | Dawe, C. M.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London [a. o.] Springer-Verlag 1994Availability: No items available :
    25.
    Логическое программирование Учебное пособие В. М. Зюзьков

    by Зюзьков, Валентин Михайлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Томский государственный университет систем управления и радиоэлектроники 1999Availability: No items available :
    26.
    Языки программирования. Практический сравнительный анализ [учебник по языкам программирования] М. Бен-Анри ; пер. с англ. В. С. Штаркмана, М. Н. Яковлевой ; под ред. В. С. Штаркмана

    by Бен-Ари, М | Штаркман, В. С [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 2000Other title: Understanding programming languages.Availability: No items available :
    27.
    Очерки комплексной логики А. Зиновьев ; отв. ред. Е. А. Сидоренко

    by Зиновьев, Александр Александрович, 1922-2006 | Сидоренко, Евгений Александрович, 1940- [edt].

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Эдиториал УРСС 2000Availability: No items available :
    28.
    Сверхъестественное в первобытном мышлении Люсьен Леви-Брюль

    by Леви-Брюль, Люсьен, 1857-1939.

    Series: Психология: классические трудыMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Педагогика-Пресс 1999Availability: No items available :
    29.
    Введение в проектирование баз данных учебное пособие : [для вузов по направлениям ВПО 010400 "Прикладная математика и информатика"] В. Н. Лукин

    by Лукин, Владимир Николаевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Вузовская книга 2013Availability: No items available :
    30.
    Искусственный интеллект: применение в химии [Сборник статей] Д. Смит, Ч. Риз, Дж. Стюарт и др. ; Ред. Т. Пирс, Б. Хони; Перевод с англ. А. Ю. Батыря, В. Н. Петрова; Под ред. В. Л. Стефанюка

    by Пирс, Т [ред.] | Стефанюк, В. Л [ред.] | Хони, Б [ред.] | Смит, Д | Риз, Ч | Стюарт, Дж.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Мир 1988Other title: Artificial intelligence applications in chemistry.Availability: No items available :
    31.
    Логика и компьютер Вып. 2 [Сборник] Рос. АН; Отв. ред. В. А. Смирнов

    by Смирнов, В. А [отв. ред.].

    Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1995Other title: Логические языки, содержательные рассуждения и методы поиска доказательств.Availability: No items available :
    32.
    33.
    34.
    35.
    Проектирование объектно-ориентированных баз данных Эволюция технологий хранения информации: Пер. с англ. Джен Харрингтон

    by Харрингтон, Джен.

    Series: Для программистовMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian, English Publication details: М. ДМК Пресс 2001Other title: Object-Oriented Database Design Clearty Explained.Availability: No items available :
    36.
    37.
    38.
    Турбо Паскаль 7. 0 самоучитель: [учебный курс для школьников, студентов и преподавателей] Т. Грызлова, В. Грызлов

    by Грызлов, Владимир Иванович | Грызлова, Татьяна Павловна.

    Edition: Изд. 4-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. ДМК Пресс 2005Availability: No items available :
    39.
    Основы управления манипуляционными роботами [учебник для студентов вузов, обучающихся по специальности “Роботы и робототехнические системы”] С. Л. Зенкевич, А. С. Ющенко ; науч. ред. С. Л. Зенкевич, А. С. Ющенко

    by Зенкевич, Станислав Леонидович | Ющенко, Аркадий Семенович.

    Series: РобототехникаEdition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. МГТУ 2004Availability: No items available :
    40.
    Методика преподавания информатики [учебное пособие для вузов по специальности 030100 "Информатика"] М. П. Лапчик, И. Г. Семакин, Е. К. Хеннер ; под общ. ред. М. П. Лапчика

    by Лапчик, Михаил Павлович | Семакин, Игорь Геннадьевич | Хеннер, Евгений Карлович, 1946-.

    Series: Высшее профессиональное образованиеEdition: 3-е изд., стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. Академия 2006Availability: No items available :
    41.
    42.
    Основы баз данных учебное пособие Ш. И. Панцхава

    by Панцхава, Шота Ильич.

    Material type: Text Text; Format: print Language: Russian Publication details: Москва Изд-во МГОУ 2010Availability: No items available :
    43.
    44.
    Развиваем детскую память С. В. Кузнецова, Е. А. Терских

    by Кузнецова, Светлана Викторовна | Терских, Елена Александровна.

    Series: Мир вашего ребенкаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Ростов-на-Дону Феникс 2011Availability: No items available :
    45.
    К. Д. Ушинский о развитии логического мышления у учащихся начальных классов А. Л. Хайкин; Тамбовский обл. отд. нар. образования, Обл. ин-т усовершенствования учителей

    by Хайкин, Александр Лазаревич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Тамбов Тамбовская правда 1955Availability: No items available :
    46.
    Достоверный и правдоподобный вывод в интеллектуальных системах В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина ; под ред. В. Н. Вагина, Д. А. Поспелова

    by Вагин, Вадим Николаевич | Головина, Елена Юрьевна | Загорянская, Анастасия Анатольевна | Фомина, Марина Владимировна | Поспелов, Дмитрий Александрович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Физматлит 2004Availability: No items available :
    47.
    Априорные структуры как представление знания В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН

    by Целищев, Виталий Валентинович.

    Series: Новая философия математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Манускрипт - СИАМ 2013Availability: No items available :
    48.
    Структура и интерпретация компьютерных программ Харольд Абельсон, Джеральд Джей Сассман, при участии Джули Сассман ; [пер. Г. К. Бронникова]

    by Абельсон, Харольд | Сассман, Джеральд Джей, 1947- | Сассман, Джули.

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Добросвет [и др.] 2015Other title: Structure and interpretation of computer programs.Availability: No items available :
    49.
    Базы данных курс лекций : [учебное пособие] Р. Р. Латыпова

    by Латыпова, Рамиля Рамисовна.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Проспект 2016Availability: No items available :
    50.
    Как решать задачу пособие для учителей : пер. с англ. Д. Пойа ; под ред. Ю. М. Гайдука

    by Пойа, Дьердь | Гайдук, Ю. М [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Учпедгиз 1959Availability: No items available :
    Pages