Методы и средства вычислений с объектами. Аппликативные вычислительные системы

Методы и средства вычислений с объектами. Аппликативные вычислительные системы

Podrobná bibliografie
Hlavní autor:	Вольфенгаген В. Э. Вячеслав Эрнстович
Korporativní autor:	Институт актуального образования "ЮрИнфоР - МГУ" Кафедра перспективных компьютерных исследований и информационных технологий
Jazyk:	ruština
Vydáno:	Москва, JurInfoR Lrd, 2004
Edice:	Компьютерные науки и информационные технологии
Témata:	вычислительная математика абстракция формализация классы отношения аппликативные вычисления комбинаторы вычисления языки программирования рекурсивные функции логика канонические объекты
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=69804

Podobné jednotky

Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах
Autor: Вольфенгаген В. Э. Вячеслав Эрнстович
Vydáno: (Москва, Центр ЮрИнфоР, 2003)

Основания математики. Логические исчисления и формализация арифметики.
Autor: Гильберт Д. Давид
Vydáno: (Москва, Наука, 1982)

Объектно-ориентированное программирование. Часть 2 учебно-методическое пособие
Autor: Авсеева О. В.
Vydáno: (Воронеж, ВГУ, 2021)

Язык C++ и основы технологии объектноориентированного программирования. Часть II учебно-методическое пособие по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА (01.03.02)
Autor: Чернышов М. К.
Vydáno: (Воронеж, ВГУ, 2017)

Основы алгоритмизации и языки программирования учебное пособие
Autor: Чернышёва Т. Ю. Татьяна Юрьевна
Vydáno: (Томск, Изд-во ТПУ, 2008)

Модулярные параллельные вычислительные структуры нейропроцессорных систем
Vydáno: (Москва, Физматлит, 2003)

Проектирование гибких программ. Как не загнать себя в угол
Autor: Сассман Д. Д.
Vydáno: (Москва, ДМК Пресс, 2022)

Теория вычислений для программистов
Autor: Стюарт Т.
Vydáno: (Москва, ДМК Пресс, 2014)

[Вып.] 152 : Теория вычислений и языки спецификаций
Vydáno: (1995)

Основы теории вычислений учебное пособие
Autor: Калеева И. Н. Ирина Николаевна
Vydáno: (Москва, Статистика, 1973)

Алгоритмы (1-50)
Autor: Агеев М. И.
Vydáno: (Москва, Изд-во ВЦ АН СССР, 1966)

Численные методы и вопросы организации вычислений. 5 сборник работ
Vydáno: (Ленинград, Наука, 1981)

Техника вычислений текст лекций
Autor: Мартынов В. Д. Вячеслав Дмитриевич
Vydáno: (Ленинград, Изд-во ЛГИ, 1985)

Т. 1: Основы информационной и вычислительной техники
Vydáno: (2005)

Логика научного исследования
Vydáno: (Москва, Наука, 1965)

Основы финансовых вычислений учебное пособие
Autor: Соловьева Н. Л.
Vydáno: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2023)

Модели распределенных вычислений
Autor: Топорков В. В. Виктор Васильевич
Vydáno: (Москва, Физматлит, 2004)

Параллельные вычислительные структуры на основе разрядных методов вычислений
Autor: Евдокимов В. Ф. Виктор Федорович
Vydáno: (Киев, Наукова думка, 1987)

Т. 1
Vydáno: (2012)

Интегро-алгоритмические вычисления
Autor: Аристов В. В. Василий Васильевич
Vydáno: (Киев, Наукова думка, 1980)

О реализации распределённых параллельных вычислений конечными автоматами
Autor: Бабинок А. С.
Vydáno: (2006)

Т. 176: Теория сложности вычислений. 4
Vydáno: (1989)

Использование сервиса Windows Azure HPC Scheduler для организации высокопроизводительных вычислений
Autor: Трефилова А. И.
Vydáno: (2014)

Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия
Vydáno: (2025)

Операции со временем и датами
Autor: Петров И. В.
Vydáno: (2004)

Теория эволюционных вычислений
Autor: Курейчик В. В. Владимир Викторович
Vydáno: (Москва, Физматлит, 2012)

Практикум по методам параллельных вычислений учебник
Vydáno: (Москва, Изд-во Московского ун-та, 2010)

Алгоритмизация и компьютерные вычисления на языках программирования высокого уровня учебно-методическое пособие
Autor: Парамонов А. И.
Vydáno: (БГУИР, БГУИР, 2024)

Т. 192: Теория сложности вычислений. 5
Vydáno: (Ленинград, Наука, 1991)

Сложность булевых функций
Autor: Нигматуллин Р. Г. Рошаль Габдулхаевич
Vydáno: (Москва, Наука, 1991)

Абстракция данных и решение задач на C++. Стены и зеркала учебник пер. с англ.
Autor: Каррано Ф. М. Фрэнк
Vydáno: (Москва, Вильямс, 2003)

Вычислительная техника и краевые задачи. Методы и специализированные вычислительные средства [сборник статей]
Vydáno: (Рига, Изд-во РПИ, 1981)

Вычислительная техника и краевые задачи. Методы и специализированные вычислительные средства сборник научных трудов
Vydáno: (Рига, Изд-во РПИ, 1987)

Применение технологий параллельных и распределённых вычислений для поиска образующих полиномов
Autor: Мыцко Е. А. Евгений Алексеевич
Vydáno: (2014)

Математическое и архитектурное обеспечение параллельных вычислений сборник научных статей
Vydáno: (Новосибирск, Изд-во ВЦ СО АН СССР, 1989)

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций сборник переводов
Vydáno: (Москва, Мир, 1970)

Элементы методов вычислений
Autor: Гусак А. А. Алексей Адамович
Vydáno: (Минск, Изд-во БГУ, 1982)

Математическая логика и теория алгоритмов учебное пособие
Autor: Крупский В. Н. Владимир Николаевич
Vydáno: (Москва, Академия, 2013)

Алгоритм ускорения принятия решения при многократном вычислении вейвлет-спектра
Autor: Хамухина М. А.
Vydáno: (2014)

Рекурсивно перечислимые множества и сводимости табличного типа
Autor: Дегтев А. Н. Александр Николаевич
Vydáno: (Москва, Наука, 1998)