Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Синтаксис
Книга
Страницы для поиска
Арратун Р. — Оптические вычисления
295
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей
53
Немнюгин М.А., Стесик О.Л. — Современный фортран. Самоучитель
7
Биркгоф Г., Барти Т. — Современная прикладная алгебра
129
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь
93, 159
Нильсон Н. — Искусственный интеллект. Методы поиска решений
172, 173
Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты
44
Никольская И.Л. — Математическая логика
22
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание
448
Петцольд Ч. — Код. Тайный язык информатики
443
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
214, 240
Страуструп Б. — Дизайн и эволюция C++
131
Дэвис С.Р. — C++ для "чайников"
22
Хант Э. — Искусственный интеллект
485
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера
200, 227
Гладкий А.В. — Математическая логика
154
Девятков В.В. — Системы искусственного интеллекта
24
Уолл Л., Кристиансен Т., Орвант Д. — Программирование на Perl
1074
Хантер Р. — Проектирование и конструирование компиляторов
18—24, 31, 52, 75, 109, 112, 191, 193, 199
Алпатов В.М., Вентцель А.Д., Городецкий Б.Ю. — Лингвистические задачи
89—106
Пинкер С. — Язык как инстинкт
6, 12, 76, 112—116, 119, 138, 148, 154, 173, 174, 177, 199, 215, 238, 255, 279, 297, 312, 320—322, 324, 329, 331, 343, 347, 349, 352, 376, 381, 385, 410, 412
Борковский А.Б. — Англо-русский словарь по программированию и информатике
250
Пратт Т. — Языки программирования. Разработка и реализация
308
Бек Л. — Введение в системное программирование
114, 223—227, 263, 425
Эндрю А. — Искусственный интеллект
146, 157, 192, 224, 232
Бишоп Дж. — C# в кратком изложении
39
Квиттнер Н. — Задачи, программы, вычисления, результаты
128, 130—131
Джонстон Г. — Учитесь программировать
84, 178, 199, 201, 215, 234, 236
Вирт Н. — Систематическое программирование. Введение
43, 130
Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия
148
Рассел С., Норвиг П. — Искусственный интеллект: современный подход
64, 292
Андон Ф., Резниченко В. — Язык запросов SQL. Учебный курс
19
Кейслер Г., Чэн Ч.Ч. — Теория моделей
15
Власов В.К., Королев Л.Н., Сотников А.Н. — Элементы информатики
169, 171
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию
71, 148, 153
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник
27, 242
Куринной Г.Ч. — Математика. Справочник
57
Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор
218
Себеста Р.У. — Основные концепции языков программирования
124
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование
44
Ковальски Р. — Логика в решении проблем
21
Рапаков Г.Г., Ржеуцкая С.Ю. — Программирование на языке Pascal
20
Городецкий Б.Ю. — Новое в зарубежной лингвистике: выпуск XXIV. Компьютерная лингвистика
34, 79, 162, 165, 171, 173, 193, 194, 198, 275, 310, 313
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах
118, 124
Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий
17, 68
Михайлов А.И., Черный А.И., Гиляревский Р.С. — Основы информатики
257
Малютин Э.А., Малютина Л.В. — ПЛ/1 для начинающих
32, 71
Грисуолд Р., Поудж Дж., Полонски И. — Язык программирования СНОБОЛ-4
213
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс
75, 349
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь
176
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект
87, 189
Вирт Н. — Систематическое программирование
43, 130
Ли У. — Методы автоматического распознавания речи. Книга 2
423, 531
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе
194
Рафаэл Б. — Думающий компьютер
231, 268
Биркгоф Г., Барти Т. — Современная прикладная алгебра
129
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2025
|
|
О проекте