Полное описание
>
Городняя, Лидия Васильевна .
Функциональное программирование. Парадигма, модели и методы / Л. В. Городняя; ответственный редактор А. Ю. Пальянов ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А. Ершова. - Новосибирск : Сибирское отделение РАН, 2022. - 481 с. : ил. - Библиогр.: с. 463-473 (216 назв.). - 300 экз. -
ISBN 978-5-6047823-0-9. -
DOI 10.53954/9785604782309. - Текст (визуальный) : непосредственный.
ГРНТИ УДК 50.05.13 004.42.046
Рубрики: Программирование для ЭВМ функциональное
Кл.слова (ненормированные): ИНТЕРПРЕТАЦИЯ ФУНКЦИЙ -- МАТЕМАТИЧЕСКИЕ ОСНОВЫ -- ОТОБРАЖЕНИЯ -- ПАРАДИГМАЛЬНЫЙ АНАЛИЗ -- ПРЕДСТАВЛЕНИЕ ФУНКЦИЙ -- ПРЕОБРАЗОВАНИЯ -- ПРОЦЕССЫ -- СТРУКТУРЫ ДАННЫХ -- ФУНКЦИОНАЛЬНОЕ МОДЕЛИРОВАНИЕ -- ЯЗЫКИ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ
Аннотация: Монография посвящена роли функционального программирования, его влиянию на профессиональную квалификацию специалистов в области информационных технологий. Рассматриваются неформализованные факторы, влияющие на качество программирования, жизнеспособность информационных систем и развитие ИТ-индустрии. Монография адресована тем, кто интересуется проблемами развития информатики, программирования и информационных технологий.
Доп. точки доступа: Пальянов, Андрей Юрьевич\ред.\
Институт систем информатики им. А. П. Ершова (Новосибирск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-22/73679)>
Шифр в сводном ЭК: 6f4739eeacccb862100a5df81ac9d011
Городняя, Лидия Васильевна. Гуманитарные факторы программирования : [монография] / Л. В. Городняя; ответственный редактор А. Ю. Пальянов, 2020. - 161, [1] с. - Текст (визуальный) : непосредственный. Городняя, Лидия Васильевна. Функциональное программирование. Парадигма, модели и методы / Л. В. Городняя; ответственный редактор А. Ю. Пальянов, 2022. - 481 с. - Текст (визуальный) : непосредственный. Городняя, Лидия Васильевна. Функциональное программирование : учебное пособие / Л. В. Городняя, Т. А. Андреева, 2024. - 349, [1] с. - Текст (визуальный) : непосредственный. Проблемы конструирования эффективных и надежных программ : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 1995. - 164 с. - Текст : непосредственный. Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Оптимизирующая трансляция и конструирование программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 1997. - 166 с. - Текст : непосредственный. Молодая информатика : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 2005. - 122 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Городняя Л.В. Парадигмы программирования: анализ и сравнение / Л. В. Городняя, 2017. - 231 с. - Текст : непосредственный. Виктор Николаевич Касьянов (к 70-летию со дня рождения) / Институт систем информатики им. А. П. Ершова (Новосибирск), 2018. - 192 с. - Текст : непосредственный. Информатика образования : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 99 с. - Текст : непосредственный. Наукоемкое программное обеспечение : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 150 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование на языках Лисп, Эрланг : учебное пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный. Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный. Заикин Н.М. Основы функционального программирования на языке AutoLISP / Н. М. Заикин, 2003. - 88 с. - Текст : непосредственный. Lippe W.-M. Funktionale und applikative Programmierung / W.-M. Lippe, 2009 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Красильников И.В. Основы функционального программирования : рекомендовано методсоветом ВУЗа / И. В. Красильников, Е. Ю. Напеденина, 2018. - 51 с. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный. Лукьянов А.С. Основы функционального программирования на языке Haskell : учеб. пособие / А. С. Лукьянов, В. Н. Пинаев, 2012. - 67 с. - Текст : непосредственный. Ездаков А.Л. Функционирование и логическое программирование : учеб. пособие / А. Л. Ездаков, 2009. - 119 с. - Текст : непосредственный. Савушкин С.А. Функциональное программирование : учеб. пособие / С. А. Савушкин, 2012. - 144 с. - Текст : непосредственный. Ризванов Д.А. Функциональное и логическое программирование. Математические основы и языковая семантика : учеб. пособие / Д. А. Ризванов, Д. В. Попов, Г. А. Макеев, 2009. - 160 с. - Текст : непосредственный. Гаджала, Л. Н. Введение в язык ЛИСП и функциональное программирование : Учеб.пособие. Ч. 1, 1996. - 67 с. - Текст : непосредственный. Poernomo I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing, 2005 r=on-line. - Текст : электронный. Седова Н.А. Смарт-технологии: язык функциональных блоковых диаграмм : учеб. пособие / Н. А. Седова, В. А. Седов, 2017. - 219 с. - Текст : непосредственный. Показать все результаты Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование на языках Лисп, Эрланг : учебное пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный. Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный. Заикин Н.М. Основы функционального программирования на языке AutoLISP / Н. М. Заикин, 2003. - 88 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Functional and logic programming / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Красильников И.В. Основы функционального программирования : рекомендовано методсоветом ВУЗа / И. В. Красильников, Е. Ю. Напеденина, 2018. - 51 с. - Текст : непосредственный. Березун Д.А. Трассирующая нормализация / Д. А. Березун, 2017. - 15 с. - Текст : непосредственный. ICFP'10 : proc. of the 2010 ACM SIGPLAN 15th Intern. conf. on functional programming, Sept. 27-29, 2010, Baltimore, Md, USA / International conference on functional programming (15th; 2010; Baltimore, Md), 2010. - X, 387 p. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный. Лукьянов А.С. Основы функционального программирования на языке Haskell : учеб. пособие / А. С. Лукьянов, В. Н. Пинаев, 2012. - 67 с. - Текст : непосредственный. Ездаков А.Л. Функционирование и логическое программирование : учеб. пособие / А. Л. Ездаков, 2009. - 119 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽