Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=sml<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
IPRBooks-62072
62072

    Зыков, С. В.
    Основы современного программирования. Разработка гетерогенных систем в Интернет-ориентированной среде [Электронный ресурс] : учебный курс / Зыков С. В. - Саратов : Ай Пи Эр Медиа, 2017. - 484 с. - ISBN 978-5-9908055-9-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
c# -- microsoft.net -- sml -- гетерогенная система -- интернет-ориентированная среда -- современное программирование
Аннотация: Книга «Основы современного программирования. Разработка гетерогенных систем в Интернет-ориентированной среде» базируется на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью издания является формирование адекватного мировоззрения на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе метаязыка SML.NET, вторая – объектно-ориентированному и компонентному программированию на языках SML и C#. Книга будет полезна как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

2.
IPRBooks-73675
73675

    Зыков, С. В.
    Введение в теорию программирования [Электронный ресурс] : учебное пособие / Зыков С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 188 с. - ISBN 5-9556-0009-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
вычисление -- практика -- программирование -- система -- теория -- язык
Аннотация: Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET. Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

 
Статистика
за 26.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)