Сводный каталог книг

w10=
Найдено документов в текущей БД: 232
   З97
   Б87

    Основные концепции структур данных и реализация в С++
/ К Браунси. - М. ; СПб. ; Киев : Вильямс, 2002. - (Основы вычислительных систем). - Пер. изд. : The Essence of Data Structures Using C++ / K. Brownsey. - 2000. - 130 р.
ГРНТИ
ББК З973.2-018.12


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Brownsey, K.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   З97
   П71
З973.2-047.1я82 / П71-ИВМ-Фонд
З973.2-047.1я82 / П71-ИВМ-Фонд

    Руководство по микроконтроллерам
: В 2-х т. Т. 1 / М. Предко. - М. : Постмаркет, 2001. - 415 с. - Пер. изд. : Handbook of Microcontrollers / M. Predko. - ISBN 5-901095-07-3 : 400.00 р., 30.00 р., 30.50 р.
ГРНТИ
ББК З973.2-047.1 + З844.1

Кл.слова (ненормированные):
цифровые системы


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Predko, M.
Экземпляры всего: 3
ИФ-КФ (1), ИВМ-Фонд (2)
Свободны: ИФ-КФ (1), ИВМ-Фонд (2)
   В33
   М80
В33 / М80-ИВМ-Фонд

    Введение в плазмодинамику
/ А. И. Морозов. - М. : Физматлит, 2006. - 571 с. - Библиогр.: с. 562-571. - ISBN 5-9221-0681-3 : 160.00 р., 160.00 р.
ГРНТИ
УДК
ББК В333.2

Кл.слова (ненормированные):
Плазма (физ.) - Динамика


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   В37
   К79

    Кремний-2006
: тезисы докладов / Кремний-2006. Российское совещание по росту кристаллов и пленок кремния и исследованию их физических свойств и структурного совершенства (3 ; 4-6 июля 2006 г. ; Красноярск) , Рос. акад. наук, Сиб. отд-ние, Ин-т физики им. Л.В. Киренского. Кремний-2006. Российское совещание по росту кристаллов и пленок кремния и исследованию их физических свойств и структурного совершенства (3 ; 4-6 июля 2006 г. ; Красноярск). - Красноярск : ИФ СО РАН, 2006. - 138 с. - Библиогр. в конце ст. - Указ. авторов. - 200 экз. - Б. ц.
    Содержание:
Патрин, Геннадий Семёнович. Влияние ионов диспрозия на физические свойства кристалла моносилицида железа / Г. С. Патрин [и др.] . - С .68
Другие авторы: Волков Н. В., Великанов Д. А., Закиева О. В.
Исхаков, Рауф Садыкович. Синтез и свойства композитов магнитный металл-пористый кремний / Р. С. Исхаков, Л. А. Чеканова, С. В. Комогорцев. - С .83
Исхаков, Рауф Садыкович. Структуры на основе пористого кремния и возможное их применение в микроэлектронике / Р. С. Исхаков, Л. А. Чеканова, С. В. Комогорцев. - С .84
Патрин, Геннадий Семёнович. Магнитные и резонансные свойства многослойных магнитных пленок с немагнитной кремниевой прослойкой / Г. С. Патрин [и др.] . - С .87
Другие авторы: Великанов Д. А., Волков Н. В., Щеглова М. А., Ерёмин Е. В.
Варнаков, Сергей Николаевич. Многослойные магнитные наноструктуры на основе кремния, полученные термическим испарением в сверхвысоком вакууме / С. Н. Варнаков [и др.] . - С .92
Другие авторы: Овчинников С. Г., Комогорцев С. В., Бондаренко Г. В.
Паршин, Анатолий Сергеевич. Исследование интерфейса мультислоев Fe/Si методом спектроскопии потерь энергии отраженных электронов / А. С. Паршин [и др.] . - С .107
Косырев, Николай Николаевич. Автоматизированная система управления испарителями в установке молекулярно-лучевой эпитаксии / Н. Н. Косырев [и др.] . - С .112
Другие авторы: Варнаков С. Н., Овчинников С. Г., Худяков А.Е.
Шайдуров, А. В. Реализация серверного программного обеспечения для получения кремниевых пленок / А. В. Шайдуров [и др.] . - С .119
Другие авторы: Овчинников С. Г., Косырев Н. Н., Варнаков С. Н.
ГРНТИ
ББК В371я431 + Г124.2я431 + Л253я431


Дополнительные материалы по теме

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Закиева, О. В. ; Щеглова М.А.; Ерёмин, Е.В.; Бондаренко, Геннадий Васильевич; Александрова, Галина Алексеевна; Худяков, Алексей Евгеньевич; Варнаков, Сергей Николаевич; Российская академия наук; Сибирское отделение РАН; Институт физики им. Л.В. Киренского Сибирского отделения РАН; Кремний-2006. Российское совещание по росту кристаллов и пленок кремния и исследованию их физических свойств и структурного совершенства (3 ; 4-6 июля 2006 г. ; Красноярск)
Экземпляры всего: 3
ИФ-КФ (2), ИФ-РСФ (1)
Свободны: ИФ-КФ (2), ИФ-РСФ (1)
   В31
   М 69
В19 / М 69-ИВМ-Фонд
В19 / М 69-ИВМ-Фонд

    Численная реализация вариационных методов
/ С. Г. Михлин. - М. : Наука, Гл. ред. физ.-мат. лит., 1966. - 432 с. - Библиогр.- Предм. указ.- Имен. указ. - 10500 экз. - 1.80 р., 1.80 р.
ГРНТИ
ББК В311 + В161.8 + 518


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 3
ИФ-КФ (1), ИВМ-Фонд (2)
Свободны: ИФ-КФ (1), ИВМ-Фонд (2)
   Л
   Ф 51
Л71 / Ф 51-ИВМ-Фонд

    Оптические методы исследования разрушения полимерных материалов
/ М. Я. Филатов; Акад. наук УССР, Ин-т механики ; Акад. наук УССР, Ин-т механики . - Киев : Наукова думка, 1989. - 131 с. : ил. - Библиогр.: с. 123-130 (157 назв.). - ISBN 5-12-000543-8 : 1 р. 70 к. р., 1.70 р.
ГРНТИ
УДК
ББК Л71-3-1


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Академия наук Украинской ССР; Институт механики АН Украинской ССР
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   З97
   Д 93
З211.05 / Д 93-ИБФ-ООН

    Система MathCAD
: справочник / В. П. Дьяконов. - М. : Радио и связь, 1993. - 128 с. : граф., табл. - Библиогр.: с. 126 (15 назв.). - ISBN 5-256-01094-8 : 1000.00 р., 1000.00 р.
ГРНТИ
УДК
ББК З973.203.4-018.21 + З211.05


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-КФ (1), ИБФ-ООН
Свободны: ИФ-КФ (1)
   З81
   Ш 31
З96 / Ш 31-ИВМ-Фонд

    Цифро-частотные и время-импульсные преобразователи информации
/ Л. Е. Шахмейстер. - М. : КДУ, 2011. - 250 с. : ил. ; 20 см. - Библиогр.: с. 198-200. - 500 экз. - ISBN 978-5-98227-784-8 : 323.00 р., 323.00 р.
ГРНТИ
ББК З811.3 + З 965

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

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   З84
   J25

    Advanced design techniques and realizations of microwave and RF filters
/ P. Jarry, J. Beneat. - Chichester : Wiley : IEEE press, 2008. - XIX,354 p. : ill. ; 24 cm. - Bibliogr. at the end of the chapters. - Ind.: p. 353-354. - ISBN 978-0-470-18310-6 : 3300.00 р.
Перевод заглавия: Усовершенствованные методы проектирования и реализация радио- и сверхвысокочастотных фильтров
   Перевод заглавия: Усовершенствованные методы проектирования и реализация радио- и сверхвысокочастотных фильтров
ГРНТИ
ББК З844-040.2


оглавление

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Beneat, Jacques
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   В1
   Х 14

    Комбинаторная геометрия плоскости
/ Г. Хадвигер, Г. Дебруннер ; пер. с нем. С. С. Рышкова ; под ред. с доп. и прил. И. М. Яглома. - М. : Наука, 1965. - 171 с. : ил. - (Математическая библиотечка). - Библиогр.: с. 163-171 (168 назв.). - Пер. изд. : Kombinatorische geometrie in der ebene / H. Hadwiger, H. Debrunner. - 0.28 р.
    Содержание:
Принадлежность точек прямым и окружностям
Целочисленные расстояния, соизмеримые углы
Выпуклые оболочки; отделимость
Теорема Хелли; пересечения выпуклых фигур
Задачи о покрытиях
Геометрия точечных множеств и выпуклость
Реализация расстояний
Простейшие парадоксы теории множеств
Чистая комбинаторика; графы
Дальнейшие теоремы типа теоремы Хелли
Комбинаторная геометрия n-мерного пространства
ГРНТИ
ББК В151


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Дебруннер, Ганс; Рышков, С. С. \пер.\; Яглом, И. М. \ред. пер.\; Hadwiger, H. ; Debrunner, H.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   З84
   Н 41
З845-02 / Н 41-ЦНБ-АБ

    Устройства СВЧ и антенны
. Ч. 1. Проектирование, конструктивная реализация, примеры применения устройств СВЧ / В. А. Неганов, Д. С. Клюев, Д. П. Табаков ; ред. В. А. Неганов. - М. : ЛИБРОКОМ, 2013. - 602 с. - Библиогр. - ISBN 978-5-397-03971-0 : 806.00 р., 806.00 р.
ГРНТИ
ББК З845-02 + З845-02я73

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

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Клюев, Дмитрий Сергеевич; Табаков, Дмитрий Петрович; Неганов, Вячеслав Александрович \ред.\
Экземпляры всего: 2
ИФ-КФ (1), ЦНБ-АБ (1)
Свободны: ИФ-КФ (1), ЦНБ-АБ (1)
   В37
   И 98
В372 / И 98-ЦНБ-АБ

    Дифракция электронов: структура и динамика свободных молекул и конденсированного состояния вещества
/ А. А. Ищенко, Г. В. Гиричев, Ю. И. Тарасов. - М. : Физматлит, 2012. - 614 с. - Предм. указ.: с. 611-614. - Библиогр. в конце гл. - 200 экз. - ISBN 978-5-9221-1447-9 : 990.00 р., 990.00 р.
    Содержание:
Взаимосвязь структуры молекул и поверхности потенциальной энергии в газовой электронографии равновесных и неравновесных ансамблей
Теория рассеяния электронов равновесными и неравновесными ансамблями молекул
Методы обработки и интерпретации экспериментальных электронографических данных
Исследование равновесной структуры и внутримолекулярной динамики
Проявление неравновесности внутримолекулярного распределения колебательной энергии в рассеянии быстрых электронов молекулами
Высокотемпературная газовая электронография
Совместный электронографический и масс-спектрометрический эксперимент и его реализация
Применение совместного электронографического и масс-спектрометрического эксперимента для изучения систем со сложным составом пара
Структура и внутримолекулярная динамика некоторых галогенидов металлов
Методы изучения структурной динамики
Структурная динамика свободных молекул
Сверхбыстрая электронная кристаллография и нанокристаллография (UEC UENC)
Когерентная динамика ядер и электронов: фемто- и аттосекундное разрешение метода TRED
Пико-фемто-аттосекундная фотоэлектроника
Электронная микроскопия с временным разрешением
ГРНТИ
УДК
ББК В371.214.4 + В372.144 + В361.1 + В338.48

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

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Гиричев, Георгий Васильевич; Тарасов, Юрий Игоревич
Экземпляры всего: 2
ИФ-КФ (1), ЦНБ-АБ (1)
Свободны: ИФ-КФ (1), ЦНБ-АБ (1)
   В1
   З-23
В16 / З-23-ИВМ-Фонд

    Преобразования Фурье, Уолша, Хаара и их применение в управлении, связи и других областях
/ Л. А. Залманзон. - М. : Наука, Гл. ред. физ.-мат. лит., 1989. - 496 с. - Библиогр.: с. 430-488 (1387 назв.). - Предм. указ.: с. 489-494. - 9500 экз. - ISBN 5-02-014094-5 : 3.20 р., 3.20 р.
    Содержание:
Процессы управления и передачи информации. Задачи их исследования
Применение преобразований Фурье в аналоговых системах управления и связи
Применение преобразований Фурье в цифровых системах управления и связи
Преобразования Уолша и Хаара, применение их при разработке и исследовании систем управления и связи
Преобразования Фурье, Уолша, Хаара при обработке речевых сигналов и изображений
Техническая реализация преобразований
Другие области применения
ГРНТИ
УДК
ББК В161

Аннотация: Рассмотрены преобразования Фурье, уолша, Хаара и родственные им преобразования сигналов и их применение в разных областях науки и техники. Приведены сведения об использовании указанных преобразований при обработке речевых сигналов и изображений. Описаны микроэлектронные и оптические устройства, выполняющие рассматриваемые преобразования. Для специалистов в области управления и связи, физиков, биологов и др. Может быть использована в качестве справочного пособия.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   В2
   С 17
В25 / С 17-ИВМ-Фонд

    Разностные методы решения задач газовой динамики
: учеб. пособие для вузов / А. А. Самарский, Ю. П. Попов. - 3-е изд., испр. и доп. - М. : Наука, 1992. - 424 с. : ил. - Библиогр.: с. 417-421. - 2470 экз. - 18.75 р., 1.88 р.
    Содержание:
Элементы газовой динамики
Некоторые принципы построения разностных схем газовой динамики
Устойчивость разностных схем газовой динамики
Реализация разностных схем газовой динамики
Разностные схемы магнитной гидродинамики
Полностью консервативные разностные схемы для двумерных уравнений газовой динамики
Примеры постановки и решения некоторых задач магнитной гидродинамики
ГРНТИ
УДК
ББК В253я73

Аннотация: Дано систематическое изложение методов построения, исследования и реализации разностных схем для численного решения нестационарных задач газовой динамики и магнитной гидродинамики. Третье издание (2-е изд. - 1980 г.) значительно расширено за счет новой главы, посвященной исследованию внутренних диссипативных и дисперсионных свойств разностных схем для уравнений гиперболического типа. Для студентов старших курсов и аспирантов по специальности "Прикладная математика". Может представлять интерес для научных работников в области прикладной математики, физики и механики.

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Попов, Юрий Петрович
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
   З97
   К 41

    Создание эффективного программного обеспечения
[Текст] : монография / Д. Кинг ; пер. с англ. Л. В. Ухова, пер. с англ., под ред. В. В. Мартынюка. - М. : Мир, 1991. - 288 с. : ил. - Библиогр.: с. 274 (15 назв.). - Пер. изд. : Greationg effective software / David King. - New Jersey, 1988. - ISBN 5-03-002005-5 : 3.80 р.
    Содержание:
Что такое конструирование программ?
Основы методики Джексона
Некоторые простые программы
Хорошие и плохие данные
Обработка непредсказуемых ошибок в данных ситуаций (метод отказа)
Слияние нескольких наборов входных данных
Более сложные проблемы программирования
Методы Джексона и другие методы
Методика Джексона и технология программирования
Тестирование
Методика Джексона и проектирование систем
Рассмотрение кодирования
Реализация методики Джексона
Будущее методики Джексона
ГРНТИ
ББК З973


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Ухов, Л. В. \пер.\; Мартынюк, В. В. \пер., ред.\; King, David
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   З97
   М 22

    MS SQL Server 7. 0: проектирование и реализация баз данных
[Текст] : монография / Евгений Мамаев. - СПб. : БХВ-Санкт-Петербург, 2000. - 416 с. : ил. - 3000 экз. - ISBN 5-8206-0109-2 : 110.00 р.
ГРНТИ
ББК З972.1


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)
   З 973.2
   Ф51

    Функциональное программирование
[Текст] : монография / Антони Филд, Петер Харрисон ; Пер. с англ. М.В. Горбатовой, А.А. Рябинина, В.Л. Торхова ; под ред. В.А. Горбатова. - Москва : Мир, 1993. - 638 с. : ил. - Библиогр.: с. 621-626. - Предм. указ.: с. 627-633. - ISBN 5-03-001870-0 : 32.00 р.
УДК

Кл.слова (ненормированные):
РЕАЛИЗАЦИЯ -- ОПТИМИЗАЦИЯ

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Харрисон, Петер
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973.2
   Г83

    Теоретические основы построения базовых адаптируемых компонентов САПР МЭА
[Текст] : Под ред.Г.Г.Рябова / В.Н. Гридин. - Москва : Наука. Главная редакция физико-математической литературы, 1989. - 256 с. : ил., табл. - (Библиотечка программиста ; вып.59). - Библиогр.: с. 248-256. - ISBN 5-02-013966-1 :
УДК

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44 ИВМ-Фонд
Свободных экз. нет
   З973.2-018
   М15

    Макетирование, проектирование и реализация диалоговых информационных систем
[Текст] : Под ред. Е.И.Ломако / Л.И.Гуков, Е.И.Ломако, А.В.Морозова и др. - Москва : Финансы и статистика, 1993. - 320 с. : ил. - 30.00 р., 2.00 р.
ББК З973.2-018

Кл.слова (ненормированные):
СУБД%Объектно-ориентированный подход

Аннотация: Рассматривается методология проектирования диалоговых информационных систем, включающая предварительный анализ целей создания информационной системы, макетирование приложений, концептуальное и логическое проектирование базы данных и программную реализацию системы. Проблемы концептуального проетирования рассматриваются с позиций объектно-ориетированного подхода. Приводятся основные сведения о возможностях ряда современных СУБД, используемых для реализации диалоговых информационных систем. Для специалистов, связанных с разработкой и эксплуатацией программного обеспечения, информационных систем различного назначения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З973.2
   П78

    Проблемы спецификации и верификации параллельных систем = Problems of specification and verification of concurrent systems
[Текст] : сб. научн.тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. Ершова ; Под ред. Непомнящего В.А. - Новосибирск : [б. и.], 1995. - 237 с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-1069-8 : 50.00 р.
УДК

Аннотация: Настоящий сборник содержит статьи, посвященные таким направлениям теоретического и экспериментального программирования, как теория сетей Петри, структур событий и причинно-следственных структур, спецификация и верификация с использованием алгебраических и логических средств, а также реализация систем верификации. Для научных сотрудников, программистов, аспирантов, студентов, деятельность которых связана с современными вычислительными системами и их программным обеспечением.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)