Сводный каталог книг

w10=
Найдено документов в текущей БД: 13
   З97
   А 16
З 97 / А 16-ИВМ-Фонд

    Начала информатики
/ С. А. Абрамов, Е. В. Зима. - М. : Наука, 1989. - 256 с. : ил. - (Библиотечка программиста). - ISBN 5-02-013958-0 : 1.00 р., 1.00 р.
ГРНТИ
УДК
ББК З97 + Ч23


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Зима, Евгений Викторович
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   З 973.2
   Ф51

    Функциональное программирование
[Текст] : монография / Антони Филд, Петер Харрисон ; Пер. с англ. М.В. Горбатовой, А.А. Рябинина, В.Л. Торхова ; под ред. В.А. Горбатова. - Москва : Мир, 1993. - 638 с. : ил. - Библиогр.: с. 621-626. - Предм. указ.: с. 627-633. - ISBN 5-03-001870-0 : 32.00 р.
УДК

Кл.слова (ненормированные):
РЕАЛИЗАЦИЯ -- ОПТИМИЗАЦИЯ

Аннотация: В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанной на л-исчислении Черча. В качестве базового языка рассматривается функциональный язык Норе, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ. Для программистов как начинающих, так и профессионалов, а также специалистов в области информатики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Харрисон, Петер
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973
   М19

    Реляционный язык Пролог и его применение.
[Текст] : (Пер. с англ. А.А.Титова) / Дж. Малпас; Под ред. В.Н.Соболева. - Москва : Наука, 1990. - 463 с. : 42 ил + 23 табл. - Библиогр: с. 448-458 В надзаг.:%Предм.указ. с. 459-463%ISBN 5-02-014509-2. - 3.50 р.
УДК

Кл.слова (ненормированные):
информатика

Аннотация: Описывается редакционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973
   З266

    Системы программирования баз данных и знаний
[Текст] : монография / А.В. Замулин; Отв.ред. В.Е.Котов. - Новосибирск : Наука, 1990. - 340 с. : 33 ил. - Библиогр: с. 340-347 В надзаг.:%ISBN 5-02-029673-2. - 4.80 р.
УДК

Кл.слова (ненормированные):
информатика

Аннотация: В монографии излагаются теоретические, языковые и программные основы систем программирования баз данных и знаний, предназначенных для создания информационных и экспертных систем различных классов и моделей. Обсуждаются требования, предъявляемые к таким системам, и выявляется их центральное звено - тип данных. Отражено современное состояние исследований различных аспектов типов и моделей данных. Описываются существующие и перспективные языки программирования баз данных, ориентированные на сетевые, реляционные, семантические и объектно-ориентированные модели данных. Приводятся сведения о технике реализации подобных языков. Книга предназначена для специалистов по информатике и программированию.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З 973
   З266

    Типы данных в языках программирования и базах данных
[Текст] : монография / А.В. Замулин; АН СССР, Сиб. отд-ние, ВЦ; Отв. ред. В.Е. Котов. - Новосибирск : Наука. Сибирское отделение, 1987. - 150 с. - Библиогр: с.142-145. Предм. указ.: с.146-148. -
УДК

Кл.слова (ненормированные):
информатика%программирование

Аннотация: В монографии с единой методологической точки зрения анализируется современное состояние исследований по типам данных в языках программирования и базах данных. Дается алгебраическое обоснование типов данных и устанавливается связь между абстрактными, конкретными и родовыми данными. Вводится унифицированный конструктив типов данных, который применяется для рассмотрения систем типов данных известных языков программирования Паскаль, Клу и Ада. Обсуждаются классические модели баз данных и дается оригинальная их трактовка с позиций унифицированного конструктива данных. Для специалистов по информатике и программированию.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44 ИВМ-Фонд
Свободных экз. нет
   З973
   Я411

    Языки программирования
[Текст] : [Сб. ст.] / АН СССР, Вычисл. центр. - Москва : Наука, 1985. - 80 с. : ил. - (Алгоритмы и алгоритмические языки). - Библиогр: в конце ст. - 0.35 р.
УДК

Кл.слова (ненормированные):
алгоритмические языки%трансляторы

Аннотация: Сборник содержит две статьи. В первой дано описание нового алгоритмического языка Модула-2, разработанного Н. Виртом. Существует уже несколько реализаций этого языка, в том числе и для прототипов эксплуатируемых у нас машин. Вторая статья посвящена атрибутным грамматикам, получающим все большее применение при реализации языков программирования и в системах построения трансляторов. Для специалистов в области программирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973.2
   П44

    Информатика в задачах и упражнениях
[Текст] : монография. Вып.1167 / Т.Н. Поддубная, И.Л. Фукс. - Томск : Раско, 1992. - 128 с. : ил. - (Массовая радиобиблиотека). - Библиогр.: с. 125-126%ISBN 5-256-00554-5. - 1.09 р.
УДК

Кл.слова (ненормированные):
алгоритмы и программы

Аннотация: Рассматривается ряд задач, связанных с моделированием на ЭВМ реальнах объектов и организацией различных способов обработки числовой и символьной информации. Решение задач доведено до уровня готовых алгоритмов и программ и сопровождается разнообразными упражнениями и заданиями. Подбор задач и характер изложения направлены на иллюстрацию основных понятий и методов информатики. Для подготовленных радиолюбителей; может быть полезна преподавателям информатики, школьникам и студентам, изучающим этот предмет.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Фукс, И.Л.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973.2-018
   Б882

    Введение в информатику
[Текст] : сборник задач / М. Брой, Б. Румпе. - Москва : Научный мир ; Москва : Диалог - Мифи, 2000. - 374 с. - ISBN 5-89176-0851-1. - ISBN 5-86404-142-4 : 8.50 р.
УДК
ББК З973.2-018я7

Аннотация: Данная книга представляет собой сборник задач для практической поддержки четырехсеместрового курса лекций по информатике, представленного учебником Манфреда Броя "Информатика. Основополагающее введение" в четырех частях, который был выпущен в свет в переводе с немецкого издательством ДИАЛОГ-МИФИ в 1996-98 гг. Структура данного сборника аналогична структуре упомянутого выше учебника: каждой из частей учебника соответствует своя глава сборника, а ей - своя глава с ответами (предложениями по решению, эскизами искомых программ). Книга ориентирована прежде всего на читателей, познакомившихся с упомянутым выше учебником "Информатика", и особенно - на преподавателей предметов данного цикла в вузах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Румпе, Б.
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)
   З973.2-018
   Б388

    Приемы создания программ на языке Паскаль
[Текст] : монография / Бежанова М.М., Москвина Л.А. - Москва : Научный мир, 2001. - 270 с. - (Практическое программирование). - Библиогр.: с. 269. - ISBN 5-89176-112-2 : 8.50 р.
ГРНТИ
УДК
ББК З973.2-018я73

Аннотация: Основой данного издания является электронный учебник, который в течение трех лет использовался в учебном процессе на механико-математическом факультете Новосибирского государственного университета. В настоящее издание, в силу ограниченности его объема, вошла только часть материала электронного учебника. При разработке большинства приводимых в книге программ много внимания было уделено удобству и ясности их пользовательского интерфейса. Обучение предполагает активную работу за компьютером с исполнением приводимых демонстрационных программ, выполнением предлагаемых упражнений и контрольных задач.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Москвина, Лариса Анатольевна
Экземпляры всего: 2
ИВМ-Фонд (2)
Свободны: ИВМ-Фонд (2)
   Ж2я512.2
   К807

    Автокад: программирование и адаптация
[Текст] : монография / Кречко Ю.А. - Москва : Диалог - Мифи, 1995. - 235 с. - Загл. обл.: AutoCAD: программирование и адаптация. - ISBN 5-86404-060-6 : 12.00 р.
ГРНТИ
УДК
ББК Ж2с512.2

Аннотация: Описан язык программирования Автолисп применительно к Автокаду версии 12, даются способы модификации меню, приёмы разработки диалоговых окон, вызываемых из приложений на Автолиспе, показаны приёмы использования сценариев, слайдов и слайд-фильмов. Изложение иллюстрируется большим количеством разнообразных примеров, как для 12-й версии Автокада, так и для более младших. Представлена аннотация Автокада версии 13 и некоторых приложений для архитектуры, строительства и машиностроения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973.2-018
   Н386

    Основания программирования
[Текст] : монография / Н.Н. Непейвода, И.Н. Скопин. - Москва ; Ижевск : Институт компьютерных исследований, 2003. - 868 с. : ил. - (Высшая информатика). - Библиогр.: с. 838-845. - Предм. указ.: с. 846-851. - ISBN 5-93972-299-7 : 95.12 р.
УДК
ББК З973.2-018

Аннотация: Книга представляет собой первое издание в серии, предназначенной для студентов, готовящихся к работе по современным информационным технологиям, и специалистов в данной области. Рекомендуется как для первокурсников, уже имеющих начальное знакомство с программированием, так и для специалистов, имеющих лишь практический опыт и желающих получить более основательные теоретические знания.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Скопин, Игорь Николаевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973.2-018
   Б388

    Визуальное программирование в среде Delphi
[Текст] : Учебник / М.М. Бежанова, Л.А. Москвина. - Москва : Логос, 2001. - 136 с. : ил. - (Практическое программирование). - Библиогр.: с. 128-129. - ISBN 5-94010-077-5 : Б. ц.
ГРНТИ
УДК
ББК З973.2-018я73

Аннотация: Раскрывается проблема создания визуальных пользовательских интерфейсов. Излагаются основные понятия и принципы программирования, базовые интерфейсные средства системы Windows 95, а также возможности в области систем WinWord. Основное внимание уделяется созданию визуальных интерфейсов в среде системы Delphi, используемых для решения учебных задач и при работе с базами данных. Для студентов высших учебных заведений, обучающихся по направлению и специальности "Прикладная математика и информатика".

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Москвина, Лариса Анатольевна
Экземпляры всего: 2
ИВМ-Фонд (2)
Свободны: ИВМ-Фонд (2)
   В185.2
   Б 88

    Введение в информатику:Сб.задач
[Text] / Пер.с нем.Н.П.Трифонова,В.И.Громыко под ред.Л.Н.Королева. - М. : Науч.мирДиалог-МИФИ, 2000. - 374 с. : ил. + 21см. - Библиогр.:с.371. - ISBN 5891760851. - ISBN 5864041424 : 72.00 р.
Доп.тит.л.нем.
УДК
ББК В185.2



Доп.точки доступа:
Румпе, Бернхард , ИБФ-ООН
Свободных экз. нет