Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Статьи
Полные тексты изданий ПГТУ
Периодика
Авторефераты и диссертации
Область поиска
в найденном
 Найдено в других БД:Статьи (22)Полные тексты изданий ПГТУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=004.4<.>)
Общее количество найденных документов : 28
Показаны документы с 1 по 10
 1-10    11-20   21-28 
1.
RU-LAN-BOOK-1247

    Душкин, Р. В.
    Функциональное программирование на языке Haskell [Электронный ресурс] / Р. В. Душкин. - Москва : ДМК Пресс, 2008. - 609 с. - ISBN 5-94074-335-8 : Б. ц.
Книга из коллекции ДМК Пресс - Информатика
УДК
004.4
ББК 32.973.26

Рубрики: Информатика--Программирование--ДМК Пресс

Кл.слова (ненормированные):
haskell -- программирование -- программирования -- функциональное -- язык -- языки -- эбс лань
Аннотация: Данная книга является первым в России изданием, рассматривающая функциональное программирование в полном объеме, досточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучсние прикладных основ показано на примере языка Haskell, на сегодняшний день являющегося самым мощным и развитым инструментом функционального программирования. Издание можно использоватьи в качестве учебника по функциональному программированию, и в качестве самостоятельного учебного пособия по смежным дисциплинам, в первую очередь по комбинаторной логике и ?-исчислению. Также книга будет интересна тем, кто всерьез занимается изучением новых компьютерных технологий, искусственного интеллекта и экспертных систем. К книге придагается компакт&диск с транслятором Haskell, а также различными библиотеками к нему, дополнительными утилитами и рабочими примерами программ, рассмотренных в книге.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Найти похожие
2.
   519.6
   К 30

    Каханер, Дэвид.
    Численные методы и программное обеспечение [Текст] / Д. Каханер, К. Моулер, С. Нэш ; пер. с англ. под ред. Х. Д. Икрамова. - 2-е изд., стер. - М. : Мир, 2001. - 575 c. : ил. - ISBN 5-03-003392-0. - ISBN 0-13-626672-Х : 114.40 р.
27.41
УДК
519.6
004.4

Кл.слова (ненормированные):
Численные методы -- Математическое обеспечение ЭВМ
Доп.точки доступа:
Моулер, Клив
Нэш, Стивен

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие
3.
   519.6
   Е 80

    Ершов, Андрей Петрович.
    Избранные труды [Текст] / Отв. ред. И.В. Поттосин; Рос. АН, Сиб.отд-ние,Ин-т систем информатики. - Новосибирск : Наука, Сиб. отд-ние, 1994. - 413 c. - ISBN 5-02-030344-5 : 2700.00 р.
27.41.21
УДК
519.85
004.4

Кл.слова (ненормированные):
Компьютеризация обучения -- Школьная информатика
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие
4.
   681.32
   Г 91

    Грушвицкий, Ростислав И..
    Проектирование систем на микросхемах программируемой логики [Текст] / Р. И. Грушвицкий, А. Х. Мурсаев, Е. П. Угрюмов. - Санкт-Петербург : БХВ-Петербург, 2002. - 606 c. : ил. - ISBN 5-94157-002-3 : 149.80 р.
50.09
УДК
004.4
004.312
004.3'144

Кл.слова (ненормированные):
Интегральные микросхемы -- Цифровые микросхемы -- САПР -- Логические схемы -- ПЛИС
Доп.точки доступа:
Мурсаев, А. Х.
Угрюмов, Е. П.

Экземпляры всего: 20
чз№2 (1), абунл (19)
Свободны: чз№2 (1), абунл (19)

Найти похожие
5.
   519.6
   С 91

    Сухинин, Михаил Федорович.
    Численное решение задач линейного программирования и вычисление границ спектра симметричной матрицы [Текст] / М. Ф. Сухинин. - М. : Физматлит, 2002. - 158 c. - ISBN 5-9221-0242-7 : 20.00 р.
27.41
УДК
519.61
519.85
004.4

Кл.слова (ненормированные):
Численные методы (математика) -- Линейное программирование -- Матрицы симметричные (математика)
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие
6.
   681.3.06
   К 53

   Кнут, Дональд Э.
    Искусство программирования [Текст] : [пер. с англ.] / Дональд Э. Кнут ; под общ. ред. Ю. В. Козаченко. - 2-е изд. - М. : Вильямс, 2003 - .
   Т. 3 : Сортировка и поиск. - 2003. - 822 c. : ил. - (Классический труд. Исправленное и дополненное издание). - ISBN 5-8459-0082-4 : 386.10 р.
50.05.03
УДК
004.4

Кл.слова (ненормированные):
Программирование ЭВМ -- Алгоритмы сортировки -- Алгоритмы поиска
Доп.точки доступа:
Козаченко, Ю. В. \ред.\

Экземпляры всего: 12
чз№2 (2), аб (10)
Свободны: чз№2 (2), аб (10)

Найти похожие
7.
   681.3.06
   К 53

   Кнут, Дональд Э.
    Искусство программирования [Текст] : [пер. с англ.] / Дональд Э. Кнут ; под общ. ред. Ю. В. Козаченко. - 3-е изд. - Москва [и др.] : Вильямс, 2003 - .
   Т. 2 : Получисленные алгоритмы. - 2003. - 828 c. : ил. - (Классический труд. Исправленное и дополненное издание). - ISBN 5-8459-0081-6 : 386.10 р.
50.05.03
УДК
004.4

Кл.слова (ненормированные):
Программирование ЭВМ -- Алгоритмы получисленные
Доп.точки доступа:
Козаченко, Ю. В. \ред.\

Экземпляры всего: 12
чз№2 (2), аб (10)
Свободны: чз№2 (2), аб (10)

Найти похожие
8.
   Ч21
   В 94

   
    Вычислительные методы и программно-аппаратное обеспечение в научных исследованиях [Текст] : [Сб.ст.] / Под ред.Басиладзе,В.М.Репина. - М. : Изд-во МГУ, 1992. - 198 c. : ил. - ISBN 5-211-00963-0 : 40.00 р.
12.51.85
УДК
004.4
ББК Ч2с51

Кл.слова (ненормированные):
Вычислительная техника (применение) -- НАУЧНЫЕ ИССЛЕДОВАНИЯ (автоматизация)
Доп.точки доступа:
Басиладзе, Сергей Геннадьевич \ред.\

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие
9.
   007
   В 74

   
    Вопросы кибернетики. Вып. 145. Базовое программное обеспечение суперЭВМ [Текст] : [Сб. ст.] / АН СССР;[Ред.совет:Ершов А.П.(пред.)и др.];Под ред.В.А.Мельникова,Ю.Г.Дудаева. - М. : Науч. совет АН СССР по комплекс. проблемам "Кибернетика", 1990. - 205 c. - 1.90 р.
УДК
007
004.4

Кл.слова (ненормированные):
СуперЭВМ -- Программное обеспечение суперЭВМ -- Кибернетика
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие
10.
   51
   Б 89

    Брудно, Александр Львович.
    Московские олимпиады по программированию [Текст] / Под ред.Б.Н.Наумова. - 2-е изд.,перераб.и доп. - М. : Наука, 1990. - 208 c. - ISBN 5-02-014394-4 : 1.30 р.
УДК
519.85
004.4
ББК Ч420.058.5

Кл.слова (ненормированные):
Олимпиады -- Программирование ЭВМ
Доп.точки доступа:
Каплан, Л. И.

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие
 1-10    11-20   21-28 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 30.06.2024
Число запросов 95125
Число посетителей 626
Число заказов 0
© 2006-2022 Поволжский государственный технологический университет, ФГБОУ ВО «ПГТУ».