Библиотека института биофизики СО РАН

Главная

Базы данных

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН

Иностранные журналы библиотеки Института биофизики СО РАН

Отечественные журналы библиотеки Института биофизики СО РАН

Каталог диссертаций ИБФ СО РАН

Труды сотрудников ИБФ СО РАН

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

в найденном

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : З-965/Я 75
Автор(ы) : Ярмош, Николай Адамович
Заглавие : Автоматизация информационного обеспечения процессов проектирования : монография
Выходные данные : Минск: Наука и техника, 1984
Колич.характеристики :271 с
Коллективы : Академия наук Белорусской ССР, Институт технической кибернетики
Примечания : Библиогр.: с. 259-269 (238 назв.)
Цена : 2.50 р.
ГРНТИ : 81.14.13
ББК : З-965
Ключевые слова (''Своб.индексиров.''): инженерное проектирование--информационное обеспечение проектирования--автоматизация проектирования--конструкторско-технологическая документация
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З973/Я 60
Автор(ы) : Янг, Стивен
Заглавие : Алгоритмические языки реального времени. Конструирование и разработка
Выходные данные : Москва: Мир, 1985
Колич.характеристики :400 с.: ил.
Перевод издания: Real Time Languages: Design and Development
Примечания : Библиогр.: с. 386-390. - Авт. указ.: с. 391. - Предм. указ.: с. 392-396
Цена : 2.00 р.
ГРНТИ : 50.05.09
ББК : З973.2-018
Ключевые слова (''Своб.индексиров.''): rtl/2--ввод данных--вывод данных--программирование
Содержание : Проектирование ; Требования к проектированию языков реального времени ; Простые типы данных ; Структурные типы данных ; Классические программные структуры ; Механизмы абстракции ; Параллельность ; Программирование ввода-вывода низкого уровня ; Обработка ошибок ; Проектирование языка ; Разработка ; Разработка языков реального времени ; Язык RTL/2 ; Модула ; Ада
Аннотация: Книга написана известным американским специалистом по программированию. Она знакомит читателей в доступной форме и в тоже время на достаточно высоком научном уровне с основными принципами построения языков программирования реального времени. Подробно разобраны применения этих принципов для языков Модула и Ада. Книга позволяет быстро ориентироваться в языках реального времени и их модификациях. Для программистов и разработчиков математического обеспечения ЭВМ
Экземпляры : всего : ИБФ-КФ(2)
Свободны : ИБФ-КФ(2)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : К94/Э 45
Автор(ы) : Тищенко О. Ф., Нестерова Н. П., Коваленко А. П., Никоноров В. А., Лукичев Д. М., Савелова А. А., Лепин А. Г., Киселев Л. Т., Котов А. Н., Матвеев В. И., Заседателев С. М.
Заглавие : Элементы приборных устройств. Курсовое проектирование: учебное пособие : в 2-х ч./ ред. О. Ф. Тищенко. Ч. 1: Расчеты
Выходные данные : Москва: Высш. шк., 1978
Колич.характеристики :328 с.: ил.
Цена : 0.85 р.
ГРНТИ : 59
УДК : 681.2(076.5)
ББК : К94-02я73-1
Ключевые слова (''Своб.индексиров.''): электромеханический привод--ступенчатые редукторы--планетарные механизмы--волновые передачи--рычажные механизмы--кулачковые механизмы--лентопротяжные механизмы--электромагнитные механизмы--потенциометры
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З973/Ш 93
Автор(ы) : Штрик, Александр Аркадьевич, Осовецкий, Леонид Георгиевич, Мессих, Игорь Григорьевич
Заглавие : Структурное проектирование надежных программ встроенных ЭВМ : производственно-практическое издание
Выходные данные : Ленинград: Машиностроение, 1989
Колич.характеристики :296 с.: ил.
Примечания : Библиогр.: с. 292-294
ISBN, Цена 5-217-00564-5: 1.40 р.
ГРНТИ : 50.33.14
УДК : 681.3
ББК : З973.203.3
Ключевые слова (''Своб.индексиров.''): программное обеспечение--методика проектирования--анализ эффективности проектов--статистические характеристики--автоматизация проектирования
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З973.2/Ш 90
Автор(ы) : Штернберг, Леонид Фрицевич
Заглавие : Разработка и отладка программ : нелитературный текст
Выходные данные : Москва: Радио и связь, 1984
Колич.характеристики :89 с.: ил.
Примечания : Библиогр.: с. 88 - 89
Цена : 0.30 р.
ГРНТИ : 50.07.07
ББК : З973.2
Предметные рубрики: Вычислительная техника
Ключевые слова (''Своб.индексиров.''): цифровые вычислительные машины--программы для эвм--оптимизация программ--математическое обеспечение--проектирование
Экземпляры : всего : ИБФ-КФ(2)
Свободны : ИБФ-КФ(2)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З97/Ш 17
Автор(ы) : Шаймарданов, Равиль Бакеевич
Заглавие : Моделирование и автоматизация проектирования структуры баз данных : научное издание
Выходные данные : Москва: Радио и связь, 1984
Колич.характеристики :118, [2] с.: рис.; 22 см
Примечания : Библиогр.: с. 117-119
Цена : 0.45 р.
ГРНТИ : 50.03
ББК : З973.2
Предметные рубрики: Базы данных-- Автоматизированное проектирование
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-844/Ш 15
Автор(ы) : Шагурин, Игорь Иванович, Петросянц, Константин Орестович
Заглавие : Проектирование цифровых микросхем на элементах инжекционной логики : производственно-практическое издание
Выходные данные : Москва: Радио и связь, 1984
Колич.характеристики :231 с.: ил.
Примечания : Библиогр.: с. 224-230
Цена : 0.65 р.
ГРНТИ : 50.09
УДК : 621.382.049.77
ББК : З-844.15-02
Предметные рубрики: Логика инжекционная-- Элементы
Ключевые слова (''Своб.индексиров.''): элементы интегральных микросхем
Содержание : Цифровые БИС на ИЛ-элементах
Аннотация: Рассматриваются основные вопросы схемотехнического проектирования интегральных микросхем на базе интегральной инжекционной логики. Описываются конструктивно-технологические разновидности элементов (ИЛ) и их основные характеристики. Излагаются методы структурно-логического проектирования микросхем с учетом особенностей элементов ИЛ. Рассмотрены структуры матричных больших интегральных микросхем и микропроцессоров. Для инженерно-технических работников, занимающихся разработкой и применением интегральных микросхем.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З816/Ч-40
Автор(ы) : Челпанов, Игорь Борисович, Колпашников, Сергей Николаевич
Заглавие : Схваты промышленных роботов : монография
Выходные данные : Л.: Машиностроение, 1989
Колич.характеристики :287 с.: рис., табл.
Примечания : Библиогр.: с. 282-285
ISBN, Цена 5-217-00563-7: 1.30 р.
ГРНТИ : 55.30
УДК : 621.865.8
ББК : З816.2-047-02
Ключевые слова (''Своб.индексиров.''): объекты манипулирования--пневматические схваты--двигатели схватов--компоновки схватов--сменные схваты--процессы захватывания--стандартизация схватов--методы испытания схватов--диагностика схватов
Аннотация: Схемные и конструктивные решения механических захватных устройств промышленных роботов, а также их проектирование.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-9/Ц 59
Автор(ы) : Цикритзис, Дионисиос, Лоховски, Фредерик
Заглавие : Модели данных : монография
Выходные данные : Москва: Финансы и статистика, 1985
Колич.характеристики :344 с.: рис
Перевод издания: Data models
Примечания : Библиогр.: с. 321 - 340 (406 назв.)
Цена : 2.00 р.
ГРНТИ : 50.33
УДК : 519.87
ББК : З-988-5
Содержание : ОСНОВНЫЕ ПОНЯТИЯ ; Данные и модели данных ; Структуры ; Ограничения целостности ; Операции ; МОДЕЛИ ДАННЫХ ; Реляционные модели данных ; Сетевые модели данных ; Иерархические модели данных ; Модель данных - "сущность - связь" ; Бинарные модели данных ; Семантические сети ; Инфологические модели данных ; ВОПРОСЫ ПРИМЕНЕНИЯ МОДЕЛЕЙ ДАННЫХ ; Проектирование схемы ; Анализ схемы ; Отображения в СУБД
Аннотация: Излагается неформальная теория моделей данных, анализируются наиболее распространенные модели.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : З973/Ц 59
Автор(ы) : Цикритзис Д., Бернстайн Ф.
Заглавие : Операционные системы : монография
Выходные данные : Москва: Мир, 1977
Колич.характеристики :336 с.: табл., рис.
Примечания : Библиогр.: с. 307-330
Цена : 1.80 р.
ГРНТИ : 50.41.15
УДК : 004.451
ББК : З973.2-018
Содержание : Операционные системы. Функции и основные понятия ; Процессы ; Распределение времени процессора ; Управление памятью ; Виртуальная память ; Ввод-вывод и файлы ; Защита ; Проектирование ; Реализация ; Примеры систем ; Структура данных ; Вычислительные структуры ; "Игрушечная" операционная система
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : З973/Х 85
Автор(ы) : Хоуп Г.
Заглавие : Проектирование цифровых вычислительных устройств на интегральных схемах : монография
Выходные данные : Москва: Мир, 1984
Колич.характеристики :400 с.: ил.
Перевод издания: Integrated devices in digital circuit design
Цена : 1.80 р.
ГРНТИ : 47
УДК : 621.382.049.77
ББК : З973
Ключевые слова (''Своб.индексиров.''): комбинационные системы--мультиплекаторы--демультиплекаторы--асинхронные схемы--счетчики--цифровые системы
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

12.

Вид документа : Однотомное издание
Шифр издания : В185/Х 68
Автор(ы) : Хог, Эдвард Дж., Арора, Ясбир С.
Заглавие : Прикладное оптимальное проектирование: механические системы и конструкции : пер. с англ.
Выходные данные : Москва: Мир, 1983
Колич.характеристики :479 с. ; 22 см
Перевод издания: Haug E. J. Applied optimal design: Mechanical and structural systems/ E. J. Haug, J. S. Arora. -New York ; Chichester ; Brisbane, 1979
Примечания : Библиогр.: с. 461-470. - Предм. указ.: 471-476
Цена : 3.00 р.
ГРНТИ : 27.41
ББК : В185
Предметные рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ-- проектирование
Ключевые слова (''Своб.индексиров.''): вычислительные алгоритмы--динамические системы--линейное программирование--нелинейное программирование--распределенные системы
Содержание : Элементы проектирования с использованием ЭВМ ; Методы математического программирования в задачах проектирования ; Методы конечномерной оптимизации конструкций в пространстве состояний ; Проектирование упругих систем ; Проектирование динамических механических систем ; Введение в оптимальное проектирование системы с распределенными параметрами
Аннотация: Посвящена теоретическим и прикладным вопросам оптимального проектирования. Изложены методы линейного и нелинейного программирования, вариацинные методы, вычислительные алгоритмы. Много места отведено решению конкретных задач проектирования.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : З973/Х 19
Автор(ы) : Хантер Р.
Заглавие : Проектирование и конструирование компиляторов
Выходные данные : Москва: Финансы и статистика, 1984
Колич.характеристики :232 с.: схем., рис., табл
Перевод издания: Hunter R. The design and construction of compilers
Примечания : Библиогр. : с. 220 - 221. - Предм. указ. : с. 222 - 230
Цена : 1.30 р.
ГРНТИ : 50.05.09
ББК : З973.2-018.13
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): ада--алгол--генерация--диагностирование--коды--конструирование--лексический анализ--ошибки--паскаль--пл/1--программирование--синтаксический анализ--языки высокого уровня--языки программирования
Содержание : Процесс компиляции ; Определение языка ; Лексический анализ ; Контекстно-свободные грамматики и синтаксический анализ сверху вниз ; Синтаксический анализ снизу вверх ; Включение действий в синтаксис ; Проектирование компиляторов ; Таблицы символов и видов ; Распределение памяти ; Генерация кода ; Генерация машинного кода ; Исправление и диагностика ошибок ; Создание надежных компиляторов.
Аннотация: Рассматриваются проблемы проектирования и построения компиляторов для языков программирования высокого уровня, в частности Алгола 60,ПЛ/1, Алгола 68, Паскаля и Ады. Основное внимание уделяется целям программирования надежных компиляторов и средствам их достижения. Практические вопросы разъясняются посредством упражнений.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : З973/Х 12
Автор(ы) : Хаббард, Джордж
Заглавие : Автоматизированное проектирование баз данных : монография
Выходные данные : Москва: Мир, 1984
Колич.характеристики :294 с.: ил.
Перевод издания: Hubbard George U. Computer-Assisted Data Base Design. -George U. Hubbard New Уork, 1981
Цена : 1.50 р.
ГРНТИ : 20.23.17
УДК : 681.142.2.001.2-52
ББК : З973.2
Ключевые слова (''Своб.индексиров.''): логическое проектирование--физическое проектирование--организация проектирования--методология проектирования--разработка субд--субд--автоматизация проектирования--обработка информации
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : З973/Ф 88
Автор(ы) : Фридмен, Дэвид, Ивенс Л.
Заглавие : Проектирование систем с микрокомпьютерами : монография
Выходные данные : Москва: Мир, 1986
Колич.характеристики :405 с
Перевод издания: Freedman, M. Designing systems with microcomputers/ M. Freedman, L. Evans
Примечания : Библиогр.: с. 392-396. - Предм. указ.: с. 397-401
Цена : 2.00 р.
ГРНТИ : 50.33
УДК : 681.325.5
ББК : З973.26
Предметные рубрики: Микро-ЭВМ-- Проектирование
Ключевые слова (''Своб.индексиров.''): эмулятор
Аннотация: В книге американских специалистов рассмотрена методика проектирования микрокомпьютеров как единого процесса создания программных и аппаратных средств. При составлении программ на языках высокого уровня рекомендован модульный принцип, упрощающий процесс их отладки. Даны описания широко распространенных за рубежом вычислительных систем, которые могут найти применение в автоматизированных комплексах управления производственными процессами. Для разработчиков вычислительных систем и программистов, а также студентов соответствующих специальностей вузов.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

16.

Вид документа : Однотомное издание
Шифр издания : З973/Ф 75
Автор(ы) : Фокс, Джозеф
Заглавие : Программное обеспечение и его разработка : монография
Выходные данные : Москва: Мир, 1985
Колич.характеристики :368 с.: ил.
Серия: Математическое обеспечение ЭВМ
Перевод издания: Fox J. M. Software and its development
Примечания : Предм. указ.: с. 359-362
Цена : 1.70 р.
ГРНТИ : 50.05.17
УДК : 681.142.2 + 681.3.06
ББК : З973.2-018
Ключевые слова (''Своб.индексиров.''): вычислительные машины--программное проектирование
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

17.

Вид документа : Однотомное издание
Шифр издания : З-97/Ф 73
Автор(ы) : Флорес И.
Заглавие : Структуры и управление данными : монография
Выходные данные : Москва: Финансы и статистика, 1982
Колич.характеристики :319 с.: рис., табл.
Перевод издания: Data structure and management
Цена : 1.50 р.
ГРНТИ : 50.41.21
УДК : 681
ББК : З-973
Предметные рубрики: Базы данных-- Проектирование
Системы управления базами данных (СУБД)
Ключевые слова (''Своб.индексиров.''): базы данных--субд--системы управления базами данных--обработка данных на эвм--управление базами данных--проектирование баз данных
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

18.

Вид документа : Однотомное издание
Шифр издания : З844/У 27
Автор(ы) : Угрюмов, Евгений Павлович
Заглавие : Проектирование элементов и узлов ЭВМ : Учебное пособие для вузов по специальности "Электронно-вычислительные машины"
Выходные данные : Москва: Высшая школа, 1987
Колич.характеристики :318 с.: ил.
Примечания : Библиогр.: с. 312-313
Цена : 1.10 р.
ГРНТИ : 50.09.01.33
УДК : 681.3.001.63(075.8)
ББК : З844.15
Предметные рубрики: Вычислительная техника-- Архитектура вычислительных машин
Ключевые слова (''Своб.индексиров.''): вычислительная техника--вычислительные машины--цифровые эвм--цифровая аппаратура
Аннотация: В книге рассмотрены принципы построения и проектирования цифровых элементов, узлов и устройств с использованием современной элементной базы; особенности функционирования и применения элементов типа ТТЛ, ЭСЛ, ИЛ, n-МОП, КМОП и перспективных элементов на основе арсенида галлия и эффекта Джозефсона; типовые функциональные узлы цифровой аппаратуры; устройства с программируемой логикой (универсальные логические модули на мультиплексорах, программируемые логические матрицы, базовые матричные кристаллы) и микропроцессорные наборы БИС с однокристальными центральными процессорными элементами.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

19.

Вид документа : Однотомное издание
Шифр издания : К9/Т 77
Автор(ы) : Трубко, Сергей Владимирович
Заглавие : Расчет двухлинзовых склеенных объективов : справочник
Выходные данные : Ленинград: Машиностроение, Ленинградское отделение, 1984
Колич.характеристики :142 с.: ил., табл.
Примечания : Библиогр.: с. 142
Цена : 0.70 р.
ГРНТИ : 47.49.43
ББК : К942
Предметные рубрики: Оптические системы-- Проектирование
Оптические системы-- Расчет
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : 621.399.45/Т 66
Заглавие : Требования и спецификации в разработке программ : сборник научных трудов
Выходные данные : Москва: Мир, 1984
Колич.характеристики :345 с.: ил.
Серия: Математическое обеспечение ЭВМ
Цена : 1.50 р.
УДК : 621.399.45
ББК : З973
Предметные рубрики: вычислительная техника
Ключевые слова (''Своб.индексиров.''): обработка информации--программное обеспечение--автоматизированная система--база данных--проектирование--язык спецификаций--тип данных--affirm--система--анализ структурный--модель--сбор данных--массив--документирование
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие