З-96 Зыков, С. В. Введение в теорию программирования [Текст] : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"] / С. В. Зыков ; при поддержке Microsoft Research, Ltd. - М. : Интернет-Университет Информ. Технологий, 2012. - 393 с. : ил. - (Основы информационных технологий). - ISBN 978-5-9556-0009-3 : 290.00 р. На обл. кн. год изд.: 2004
Кл.слова (ненормированные): ЛЕКЦИИ -- УЧЕБНЫЕ ПОСОБИЯ -- ПРОГРАММИРОВАНИЕ -- ГРИФ УМО В ОБЛАСТИ ПРИКЛАДНОЙ ИНФОРМАТИКИ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- КОМБИНАТОРНАЯ ЛОГИКА -- ламбда-исчисление -- АБСТРАКТНЫЕ машины -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- C# (язык программирования) -- NET -- MICROSOFT NET Экземпляры всего: 5 чз№2 (4), кнхр (1) Свободны: чз№2 (4), кнхр (1) |
С 32 Сергиевский, Георгий Максимович. Функциональное и логическое программирование [Текст] : [учеб. пособие для вузов по направлению "Информатика и вычисл. техника"] / Г. М. Сергиевский, Н. Г. Волченков. - М. : Академия, 2010. - 317, [1] с. : ил. - (Высшее профессиональное образование) (Информатика и вычислительная техника). - ISBN 978-5-7695-6433-8 : 482.00 р.
Кл.слова (ненормированные): ГРИФ УМО ВУЗОВ ПО УНИВЕРСИТЕТСКОМУ ПОЛИТЕХНИЧЕСКОМУ ОБРАЗОВАНИЮ -- УЧЕБНЫЕ ПОСОБИЯ -- ИНТЕРНЕТ-РЕСУРСЫ -- трансформации компьютерных программ -- комбинаторная логика -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- Лисп -- Haskell -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛЯмбда-исчисления -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ЧАСТИЧНЫЕ вычисления Доп.точки доступа: Волченков, Николай Геннадьевич Экземпляры всего: 6 чз№2 (5), кнхр (1) Свободны: чз№2 (4), кнхр (1) |
В 72 Вольфенгаген, Вячеслав Эрнстович. Аппликативные вычислительные технологии [Текст] : готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген ; [под ред. Л. Ю. Исмаиловой]. - М. : ЮрИнфоР, 2009. - 63, [1] c. : ил. - (Библиотека "ЮрИнфоР") (Перспективный компьютинг как наука и профессия). - ISBN 978-5-903678-04-4 : 50.00 р.
Кл.слова (ненормированные): Компьютинг -- КОМБИНАТОРНАЯ логика -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ Доп.точки доступа: Исмаилова, Л. Ю. \ред.\ Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |