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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:БД "Книги" (75)Труды АМГУ (5)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=языки программирования<.>)
Общее количество найденных документов : 106
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.


   
    Уточненное описание языка С [Текст] / А. Я. Калинов // Программирование. - 2002. - N 6. - С. 43-54
ББК 32.973 - 018.1
Рубрики: Языки программирования
Кл.слова (ненормированные):
Компьютеры -- Программирование -- Языки программирования


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

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

2.
Шифр: 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)

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

3.


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


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

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

4.


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


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

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

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

5.


    Олейник, П. П.
    Применение параметрированных типов при реализации базовых классов предметной области [Текст] / П. П. Олейник // Информационные технологии. - 2007. - N 8. - С. . 14-17. - Библиогр.: с. 17 (5 назв. )
УДК
ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
программная инженерия -- классы предметной области -- языки программирования -- C # 2. 0
Аннотация: Рассмотрено практическое применение параметрированных типов с использованием языка программирования C # 2. 0.


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

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

6.


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


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

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

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

7.


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

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


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

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

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

8.


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


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

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

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

9.


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

   Языкознание

   Теория и философия языка

Кл.слова (ненормированные):
языки программирования -- искусственные языки -- формальные языки -- формализованные языки -- семантика -- прагматика языка -- синтаксис
Аннотация: В статье приводится описание многообразия способов построения семантик для современных языков программирования.


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

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

10.


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

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


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

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

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

 1-10    11-20   21-30   31-40   41-50   51-60      
 
Статистика
за 22.08.2024
Число запросов 73482
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)