База данных: Электронная библиотека
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
Д86
Душкин, Р. В.
Функциональное программирование [Электронный ресурс] : текст лекций по курсу / Р. В. Душкин. - М. : [б. и.], 2001. - 68 с. - Б. ц.
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Кл.слова (ненормированные):
математическое программирование -- функциональное программирование -- математическая функция -- стиль программирования -- строгая типизация -- модульность -- чистота -- сортировка хоара
Д86
Душкин, Р. В.
Функциональное программирование [Электронный ресурс] : текст лекций по курсу / Р. В. Душкин. - М. : [б. и.], 2001. - 68 с. - Б. ц.
| УДК |
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Кл.слова (ненормированные):
математическое программирование -- функциональное программирование -- математическая функция -- стиль программирования -- строгая типизация -- модульность -- чистота -- сортировка хоара
2.
Подробнее
О-66
Орлов, С. А.
Теория и практика языков программирования [Электронный ресурс] : учебник / С. А. Орлов. - СПб. : Питер, 2013. - 688 с. - Б. ц.
ББК 32.973
Рубрики: ИНФОРМАТИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
ПРОГРАММИРОВАНИЕ
Кл.слова (ненормированные):
виртуальные машины -- язык программирование -- типизация языков -- подпрограммы
О-66
Орлов, С. А.
Теория и практика языков программирования [Электронный ресурс] : учебник / С. А. Орлов. - СПб. : Питер, 2013. - 688 с. - Б. ц.
| УДК |
Рубрики: ИНФОРМАТИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
ПРОГРАММИРОВАНИЕ
Кл.слова (ненормированные):
виртуальные машины -- язык программирование -- типизация языков -- подпрограммы
3.
Подробнее
С42
Скит, Д.
Программирование для профессионалов [Электронный ресурс] : учебник / Д. Скит. - Москва : [б. и.], 2011. - 544 с. - Б. ц.
ББК 32.973.26.018.2.75
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
параметрическая типизация собобщениями -- типы,допускающие значения -- простой путь реализации итераторов -- методы расширения
С42
Скит, Д.
Программирование для профессионалов [Электронный ресурс] : учебник / Д. Скит. - Москва : [б. и.], 2011. - 544 с. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
параметрическая типизация собобщениями -- типы,допускающие значения -- простой путь реализации итераторов -- методы расширения
4.
Подробнее
Б33
Башмаков, А. И.
Разработка компьютерных учебников и обучающих систем [Электронный ресурс] : учебник / ,. - М. : Филинь, 2003. - 616 с. - Б. ц.
ББК 74.58:32.973я73
Рубрики: ПЕДАГОГИКА
ВЫСШЕЕ ОБРАЗОВАНИЕ
Кл.слова (ненормированные):
средства обучения -- проектирование -- задачи -- типизация -- концептуальное проектирование -- звуковые компоненты
Доп.точки доступа:
Башмаков, И.А.
Свободных экз. нет
Б33
Башмаков, А. И.
Разработка компьютерных учебников и обучающих систем [Электронный ресурс] : учебник / ,. - М. : Филинь, 2003. - 616 с. - Б. ц.
Рубрики: ПЕДАГОГИКА
ВЫСШЕЕ ОБРАЗОВАНИЕ
Кл.слова (ненормированные):
средства обучения -- проектирование -- задачи -- типизация -- концептуальное проектирование -- звуковые компоненты
Доп.точки доступа:
Башмаков, И.А.
Свободных экз. нет
Страница 1, Результатов: 4