Основы современного программирования. Разработка гетерогенных систем в Интернет-ориентированной среде: учебное пособие
| 第一著者: | Зыков С. В. Сергей Викторович |
|---|---|
| 要約: | Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированию на основе метаязыка SML.NET <http://SML.NET> и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть полезной для опытных программистов. |
| 言語: | ロシア語 |
| 出版事項: |
Москва, Горячая линия-Телеком, 2006
|
| シリーズ: | Специальность |
| 主題: | |
| フォーマット: | 図書 |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=107495 |
類似資料
Программирование. Объектно-ориентированный подход: учебник и практикум для академического бакалавриата
著者:: Зыков С. В. Сергей Викторович
出版事項: (Москва, Юрайт, 2016)
著者:: Зыков С. В. Сергей Викторович
出版事項: (Москва, Юрайт, 2016)
Основания программирования
著者:: Непейвода Н. Н. Николай Николаевич
出版事項: (Москва, Институт компьютерных исследований, 2003)
著者:: Непейвода Н. Н. Николай Николаевич
出版事項: (Москва, Институт компьютерных исследований, 2003)
Введение в программную инженерию учебное пособие
著者:: Волк В. К.
出版事項: (Курган, КГУ, 2018)
著者:: Волк В. К.
出版事項: (Курган, КГУ, 2018)
Структурно-функциональный аспект предложения и текста: межвузовский сборник научных трудов
出版事項: (Ленинград, Изд-во ЛГПИ, 1987)
出版事項: (Ленинград, Изд-во ЛГПИ, 1987)
О возможности использования радоновых измерений для оценки временных изменений напряженного состояния среды; Дефектоскопия; № 6
著者:: Беликов В. Т.
出版事項: (2003)
著者:: Беликов В. Т.
出版事項: (2003)
Формирование политкультурной среды технического вуза на примере иноязычной подготовки студентов элитного технического образования; Инженерное образование и наука в мировом пространстве. GEER
著者:: Слесаренко И. В. Инга Валерьевна
出版事項: (2006)
著者:: Слесаренко И. В. Инга Валерьевна
出版事項: (2006)
LabVIEW 8.20: Справочник по функциям
著者:: Суранов А. Я.
出版事項: (Москва, ДМК Пресс, 2009)
著者:: Суранов А. Я.
出版事項: (Москва, ДМК Пресс, 2009)
Развитие подхода к моделированию деформирования и разрушения иерархически организованных гетерогенных, в том числе контрастных, сред; Физическая мезомеханика; Т. 14, № 3
出版事項: (2011)
出版事項: (2011)
Языки программирования методические указания по лабораторным работам, практическим занятиям, самостоятельной и индивидуальной работе
著者:: Романов А. С.
出版事項: (Москва, ТУСУР, 2018)
著者:: Романов А. С.
出版事項: (Москва, ТУСУР, 2018)
Русский язык для программистов: Читаем тексты по специальности учебное пособие для иностранных студентов
著者:: Токарева Г. В.
出版事項: (Иваново, ИГЭУ, 2019)
著者:: Токарева Г. В.
出版事項: (Иваново, ИГЭУ, 2019)
Направления развития инженерного образования для инновационно- ориентированной экономики регионов; Инженерное образование; № 18
出版事項: (2015)
出版事項: (2015)
Разработка системы имитационного моделирования экономических объектов на основе объектно-ориентированного подхода; Известия Томского политехнического университета [Известия ТПУ]; Т. 311, № 6 : Экономика
著者:: Мицель А. А. Артур Александрович
出版事項: (2007)
著者:: Мицель А. А. Артур Александрович
出版事項: (2007)
Современные аппараты для обработки гетерогенных сред: межвузовский сборник научных трудов
出版事項: (Ленинград, Изд-во ЛТИ, 1986)
出版事項: (Ленинград, Изд-во ЛТИ, 1986)
Управление перемещением мобильного робота в программной среде Robotino View; Технологии Microsoft в теории и практике программирования
著者:: Бабинасова А. Н. Алтынсай Николаевна
出版事項: (2013)
著者:: Бабинасова А. Н. Алтынсай Николаевна
出版事項: (2013)
Программирование для инженеров: учебное пособие для вузов
著者:: Немировский В. Б. Виктор Борисович
出版事項: (Томск, Изд-во ТПУ, 2010)
著者:: Немировский В. Б. Виктор Борисович
出版事項: (Томск, Изд-во ТПУ, 2010)
University educational environment in forming practice-oriented specialist training approach; MATEC Web of Conferences; Vol. 48 : Space Engineering
著者:: Soloviev M. A. Mikhail Aleksandrovich
出版事項: (2016)
著者:: Soloviev M. A. Mikhail Aleksandrovich
出版事項: (2016)
Формирование библиотечного фонда в электронной среде: концептуальный подход; Библиотековедение; № 3
著者:: Хахалева Н. И. Нина Ивановна
出版事項: (2006)
著者:: Хахалева Н. И. Нина Ивановна
出版事項: (2006)
Functional and aesthetic approach to design of bird feeders; IOP Conference Series: Materials Science and Engineering; Vol. 93: Modern Technique and Technologies (MTT'2015)
著者:: Kukhta A. E. Atrem Evgenjevich
出版事項: (2015)
著者:: Kukhta A. E. Atrem Evgenjevich
出版事項: (2015)
Использование объектно-ориентированного подхода для синтеза моделей компонентов и каскадов радиоприёмных устройств; Современные техника и технологии; Т. 2
著者:: Красильников Ф. Ф.
出版事項: (2010)
著者:: Красильников Ф. Ф.
出版事項: (2010)
Практика речевой деятельности учебное текстовое электронное издание локального распространения
著者:: Владимирова Н. В.
出版事項: (Омск, ОмГТУ, 2023)
著者:: Владимирова Н. В.
出版事項: (Омск, ОмГТУ, 2023)
Разработка экспертной системы как части системы искусственного интеллекта учебно-методическое пособие для курсового проектирования
著者:: Шилер А. В.
出版事項: (Омск, ОмГУПС, 2023)
著者:: Шилер А. В.
出版事項: (Омск, ОмГУПС, 2023)
Языки программирования учебное пособие
著者:: Колесникова Т. Г.
出版事項: (Кемерово, КемГУ, 2019)
著者:: Колесникова Т. Г.
出版事項: (Кемерово, КемГУ, 2019)
Программирование алгоритмов обработки данных: учебное пособие
出版事項: (СПб., БХВ-Петербург, 2003)
出版事項: (СПб., БХВ-Петербург, 2003)
Язык программирования C++: пер. с англ.
著者:: Страуструп Б. Бьерн
出版事項: (Москва, Бином, 2015)
著者:: Страуструп Б. Бьерн
出版事項: (Москва, Бином, 2015)
Язык программирования C++: пер. с англ.
著者:: Страуструп Б. Бьерн
出版事項: (Москва, Бином, 2017)
著者:: Страуструп Б. Бьерн
出版事項: (Москва, Бином, 2017)
Язык программирования C++: пер. с англ.
著者:: Страуструп Б. Бьерн
出版事項: (Москва, Бином, 2012)
著者:: Страуструп Б. Бьерн
出版事項: (Москва, Бином, 2012)
Комплексные системы управления в структуре архитектуры предприятий и бизнеса учебно-методическое пособие для студентов направления подготовки 38.03.05 – «бизнес-информатика
著者:: Донгак Б. А.
出版事項: (Кызыл, ТувГУ, 2018)
著者:: Донгак Б. А.
出版事項: (Кызыл, ТувГУ, 2018)
Функциональное и объектное проектирование информационных систем учебно-методическое пособие для бакалавров и магистров направлений: 09.03.03 «прикладная информатика», 38.03.05 «бизнес-информатика»
著者:: Морозова В. И.
出版事項: (Москва, РУТ (МИИТ), 2021)
著者:: Морозова В. И.
出版事項: (Москва, РУТ (МИИТ), 2021)
Особенности функциональной реакции малоподвижного хищника и мобильной жертвы в водной среде (экспериментальный подход); Экология; № 5
著者:: Иванов В. К.
出版事項: (2004)
著者:: Иванов В. К.
出版事項: (2004)
Проблемы функционального синтаксиса современного английского языка
著者:: Слюсарева Н. А. Наталья Александровна
出版事項: (Москва, Наука, 1981)
著者:: Слюсарева Н. А. Наталья Александровна
出版事項: (Москва, Наука, 1981)
Объектно-ориентированный подход к моделированию системы информационной безопасности технологии "Умный дом"; Молодежь и современные информационные технологии; Т. 2
著者:: Абдрашитова В. И.
出版事項: (2016)
著者:: Абдрашитова В. И.
出版事項: (2016)
Универсальные языки программирования. Семантический подход
著者:: Калинин А. Г. Андрей Геннадьевич
出版事項: (Москва, Радио и связь, 1991)
著者:: Калинин А. Г. Андрей Геннадьевич
出版事項: (Москва, Радио и связь, 1991)
Основы программирования на С# 2.0: учебное пособие
著者:: Марченко А. Л. Антон Леонардович
出版事項: (Москва, БИНОМ. Лаборатория знаний, 2016)
著者:: Марченко А. Л. Антон Леонардович
出版事項: (Москва, БИНОМ. Лаборатория знаний, 2016)
Формальная модель структуры взаимосвязей разнотипных объектов проектирования; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
著者:: Вичугова А. А. Анна Александровна
出版事項: (2013)
著者:: Вичугова А. А. Анна Александровна
出版事項: (2013)
Программные коллекции данных. Проектирование и реализация
著者:: Романенко Т. А.
出版事項: (Санкт-Петербург, Лань, 2021)
著者:: Романенко Т. А.
出版事項: (Санкт-Петербург, Лань, 2021)
Релейная защита асинхронного двигателя. моделирование работы в програмной среде simulink; Химическая физика и актуальные проблемы энергетики
著者:: Утанан С. А. Сергей Александрович
出版事項: (2012)
著者:: Утанан С. А. Сергей Александрович
出版事項: (2012)
Специфика преподавания иностранного языка студентам поколения зет; Язык. Общество. Образование
著者:: Лахотюк Л. А. Любовь Андреевна
出版事項: (2022)
著者:: Лахотюк Л. А. Любовь Андреевна
出版事項: (2022)
Общая экология: курс лекций
著者:: Маврищев В. В. Виктор Викторович
出版事項: (Минск, Новое знание, 2005)
著者:: Маврищев В. В. Виктор Викторович
出版事項: (Минск, Новое знание, 2005)
Технологии объектно-ориентированного программирования: учебное пособие
著者:: Хорев П. Б. Павел Борисович
出版事項: (Москва, Академия, 2004)
著者:: Хорев П. Б. Павел Борисович
出版事項: (Москва, Академия, 2004)
Электроника. Часть 1 Учебно-методическое пособие к выполнению лабораторных работ
著者:: Тихонов Ю. Б.
出版事項: (Омск, ОмГУПС, 2021)
著者:: Тихонов Ю. Б.
出版事項: (Омск, ОмГУПС, 2021)
類似資料
-
Программирование. Объектно-ориентированный подход: учебник и практикум для академического бакалавриата
著者:: Зыков С. В. Сергей Викторович
出版事項: (Москва, Юрайт, 2016) -
Основания программирования
著者:: Непейвода Н. Н. Николай Николаевич
出版事項: (Москва, Институт компьютерных исследований, 2003) -
Введение в программную инженерию учебное пособие
著者:: Волк В. К.
出版事項: (Курган, КГУ, 2018) -
Структурно-функциональный аспект предложения и текста: межвузовский сборник научных трудов
出版事項: (Ленинград, Изд-во ЛГПИ, 1987) -
О возможности использования радоновых измерений для оценки временных изменений напряженного состояния среды; Дефектоскопия; № 6
著者:: Беликов В. Т.
出版事項: (2003)