Главная
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН
Иностранные журналы библиотеки Института биофизики СО РАН
Отечественные журналы библиотеки Института биофизики СО РАН
Каталог диссертаций ИБФ СО РАН
Труды сотрудников ИБФ СО РАН
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=семантика<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Однотомное издание
Шифр издания : З973/У 37-242941
З973.26/У 37
Автор(ы) : Уинер, Ричард
Заглавие : Язык Турбо Си : научное издание
Выходные данные : Москва: Мир, 1991
Колич.характеристики :380 с.: рис., табл.
Перевод издания: Wiener Richard S. Turbo C at Any Speed
Примечания : Предм. указ.: с. 371-375
ISBN, Цена 5-03-001779-8: 4.20, 4.20, р.
ББК : 3973.26-018.1
Предметные рубрики: Вычислительная техника-- персональные компьютеры-- языки программирования
Ключевые слова (''Своб.индексиров.''): турбо си--программирование--системное программирование--операторы--операции--управляющие структуры--константы--преобразования--функции--родовые структуры--процессоры--семантика
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : З-973/Н 53
Автор(ы) : Непомнящий, Валерий Алекесандрович, Рякин, Олег Михайлович
Заглавие : Прикладные методы верификации программ : монография
Выходные данные : Москва: Радио и связь, 1988
Колич.характеристики :256 с.: ил.; 20 см
Примечания : Библиогр.: с. 252-254
ISBN, Цена 5-256-00156-6: 0.80 р.
ГРНТИ : 50.05
УДК : 681.3.06
ББК : З-973
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): программирование--типы данных--структура программы--подпрограммы--программные модули--анализ корректности программ--семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Ю3/И 26
Автор(ы) : Игнатенко, Александр Александрович
Заглавие : В поисках счастья : Общественно-политические воззрения арабо-исламских философов средневековья
Выходные данные : Москва: Мысль, 1989
Колич.характеристики :255 с
Примечания : Библиогр.: с. 246-253
ISBN, Цена 5-244-00019-5: 3.10 р.
ББК : Ю3
Предметные рубрики: Логический синтаксис и логическая семантика. Семиотика
Ключевые слова (''Своб.индексиров.''): арабо-исламская философия
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Ш141.2/С 48
Заглавие : Словарь русского литературного словоупотребления : словарь
Выходные данные : Киев: Наукова думка, 1987
Колич.характеристики :304 с
Коллективы : Академия наук УССР, Институт языковедения имени А. А. Потебни
Цена : 1.50 р.
ГРНТИ : 17
УДК : 811.161.1'271(038)
ББК : Ш141.2
Ключевые слова (''Своб.индексиров.''): литературный язык--російська мова--русский язык--семантика--акцентология--лексикография--слововживання
Аннотация: В словаре представлены языковые факты, нуждающиеся в оценке с точки зрения правильности или неправильности, уместности или неуместности употребления в определенной речевой ситуации и вызывающие трудности в области семантики, акцентологии, произношения, словоупотребления и грамматической характеристики.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : А518/Ф 56
Заглавие : Философские основания научной теории
Выходные данные : Новосибирск: Наука, 1985
Колич.характеристики :289 с
Коллективы : Академия наук СССР, Институт истории, филологии и философии
Цена : 1.90 р.
ГРНТИ : 02.31
УДК : 165:164
ББК : А518.134,43
Ключевые слова (''Своб.индексиров.''): научная теория--логическая семантика--научный язык--теория смысла--теория истины--научные метафоры--эмпиризм--знание
Аннотация: Сборник посвящен анализу философско-логических и методологических проблем обоснования теоретического знания.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : З97/К 41
Автор(ы) : Киндлер, Евжен
Заглавие : Языки моделирования : монография
Выходные данные : Москва: Энергоатомиздат, 1985
Колич.характеристики :288 с.: рис., табл.
Перевод издания: Kindler E. Simulacni programoler jazyky
Примечания : Библиогр.: с. 273-287
Цена : 1.60 р.
ГРНТИ : 50.05.09
УДК : 004.43:24
ББК : З973
Ключевые слова (''Своб.индексиров.''): статические системы--динамические системы--имитационные модели--имитационное моделирование--семантика языков моделирования--прагматика языков моделировния--систематизация языков моделирования--свойства языков моделирования--языки непрерывного моделирования--средства языков моделирования--универсальные языки моделирования--парадоксы языков моделирования
Аннотация: Теории имитационного моделирования различных реальных сложных систем, дан сравнительный анализ, подход к оценке и изучению языков моделирования.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : З973/К 17
Автор(ы) : Калиниченко, Леонид Андреевич
Заглавие : Методы и средства интеграции неоднородных баз данных : монография
Выходные данные : Москва: Наука, 1983
Колич.характеристики :423 с.: табл., схем, рис.
Примечания : Библиогр.: с. 414-421. -Предм. указ.: с. 422-423
Цена : 2.20 р.
ГРНТИ : 50.41.21
УДК : 519.7
ББК : З973.2-018.22
Ключевые слова (''Своб.индексиров.''): модели--архитектура--системы управления--субд--семантика--коммутативные отображения--конструирование преобразователей
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор

Другие библиотеки

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