|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Программа
| Книга | Страницы для поиска | | Яблонский С.В. - Введение в дискретную математику | 115 | | Мышкис А.Д. - Лекции по высшей математике | 619 | | Немнюгин М.А., Стесик О.Л. - Современный фортран. Самоучитель | 7 | | Клини С. - Математическая логика | 294 | | Непейвода Н.Н., Скопин И.Н. - Основания программирования | 181 | | Биркгоф Г., Барти Т. - Современная прикладная алгебра | 110 | | Липпман С.Б. - C++ для начинающих | 14-21 | | Воройский Ф.С. - Информатика. Новый систематизированный толковый словарь | 326 | | Мальцев А.И. - Алгоритмы и рекурсивные функции | 222 | | Гук М.Ю. - Аппаратные средства IBM PC | 755 | | Токхейм Р. - Основы цифровой электроники | 292 | | Барвайс Д. - Справочная книга по математической логике. Часть 3: теория рекурсии | 10 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики | 105, 110 | | Таненбаум Э. - Архитектура компьютера | 18 | | Алексеев Д.М. - Энциклопедия физики (предметный указатель) | IV, 133 | | Каммингс С. - VBA для "чайников" | 115 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. - Машины Тьюринга и рекурсивные функции | 36, 184, 185 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. - Достоверный и правдоподобный вывод в интеллектуальных системах | 332 | | Седжвик Р. - Фундаментальные алгоритмы на С++ (части 1-4 анализ, структура данных, сортировка, поиск) | 82, 145, 189, 205, 240 | | Гладкий А.В. - Формальные грамматики и языки | 42 | | Пестриков В.М., Маслобоев А.Н. - Delphi на примерах | 16 | | Хоровиц П., Хилл У. - Искусство схемотехники (том 2) | II-119-122, 125-137, 167-189 | | Пойа Д. - Математическое открытие | 208-209, 211-212 | | Успенский В.А., Семенов А.Л. - Теория алгоритмов: основные открытия и приложения | 108 | | Будак В.М., Фомин С.В. - Кратные интегралы и ряды | 581, 586 | | Дэвис С.Р. - C++ для "чайников" | 22 | | Руководство к "Своду знаний по управлению проектами" | 4, 16, 349, 367 | | Девятков В.В. - Системы искусственного интеллекта | 185 | | ЛаБарж Р. - DVD: авторинг и производство. Профессиональное руководство по DVD-видео, DVD-ROM, Web-DVD | 23, 194, 200, 382 | | Гюнтер Х. - Введение в курс спектроскопии ЯМР | 202 | | Хантер Р. - Проектирование и конструирование компиляторов | 8, 13, 16, 47-52, 73, 80, 112, 113, 117, 118, 120-122, 125, 126-129, 143-153, 155-64, 170, 177, 186-198 | | Бронштейн И.Н., Семендяев К.А. - Справочник по математике для инженеров и учащихся ВТУЗов | 524 | | Виноградов И.М. - Математическая энциклопедия. Предметный указатель | I-220, 819; IV-645 | | Новиков A.M. - Методология образования | 30 | | Фатрелл Р.Т., Шафер Д.Ф., Шафер Л.И. - Управление программными проектами | 37; 41 | | Аверкин А.Н. - Нечеткие множества в моделях управления и искусственного интеллекта | 199 | | Левина И.С. (ред) - Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщение | определение 4.1.1, текст 1 | | Пул Л. - Работа на персональном компьютере | 23 | | Кушниренко А.Г., Лебедев Г.В. - Программирование для математиков | 10, 21, 374 | | Борковский А.Б. - Англо-русский словарь по программированию и информатике | 53, 203, 222, 237 | | Джехани Н. - Язык Ада | 10; D, см. 'Главная программа' | | Боон К. - Паскаль для всех | 9, 25, 170 | | Деньдобренко Б.Н., Малика А.С. - Автоматизация конструирования РЭА | 105 | | Панов М.И. - Методические проблемы интуиционистской математики | 36 | | Майоров С.А., Крутовских С.А. - Электронные вычислительные машины (справочник по конструированию) | 10, 14 | | Успенский В.А. - Лекции о вычислимых функциях | 411, 419 | | Бишоп Дж. - C# в кратком изложении | 47 | | Йенсен К., Вирт Н. - Паскаль. Руководство для пользователя и описание языка | 13 | | Ярмиш Р., Ярмиш Дж. - Основы программирования на языке Ассемблера, книга 2 | 11, 27 | | Гаазе-Рапопорт М.Г. - Автоматы и живые организмы | 100, 141, 142, 187, 193, 201, 206 | | Пильщиков В.Н. - Язык плэнер | 49, 50, 61, 62, 140 | | Р. Паллю де Ла Барьер - Курс теории автоматического управления | 275 | | Глушков В.М. - Основы безбумажной информатики | 36, 40, 42 | | Котельников И.А., Чеботаев П.З. - LaTeX по-русски | 3, 6, 20, 24, 174, 239, 362, 363, 366, 369, 430, 485 (см. также 'Библиотека программ') | | Пярнпуу А.А. - Программирование на современных алгоритмических языках | 8, 19, 21, 51 148, 250 | | Боглаев Ю.П. - Вычислительная математика и программирование | 10, 11 | | Гивоне Д., Россер Р. - Микропроцессоры и микрокомпьютеры. Вводный курс | 292 | | Квиттнер Н. - Задачи, программы, вычисления, результаты | 338 | | Джонстон Г. - Учитесь программировать | 19 | | Вирт Н. - Систематическое программирование. Введение | 15, 19 | | Aнтипов И.Н. - Программирование | 41, 77, 106 | | Степанов А.Н. - Информатика | 27, 43 | | Таненбаум Э. - Архитектура компьютера | 17 | | Лернер А.Я. - Начала кибернетики | 198 | | Яблонский С.В. - Введение в дискретную математику | 115 | | Вонг У. - Основы программирования для "чайников" | 25 | | Власов В.К., Королев Л.Н., Сотников А.Н. - Элементы информатики | 6, 8, 127 | | Пярнпуу А.А. - Программирование на алголе и фортране | 10, 20, 22, 58, 98, 155 | | Марков А.С., Лисовский К.Ю. - Базы данных. Введение в теорию и методологию | 24, 42, 474 | | Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) - Математика и кибернетика в экономике. Словарь-справочник | 5, 27, 179, 264, 446 | | Брукшир Д.Г. - Введение в компьютерные науки. Общий обзор | 22, 115, 124, 214, 225 | | Поспелов Г.С.(ред.) - Проблемы программно-целевого планирования и управления | 81 | | Пентковский В.М. - Язык программирования Эль-76. Принципы построения языка и руководство к пользованию | 177, 239 | | Саркисян А.А. - Машинонезависимая оптимизация исходных программ | 6, 188-198 | | Миллер Р - Теория переключательных схем. Том 1. Комбинационные схемы | 32 | | Шалыто А.А. - Логическое управление. Методы аппаратной и программной реализации | 701 | | Рывкин А.А., Рывкин А.З., Хренов Л.С. - Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы | 204 | | Гук М.Ю. - Аппаратные средства IBM PC. Энциклопедия | 755 | | Любимский Э.З., Мартынюк В.В., Трифонов Н.П. - Программирование | 19, 199 | | Ковальски Р. - Логика в решении проблем | 27 | | Рапаков Г.Г., Ржеуцкая С.Ю. - Программирование на языке Pascal | 25 | | Воройский Ф.С. - Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 304 | | Суэмацу Е. - Микрокомпьютерные системы управления. Первое знакомство | 25 | | Кушниренко А.Г., Лебедев Г.В., Сворень Р.А. - Основы информатики и вычислительной техники | 13, 19 | | Малютин Э.А., Малютина Л.В. - ПЛ/1 для начинающих | 7, 8, 31, 49, 136 | | Безбородов Ю.М. - От фортрана - к PL/1 | 63 | | Безбородов Ю.М. - Сравнительный курс языка PL/1 | 46, 97, 168 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) - Информатика. Вводный курс | 116 | | Александров Е.А. - Основы теории эвристических решений. Подход к изучению естественного и построению искусственного интеллекта | 215 | | Дудаков С.М. - Математическое введение в информатику | 10 | | Дружинин В.В. (ред.) - Справочник по основам радиолокационной техники | 640 | | Симонович С.В. - Информатика. Базовый курс. | 50 | | Бесекерский В.А., Изранцев В.Б. - Системы автоматического управления с микроЭВМ | 7 | | Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. - Информатика и компьютерные технологии. Основные термины. Толковый словарь | 155 | | Мазор Ю.Л., Мачусский Е.А., Правда В.И. - Радиотехника. Энциклопедия | 889 | | Смит Б.Р., Хауорт Л., Уотте Л. - Осваиваем микрокомпьютер. Книга 2 | 8, 20, 78, 84, 86, 87 | | Бесекерский В.А., Изранцев В.В. - Системы автоматического управления с микроЭВМ | 7 | | Гитлиц М.В. (ред) - Радиовещание и электроакустика | 4, 7-9 | | Клини С.К. - Математическая логика | 294 |
|
|
|
|
|
|
|
О проекте