Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

в найденном

Найдено в других БД:

БД "Книги" (75)

Труды АМГУ (5)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=языки программирования<.>)

Общее количество найденных документов : 106
Показаны документы с 1 по 20

1-20 21-40 41-60 61-80 81-100 101-106

Уточненное описание языка С [Текст] / А. Я. Калинов // Программирование. - 2002. - N 6. - С. 43-54

ББК 32.973 - 018.1
Рубрики: Языки программирования
Кл.слова (ненормированные):
Компьютеры -- Программирование -- Языки программирования

Доп.точки доступа:
Калинов, А.Я.; Ластовецкий, А.В.; Ледовских, И.Н.; Посыпкин, М.А.
Имеются экземпляры в отделах: всего 1 : з.п. (1)
Свободны: з.п. (1)

Найти похожие

Шифр: osys/2007/2
Журнал

Открытые системы. СУБД [Текст] : Журнал для профессионалов в области информационных технологий. - ISSN 1028-7493. - Выходит 10 раз в год
2007г. N 2

Содержание:
Черняк, Л. Ренессанс виртуализации- вдогонку за паровозом / Л. Черняк. - С.26-35
Кл.слова: СЕРВЕРЫ, ЭФФЕКТИВНОЕ ИСПОЛЬЗОВАНИЕ, ЦЕНТР ОБРАБОТКИ ДАННЫХ, ВИРТУАЛИЗАЦИЯ CЕРВЕРОВ
Елисеев, В. Технологии виртуализации для Windows / В. Елисеев. - С.36-41
Кл.слова: ВИРТУАЛИЗАЦИОННАЯ СИСТЕМА, АРХИТЕКТУРА, МОНИТОР ВИРТУАЛЬНЫХ МАШИН, ПРОГРАММНЫЕ ОБЕСПЕЧЕНИЯ
Николаев, А. Современная виртуализация / А. Николаев, А. Тормасов. - С.42-45
Кл.слова: ВИРТУАЛИЗАЦИЯ, АППАРАТНАЯ ПОДДЕРЖКА, ВИРТУАЛЬНЫЕ МАШИНЫ, УПРАВЛЕНИЕ, ПРОГРАММНАЯ ВИРТУАЛИЗАЦИЯ
Шаги к науке о сервисах. - Спорер Д. [и др.]
Кл.слова: СИСТЕМЫ ОБСЛУЖИВАНИЯ, СФЕРА , ИТ- АУТСОРСИНГ, СЕРВИСНЫЕ СИСТЕМЫ
Панкратов, В. Модели зрелости процесса тестирования ПО / В. Панкратов. - С.52-56. - Библиогр. в конце ст.
Кл.слова: ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, МОДЕЛЬ ЗРЕЛОСТИ ТЕСТИРОВАНИЯ
Линда, Дейли Полсон. Разработчики переходят на динамические языки / Дейли Полсон Линда. - С.58-61
Кл.слова: ЯЗЫКИ ПРОГРАММИРОВАНИЯ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ДИНАМИЧЕСКИЕ ЯЗЫКИ
Черняк, Л. Специализированные виртуальные устройства / Л. Черняк. - С.62-63. - Библиогр. в конце ст.
Кл.слова: ВИРТУАЛЬНЫЕ МАШИНЫ, УПРАВЛЕНИЕ, ИНФОРМАЦИОННЫЕ СЕТИ, АРХИТЕКТУРА, ПРИКЛАДНОЕ ПРОГРАММИРОВАНИЕ
Кузнецов, С. Как поймать в Сети злоумышленника? / С. Кузнецов. - С.70-76
Кл.слова: ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ, СТАРМОФОН, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, БЕСПРОВОДНЫЕ СЕНСОРНЫЕ СЕТИ
Кузнецов, С. Методология инженерии программного обеспечения / С. Кузнецов. - С.77
Кл.слова: ПРОГРАММНАЯ ИНЖЕНЕРИЯ, МЕТОДОЛОГИЯ
Федорчук, А. Совместимость Linux: есть ли проблемы? / А. Федорчук. - С.78-80
Кл.слова: LINUX-СИСТЕМЫ
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Кимори, Й. Дж. (аспирант).
Проектирование механизмов швейной машины с помощью программирования на языке высокого класса [Текст] / Й. Дж. Кимори // Швейная промышленность. - 2007. - N 3. - С. . 23. - Библиогр.: с. 23 (2 назв. )

УДК

^a67

ББК 37.24
Рубрики: Производства легкой промышленности--Швейное производство
Кл.слова (ненормированные):
легкая промышленность -- швейные машины -- механизмы машин -- проектирование механизмов -- расчеты механизмов -- методы расчетов -- компьютерные методы -- программное обеспечение -- языки программирования -- классы языков -- высокие классы

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Ванин, А. С.
Реализация регулятора на основе искусственной нейронной сети на языке программирования для микропроцессорных систем [Текст] / А. С. Ванин, А. Б. Козлов // Известия вузов. Технология текстильной промышленности. - 2007. - N 2. - С. 103-106. - Библиогр.: с. 106 (2 назв. )

УДК

^a004.4

ББК 32.973.26-018.2
Рубрики: Вычислительная техника--Программное обеспечение персональных компьютеров
Кл.слова (ненормированные):
интеллектуальное управление -- системы управления -- интеллектуальные системы -- искусственные нейронные сети -- нейронные сети -- искусственные сети -- программы -- программные регуляторы -- микропроцессорные системы -- языки программирования -- промышленные языки программирования -- технологические языки программирования
Аннотация: Разработана программа на технологическом языке программирования для микропроцессорного комплекса, реализующая искусственную нейронную сеть в качестве программного регулятора.

Доп.точки доступа:
Козлов, А.Б.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Олейник, П. П.
Применение параметрированных типов при реализации базовых классов предметной области [Текст] / П. П. Олейник // Информационные технологии. - 2007. - N 8. - С. . 14-17. - Библиогр.: с. 17 (5 назв. )

УДК

^a004.4

ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
программная инженерия -- классы предметной области -- языки программирования -- C # 2. 0
Аннотация: Рассмотрено практическое применение параметрированных типов с использованием языка программирования C # 2. 0.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Морозов, А. С.
Счетные структуры, сумма-определимые над классическими непрерывными числовыми системами [Текст] / А. С. Морозов, М. В. Коровина // Доклады Академии наук. - 2007. - Т. 416, N 5. - С. . 594-596. - Библиогр.: с. 596 (4 назв. )

УДК

^a510.6

ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
алгебраические структуры -- алгоритмические языки -- языки программирования -- счетные структуры -- конструктивные модели
Аннотация: Охарактеризованы счетные алгебраические структуры, сумма-определимые в наследство конечных надстройках над полями вещественных и комплексных чисел и телом кватернионов.

Доп.точки доступа:
Коровина, М. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Терехов, А. Н.
Реализация стыка между MSC- и SDL-диаграммами в технологии REAL [Текст] / А. Н. Терехов, В. В. Соколов // Программирование. - 2007. - N 1. - С. 35-50. - Библиогр.: с. 49-50 (24 назв. )

УДК

^a519.6

^a004.4

ББК 32.973-018
Рубрики: Радиоэлектроника
Математика
Кл.слова (ненормированные):
технологии программирования -- REAL -- языки программирования -- MSC-диаграммы -- SDL-диаграммы -- графические способы описания систем -- поведенческие модели объектов -- сценарии поведения систем
Аннотация: Рассматриваются различные методы стыковки MSC- и SDL-диаграмм, в том числе позволяющие автоматизировать ручной переход от сценариев поведения системы в целом (HMSC/MSC) к поведенческой модели каждого объекта (SDL) , методы поддержки их адекватности в течение всего жизненного цикла - согласованное внесение изменений, расширения MSC-диаграмм для реальных ситуаций.

Доп.точки доступа:
Соколов, В. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Бабичев, А. В.
Язык спецификации взаимодействующих процессов MODEL-100 [Текст] / А. В. Бабичев, В. Г. Лебедев // Программирование. - 2007. - N 1. - С. 5-21. - Библиогр.: с. 14 (6 назв. )

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Кл.слова (ненормированные):
языки программирования
Аннотация: Описываются идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов.

Доп.точки доступа:
Лебедев, В. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Казакова, А. Е.
Особенности семантики языков программирования [Текст] / А. Е. Казакова // Вестник Московского университета. Сер. 7, Философия. - 2007. - N 6. - С. 69-75. - Библиогр. в примеч. - Примеч.: с. 74-75

УДК

^a1

^a81-11

ББК 87 + 81
Рубрики: Философия
   Общие вопросы философии
   Языкознание
   Теория и философия языка
Кл.слова (ненормированные):
языки программирования -- искусственные языки -- формальные языки -- формализованные языки -- семантика -- прагматика языка -- синтаксис
Аннотация: В статье приводится описание многообразия способов построения семантик для современных языков программирования.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.

Белеванцев, А. А.
Построение алгоритмов спекулятивных оптимаций [Текст] / А. А. Белеванцев, С. С. Гайсарян, В. П. Иванников // Программирование. - 2008. - N 3. - С. 21-41. - Библиогр.: с. 10-11 (10 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
спекулятивные оптимации -- оптимации оперирующие преобразованиями -- методы построения оптимаций -- языки программирования -- компиляторы -- машинно-независимые оптимации
Аннотация: В статье описывается схема построения спекулятивной оптимизации, основанная на выборе важных для оптимизации свойств потока управления и потока данных программы и оценке вероятностей их выполнения.

Доп.точки доступа:
Гайсарян, С. С.; Иванников, В. П.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

11.

Гоманюк, С. В.
Подход к созданию сред разработки для широкого класса языков программирования [Текст] / С. В. Гоманюк // Программирование. - 2008. - N 4. - С. 54-71. - Библиогр.: с. 70-71 (30 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
языки программирования -- средства разработки программ -- общая архитектура IDE -- универсальные интегрирующие платформы -- IDE -- Integrated Development Environment -- программные коды
Аннотация: В статье проводится сравнительный анализ подходов к созданию среды разработки на базе универсальной интегрирующей платформы и предлагается авторский подход, устраняющий недостатки и сохраняющий достоинства существующих подходов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

12.

Петров, А. В.
MC# - универсальный язык параллельного программирования [Текст] / А. В. Петров, В. Б. Гусев // Информационные технологии. - 2008. - N 4. - С. 29-32. - Библиогр.: с. 32 (2 назв. )

УДК

^a004.43

ББК 32.973-018.1
Рубрики: Вычислительная техника
Языки программирования
Кл.слова (ненормированные):
языки программирования -- параллельное программирование -- системы программирования -- универсальные языки программирования -- язык МС#
Аннотация: Рассматриваются основные элементы синтаксиса языке параллельного программирования MC# (Multiprocessor C), а также представлены реализации систем исполнения для него под Windows и Linux-платформы.

Доп.точки доступа:
Гузев, В. Б.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

13.

Синицкий, М. Б.
Инновационный подход к разработке кросс-платформенных приложений [Текст] / М. Б. Синицкий, Б. М. Синицкий // Информационные технологии. - 2008. - N 4. - С. 32-38. - Библиогр.: с. 32-38 (3 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
языки программирования -- программное обеспечение -- кросс-платформенные приложения -- кодогенераторы -- операционные среды -- ПО -- компьютерные программы
Аннотация: Рассматривается инновационный подход к созданию кросс-платформенных приложений, основанный на использовании специального кодогенератора, позволяющего комплексно нивелировать ограничения традиционных подходов к программированию и повысить эффективность труда программиста путем автоматизации рутинных операций.

Доп.точки доступа:
Синицкий, Б. М.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

14.

Гирча, А. И.
Разработка программного комплекса для численного моделирования процессов нестационарной гидродинамики методом вязких вихревых доменов [Текст] / А. И. Гирча // Информационные технологии. - 2008. - N 8. - С. 38-43. - Библиогр.: с. 43 (7 назв. ) . - ISSN 1684-6400

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные комплексы -- численное моделирование (вычислительная техника) -- методы вязких вихревых доменов -- языки программирования -- скриптовые языки -- Python
Аннотация: Рассмотрены основные особенности программного комплекса, разработанного на базе численного методавязкихвихревых доменов, для моделирования процессов нестационарной вычислительной гидродинамики.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

15.

Демаков, А. В.
Использование абстрактных моделей для генерации тестовых данных сложной структуры [Текст] / А. В. Демаков, С. В. Зеленов, С. А. Зеленова // Программирование. - 2008. - N 6. - С. 50-63. . - Библиогр.: с. 62-63 (34 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
языки программирования -- генерация тестовых данных -- тестирование программ -- моделирование сложных структур -- генераторы данных
Аннотация: Представлен подход к автоматической генерации тестовых данных сложной структуры, основанный на использовании абстрактных моделей, которые отражают различные срезы структуры требуемых данных.

Доп.точки доступа:
Зеленов, С. В.; Зеленова, С. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

16.

Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомнящий [и др. ] // Программирование. - 2008. - N 6. - С. 35-49. . - Библиогр.: с. 48-49 (23 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
моделирование коммуникационных протоколов -- сети Петри -- Петри сети -- программные комплексы -- языки программирования
Аннотация: Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV.

Доп.точки доступа:
Непомнящий, В. А.; Аргиров, В. С.; Белоглазов, Д. М.; Быстров, А. В.; Четвертаков, Е. А.; Чурина, Т. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

17.

Шилов, Н. В.
О генерации условий корректности для императивных программ [Текст] / Н. В. Шилов, И. С. Ануреев, Е. В. Бодин // Программирование. - 2008. - N 6. - С. 5-23. . - Библиогр.: с. 22-23 (10 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
императивные программы -- тестирование программ -- варификация программ -- языки программирования -- верифицирующие компиляторы
Аннотация: Представлен и обоснован эффективный и полный алгоритм генерации условия корректности, который может использоваться как в неструктурированном недетерминированном, так и в структурном детерминированном случае.

Доп.точки доступа:
Ануреев, И. С.; Бодин, Е. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

18.

Пекунов, В. В. (канд. техн. наук, доц.).
Процедуры с планированием повторного входа в языках высокого уровня при традиционном и параллельном программировании [Текст] / В. В. Пекунов // Информационные технологии. - 2009. - N 8. - С. 63-67. . - Библиогр.: с. 67 (7 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгоритмы -- стек -- дек -- параллельное программирование -- генераторы -- языки программирования
Аннотация: Предлагается новый подход к программированию алгоритмов, сводимых к порождению серии схожих подзадач с планированием последовательности их решения в соответствии со стратегиями постановки в очередь, стек или дек. Подход предполагает ввод в языки высокого уровня нового формализма: процедуры с планированием повторного входа.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

19.

Фальк, В. Н.
Формальный алгоритмический язык FALGOL - тридцать лет спустя [Текст] / В. Н. Фальк // Известия РАН. Теория и системы управления. - 2009. - N 1. - С. 82-88. . - Библиогр.: c. 87-88 (12 назв. )

УДК

^a681.3

ББК 32.973-018.1
Рубрики: Вычислительная техника
Языки программирования
Кл.слова (ненормированные):
FALGOL -- алгоритмические языки -- операторные языки -- объектное программирование -- языки программирования
Аннотация: FALGOL (Formal ALGOrithmic Language) - фундаментальная теоретическая модель операторных языков высокого уровня с неограниченной иерархией программных объектов, формализующая связывание, присваивание, подстановку и рекурсию, причем в отличие от других известных формальных систем такого рода в этой модели реализован принцип динамического связывания переменных, что открывает возможность применения FALGOL'а для уточнения наиболее трудно формализуемых понятий современных языков объектного программирования.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

20.

Олейник, П. П.
Организация иерархии атомарных литературных типов в объектной системе, построенной на основе РСУБД [Текст] / П. П. Олейник // Программирование. - 2009. - N 4. - С. 73-80. . - Библиогр.: с. 79-80 (12 назв. )

УДК

^a004.65

ББК 32.973-018.2
Рубрики: Вычислительная техника
Системы управления базами данных (СУБД)
Кл.слова (ненормированные):
корпоративные информационные системы -- КИС -- базы данных -- БД -- реляционные СУБД -- объектные системы -- языки программирования
Аннотация: Рассмотрена проблема организации иерархии атомарных литературных типов объектной системы, построенной на основе РСУБД.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

1-20 21-40 41-60 61-80 81-100 101-106

Тематический навигатор

Статистика за 19.08.2024
Число запросов	61923
Число посетителей	1
Число заказов	0

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