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

Базы данных


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

Вид поиска

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

    Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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

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

2.
IPRBooks-45017
45017

    Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 / Малявко А. А. - 2010. - 104 с. - ISBN 978-5-7782-1429-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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

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

3.
IPRBooks-46715
46715

    Курс лекций и лабораторных работ по дисциплине «Информатика». Часть I. Лекции [Электронный ресурс] : учебно-репертуарный сборник. - [Б. м.] : Московская государственная академия водного транспорта, 2009 - .Курс лекций и лабораторных работ по дисциплине «Информатика». Часть I. Лекции / Гвоздева В. А. - 2009. - 149 с. - ISBN 978-5-89289-592-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
информатика -- вычислительная техника -- история -- ЭВМ -- программное обеспечение -- программирование
Аннотация: Курс лекций и лабораторных работ по дисциплине «Информатика» состоит из 3-х частей: • Часть I. Лекции • Часть II. Лабораторные работы • Часть III. Лекции для дистанционного обучения. Представляемая в данной книге первая часть курса посвящена темам истории развития вычислительной техники и становления информатики, представления, измерения и хранения информации, системам счисления, логическим основам, архитектуре и устройствам ЭВМ. В лекциях рассматриваются темы, раскрывающие основные понятия операционных систем и их файловой структуры, системного и прикладного программного обеспечения. Особое внимание уделено основам знаний по алгоритмизации, технологии программирования, языкам программирования, а также системе объектно-ориентированного программирования MS Visual Basic. Отдельные лекции излагают вопросы компьютерной обработки текстовой, числовой, графической информации, основ баз данных и знаний, систем управления базами данных (СУБД). Несколько рассматриваемых тем дают представление о локальных и глобальных компьютерных сетях и знания о средствах создания Web-документов. Лекции предназначены для студентов и аспирантов, изучающих дисциплину «Информатика».

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

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

4.
IPRBooks-45044
45044

    Технологии разработки программного обеспечения для математического моделирования физических процессов. Часть 1. Использование суперкомпьютеров, оснащенных графическими ускорителями [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2013 - .Технологии разработки программного обеспечения для математического моделирования физических процессов. Часть 1. Использование суперкомпьютеров, оснащенных графическими ускорителями / Куликов И. М. - 2013. - 40 с. - ISBN 978-5-7782-2195-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
программное обеспечение -- математическое моделирование -- физический процесс -- использование суперкомпьютера -- графический ускоритель
Аннотация: Учебное пособие содержит описание совместного использования технологии параллельного программирования MPI и технологии программирования графических ускорителей CUDA. Учебное пособие является частью основного материала к выполнению лабораторных работ и подготовке к лекциям по курсу «Основы математического моделирования физических процессов» и направлено на формирование компетенций в области создания высокопроизводительных приложений для гибридных вычислительных систем в различных областях математического моделирования. Предназначено для студентов ФПМИ.

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

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

5.
IPRBooks-22065
22065

    Программно-техническое обеспечение автоматизированных библиотечно-информационных систем. Часть 2. Программное обеспечение автоматизированных библиотечно-информационных систем [Электронный ресурс] : учебное пособие для студентов специальности 071201 «Библиотечно-информационная деятельность». - [Б. м.] : Кемеровский государственный институт культуры, 2012 - .Программно-техническое обеспечение автоматизированных библиотечно-информационных систем. Часть 2. Программное обеспечение автоматизированных библиотечно-информационных систем / Леонидова Г. Ф. - 2012. - 264 с. - ISBN 978-5-8154-0221-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.973

Кл.слова (ненормированные):
Программно-техническое обеспечение -- автоматизированная библиотечно-информационная система -- программное обеспечение -- информационный ресурс
Аннотация: Учебное пособие посвящено рассмотрению программного обеспечения, как важнейшей обеспечивающей подсистемы АБИС. В нем приведены общие сведения о программном обеспечении, освещены вопросы, связанные с основными компонентами общего программного обеспечения, дана характеристика специального программного обеспечения АБИС. Предназначено для студентов, обучающихся по специальности 071201 «Библиотечно-информационная деятельность», квалификации «Технолог автоматизированных информационных ресурсов»; направлению 071900 «Библиотечно-информационная деятельность», профилю подготовки «Технология автоматизированных библиотечно-информационных систем», квалификация (степень) - «бакалавр». Вместе с тем, оно может быть использовано студентами других специальностей и направлений, изучающими дисциплины, связанные с программным обеспечением автоматизированных информационных систем.

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

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

6.
IPRBooks-45019
45019

    Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2012 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 / Малявко А. А. - 2012. - 120 с. - ISBN 978-5-7782-1960-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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

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

7.
IPRBooks-67431
67431

    Оптические измерения. Часть 6. Инновационные направления в оптических измерениях и исследованиях оптических систем [Электронный ресурс] : учебное пособие. - [Б. м.] : Университет ИТМО, 2008 - .Оптические измерения. Часть 6. Инновационные направления в оптических измерениях и исследованиях оптических систем / Кирилловский В. К. - 2008. - 130 с. - ISBN 5-91129-049-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.3

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

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


Доп.точки доступа:
Ле, Зуй
Свободных экз. нет
Найти похожие

8.
IPRBooks-89429
89429

   
    Введение в программные системы и их разработку [Электронный ресурс] : учебное пособие / Назаров С. В. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 649 с. - ISBN 978-5-4497-0312-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
база данных -- инструментальное по -- интернет-представительство фирмы -- операционная система -- программная система -- программное обеспечение -- проектирование веб-сайта -- разработка приложения -- система управления -- электронная таблица
Аннотация: Учебное пособие содержит сведения по прикладным вопросам информатики: структуре и классам программного обеспечения, операционным системам, средствам и методам разработки программных продуктов. Особое внимание уделено программному обеспечению, которое используется широким кругом пользователей и специалистов, — текстовым процессорам, электронным таблицам, системам презентаций, системам управления базами данных, системам статистической обработки данных, компьютерной математике, разработке интеллектуальных офисных приложений. Достаточно подробно рассмотрены вопросы разработки веб-сайтов и приложений.

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


Доп.точки доступа:
Назаров, С. В.; Белоусова, С. Н.; Бессонова, И. А.; Гиляревский, Р. С.; Гудыно, Л. П.; Егоров, В. С.; Исаев, Д. В.; Кириченко, А. А.; Кишкович, Ю. П.; Кравченко, Т. К.; Куприянов, Д. В.; Меликян, А. В.; Пятибратов, А. П.; Кирсанов, А. П.
Свободных экз. нет
Найти похожие

9.
IPRBooks-97540
97540

    Синицын, С. В.
    Верификация программного обеспечения [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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


Доп.точки доступа:
Налютин, Н. Ю.
Свободных экз. нет
Найти похожие

10.
IPRBooks-89457
89457

    Серго, А. Г.
    Основы права интеллектуальной собственности для ИТ-специалистов [Электронный ресурс] : учебное пособие / Серго А. Г. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 292 с. - ISBN 978-5-4497-0342-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
авторское право -- защита права -- интеллектуальная собственность -- информационная безопасность -- ит-специалист -- коммерческая тайна -- компьютерная программа -- патентное право -- программное обеспечение -- цифровая подпись
Аннотация: Учебное пособие дает общее представление о праве интеллектуальной собственности, его основных принципах и понятиях. Освещены некоторые проблемные правовые ситуации, с которыми, по наблюдениям авторов, регулярно сталкиваются ИТ-специалисты и компании. Подробно рассмотрен ряд частных вопросов, касающихся правовой охраны одного из объектов авторского права, а именно компьютерных программ. Издание будет полезно при подготовке специалистов в области информационных технологий, а также программистам, поскольку в своей практической деятельности почти каждому ИТ-специалисту так или иначе приходится сталкиваться с программным обеспечением, причем на совершенно разных этапах его жизненного цикла.

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


Доп.точки доступа:
Пущин, В. С.
Свободных экз. нет
Найти похожие

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