Приложение
для AndroidПолное описание
Городняя, Л. В. Основы функционального программирования : курс лекций: Учеб. пособие / Л.В.Городняя. - М. : Интернет-Ун-т информ. технологий, 2004. - 272 с. - (Основы информационных технологий). - 2000 экз. - ISBN 5-9556-0008-6 : Б. ц. - Текст : непосредственный.
В надзаг.:Интернет-Ун-т информационных технологий.Библиогр.: с. 269-271 (30 назв.)
| ГРНТИ | УДК | |
| 50.05.13 | 004.42.046 |
Рубрики:
Программирование для ЭВМ функциональное
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказаны экз-ры для отделов: ХР, ФО17, фо18, фо24, фо25, ФО26
Ждамиров В.И. Основы информационных технологий : Учеб.пособие / В.И.Ждамиров, 2002. - 259 с. - Текст : непосредственный.Фридман А.Л. Язык программирования Си++ : Курс лекций / А.Л.Фридман, 2003. - 282 с. - Текст : непосредственный.Вязовик Н.А. Программирование на Java : Курс лекций / Н.А.Вязовик, 2003. - 589 с. - Текст : непосредственный.Основы Web-технологий : Курс. лекций: Спец. "Интернет-технологии" / П.Б.Храмцов,С.А.Брик,А.М.Русак,А.И.Сурин, 2003. - 509 с. - Текст : непосредственный.Галатенко В.А. Основы информационной безопасности : Курс лекций / В.А.Галатенко; Под ред. В.Б.Бетелина, 2003. - 277 с. - Текст : непосредственный.Новиков Ю.В. Основы микропроцессорной техники : Курс лекций для студентов вузов, обучающихся по спец. 351400 "Прикладная информатика" / Ю.В.Новиков,П.К.Скоробогатов, 2003. - 435 с. - Текст : непосредственный.Галатенко В.А. Стандарты информационной безопасности : Курс лекций / В.А.Галатенко; Под ред. В.Б.Бетелина, 2004. - 326 с. - Текст : непосредственный.Родионов О.В. Основы информационных технологий : Учеб. пособие / О. В. Родионов, Е. Н. Коровин, О. А. Кущева, 2003. - 189 с. - Текст : непосредственный.Новиков Ю.В. Основы микропроцессорной техники : Курс лекций: Учеб. пособие / Ю.В.Новиков,П.К.Скоробогатов, 2004. - 437 с. - Текст : непосредственный.Галатенко В.А. Основы информационной безопасности : Курс лекций: Учеб. пособие / В.А.Галатенко; Под ред. В.Б.Бетелина, 2004. - 261 с. - Текст : непосредственный.Галатенко В.А. Программирование в стандарте POSIX : Курс лекций. Учеб. пособие / В.А.Галатенко; Под ред. В.Б.Бетелина, 2004. - 554 с. - Текст : непосредственный.Зыков С.В. Введение в теорию программирования : Курс лекций / С.В.Зыков, 2004. - 396 с. - Текст : непосредственный.Городняя Л.В. Основы функционального программирования : Курс лекций: Учеб. пособие / Л.В.Городняя, 2004. - 272 с. - Текст : непосредственный.Фридман А.Л. Язык программирования C++ : Курс лекций: Учеб. пособие / А.Л.Фридман, 2004. - 257 с. - Текст : непосредственный.Карпов В.Е. Основы операционных систем : Курс лекций: Учеб. пособие / В.Е.Карпов,К.А.Коньков;Под ред.В.П.Иванникова, 2004. - 628 с. - Текст : непосредственный.Скопин И.Н. Основы менеджмента программных проектов : Курс лекций : Учеб. пособие / И.Н.Скопин, 2004. - 333 с. - Текст : непосредственный.Основы SQL : Курс лекций : Учеб. пособие / Л.Н. Полякова, 2004. - 365 с. - Текст : непосредственный.Архитектуры и топологии многопроцессорных вычислительных систем : Курс лекций: Учеб. пособие / А. В. Богданов [и др.], 2004. - 170 с. - Текст : непосредственный.Операционная система UNIX : Курс лекций. Учеб. пособие / Г.В. Курячий, 2004. - 286 с. - Текст : непосредственный.Галатенко, В. А. Программирование в стандарте POSIX : Курс лекций : Учеб. пособие. Ч. 2, 2005. - 383 с. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыФилд А. Функциональное программирование / А.Филд,П.Харрисон;Пер.с англ.М.В.Горбатовой и др.;Под ред.В.А.Горбатова, 1993. - 638 c. - Текст : непосредственный.Гаджала, Л. Н. Введение в язык ЛИСП и функциональное программирование : Учеб.пособие. Ч. 1, 1996. - 67 с. - Текст : непосредственный.Banatre J.P. Prospects for functional programming in software engineering / J.P.Banatre,S.B.Jones,D.Le Matayer, 1991. - IX,210 p. p. - Текст : непосредственный.Шумова Л.В. Декларативный подход в функциональном программировании. Реализация на языке PC-LISP : Учеб.пособие / Л.В.Шумова,Т.Н.Носова, 1999. - 65 с. - Текст : непосредственный.Michaelson G. introduction to functional programming through Lambda calculus / G.Michaelson, 1988. - XV, 320 p. 320 p. - Текст : непосредственный. Демидов А.К. Функциональное и логическое программирование : Учеб. пособие / А.К.Демидов, 2000. - 59 с. - Текст : непосредственный.Керов Л.А. Функциональное программирование для персональных ЭВМ : Учеб. пособие / Л.А.Керов, 1990. - 62 с. - Текст : непосредственный.Зюзьков В.М. Ленивое функциональное программирование : Учеб. пособие / В.М.Зюзьков, 2002. - 193 с. - Текст : непосредственный.Иванченко А.Н. Функциональное и логическое программирование : Учеб. пособие / А. Н. Иванченко, Д. В. Гринченков, С. И. Потоцкий, 2003. - 239 с. - Текст : непосредственный.Заикин Н.М. Основы функционального программирования на языке AutoLISP : Учеб. пособие / Н.М.Заикин, 2003. - 88 с. - Текст : непосредственный.Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный.Городняя Л.В. Основы функционального программирования : Курс лекций: Учеб. пособие / Л.В.Городняя, 2004. - 272 с. - Текст : непосредственный.Внутреннее представление системы функционального программирования Sisal 3.0 / А.П. Стасенко, 2004. - 54 с. - Текст : непосредственный.Функциональное программирование : учеб. пособие для вузов / Н. А. Роганова, 2007. - 215 с. - Текст : непосредственный.Функционирование и логическое программирование : учеб. пособие / А. Л. Ездаков, 2009. - 119 с. - Текст : непосредственный.Poernomo I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing, 2005 r=on-line.Функциональное и логическое программирование. Математические основы и языковая семантика : учеб. пособие / Д. А. Ризванов, Д. В. Попов, Г. А. Макеев, 2009. - 160 с. - Текст : непосредственный.Функциональное и логическое программирование : учеб. пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.Функциональное программирование на языках Лисп, Эрланг : учеб. пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный.Lippe W.-M. Funktionale und applikative Programmierung : Grundlagen, Sprachen, Implementierungstechniken / W. -M. Lippe, 2009 r=on-line.
Показать все результатыЖангисина Г.Д. Исследование и разработка базы математических знаний для систем функционального программирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. Д. Жангисина, 1995. - 21 с. - Текст : непосредственный.Стукалов Д.Ю. Функциональное программирование в алгоритмах перебора : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Д. Ю. Стукалов, 1997. - 15 с. - Текст : непосредственный.Груздева Н.В. Проблемно-ориентированные знания в системе обучения функциональному программированию : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. В. Груздева, 1999. - 14 с. - Текст : непосредственный.Филд А. Функциональное программирование / А.Филд,П.Харрисон;Пер.с англ.М.В.Горбатовой и др.;Под ред.В.А.Горбатова, 1993. - 638 c. - Текст : непосредственный.Гаджала, Л. Н. Введение в язык ЛИСП и функциональное программирование : Учеб.пособие. Ч. 1, 1996. - 67 с. - Текст : непосредственный.Banatre J.P. Prospects for functional programming in software engineering / J.P.Banatre,S.B.Jones,D.Le Matayer, 1991. - IX,210 p. p. - Текст : непосредственный.Шумова Л.В. Декларативный подход в функциональном программировании. Реализация на языке PC-LISP : Учеб.пособие / Л.В.Шумова,Т.Н.Носова, 1999. - 65 с. - Текст : непосредственный.Functional programming, Glasgow 1990 : Proc.of the Glasgow workshop on functional programming 13-15 Aug. 1990, Ullapool / ed. S. L. Peyton Jones, 1991. - 286 p. - Текст : непосредственный.Michaelson G. introduction to functional programming through Lambda calculus / G.Michaelson, 1988. - XV, 320 p. 320 p. - Текст : непосредственный. Демидов А.К. Функциональное и логическое программирование : Учеб. пособие / А.К.Демидов, 2000. - 59 с. - Текст : непосредственный.Functional programming : Proc.of the 1989 Glasgow workshop, Aug.21-23, 1989, Fraserburgh / Ed.: K. Davis, J. Hughes, 1990. - 409 p. - Текст : непосредственный.Керов Л.А. Функциональное программирование для персональных ЭВМ : Учеб. пособие / Л.А.Керов, 1990. - 62 с. - Текст : непосредственный.Зюзьков В.М. Ленивое функциональное программирование : Учеб. пособие / В.М.Зюзьков, 2002. - 193 с. - Текст : непосредственный.Иванченко А.Н. Функциональное и логическое программирование : Учеб. пособие / А. Н. Иванченко, Д. В. Гринченков, С. И. Потоцкий, 2003. - 239 с. - Текст : непосредственный.Заикин Н.М. Основы функционального программирования на языке AutoLISP : Учеб. пособие / Н.М.Заикин, 2003. - 88 с. - Текст : непосредственный.Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный.Городняя Л.В. Основы функционального программирования : Курс лекций: Учеб. пособие / Л.В.Городняя, 2004. - 272 с. - Текст : непосредственный.Внутреннее представление системы функционального программирования Sisal 3.0 / А.П. Стасенко, 2004. - 54 с. - Текст : непосредственный.Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования : автореф. дис. .. канд. техн. наук : 05.13.11 / А. М. Бебчик, 2005. - 20 с. - Текст : непосредственный.Об интерпретации строго типизированных функциональных программ : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Л. Э. Будагян, 2006. - 18 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽