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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

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

З973/У 37-242941
   З973.26
   У 37

    Уинер, Ричард.
    Язык Турбо Си [Текст] : научное издание / Р. Уинер; пер. с англ. М. П. Матекина; под ред. В. В. Мартынюка. - Москва : Мир, 1991. - 380 с. : рис., табл. - Предм. указ.: с. 371-375. - Пер. изд. : Turbo C at Any Speed / Richard S. Wiener. - ISBN 5-03-001779-8 : 4.20 р.

ББК 3973.26-018.1
Рубрики:
Вычислительная техника--персональные компьютеры--языки программирования
Кл.слова (ненормированные):
Турбо си -- программирование -- системное программирование -- операторы -- операции -- управляющие структуры -- константы -- преобразования -- функции -- родовые структуры -- процессоры -- семантика

Доп.точки доступа:
Матекин, М. П. \пер.\; Мартынюк, В. В. \ред.\; Wiener, Richard S.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З-973
   Н 53
З-9 / Н 53-ИБФ-КФ

    Непомнящий, Валерий Алекесандрович.
    Прикладные методы верификации программ [Текст] : монография / В. А. Непомнящий, О. М. Рякин ; ред. А. П. Ершов. - Москва : Радио и связь, 1988. - 256 с. : ил. ; 20 см. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6 : 0.80 р.

ГРНТИ	50.05
УДК	681.3.06

ББК З-973
Рубрики:
Вычислительная техника--Программирование
Кл.слова (ненормированные):
программирование -- типы данных -- структура программы -- подпрограммы -- программные модули -- анализ корректности программ -- семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Рякин, Олег Михайлович; Ершов, А. П. \ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   Ю3
   И 26
Ю3 / И 26-ИБФ-КФ

    Игнатенко, Александр Александрович.
    В поисках счастья : Общественно-политические воззрения арабо-исламских философов средневековья [Текст] / А.А.Игнатенко. - Москва : Мысль, 1989. - 255 с. - Библиогр.: с. 246-253. - ISBN 5-244-00019-5 : 3.10 р.

ББК Ю3
Рубрики:
Логический синтаксис и логическая семантика. Семиотика
Кл.слова (ненормированные):
арабо-исламская философия

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   Ш141.2
   С 48
Ш141 / С 48-ИБФ-КФ


    Словарь русского литературного словоупотребления [Текст] : словарь / Акад. наук УССР, Ин-т языковедения им. А. А. Потебни ; Академия наук УССР, Институт языковедения имени А. А. Потебни. - Киев : Наукова думка, 1987. - 304 с. - 1.50 р.

ГРНТИ	17
УДК	811.161.1'271(038)

ББК Ш141.2

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

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

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

   А518
   Ф 56
А / Ф 56-ИБФ-КФ


    Философские основания научной теории [Текст] / Академия наук СССР, Институт истории, филологии и философии ; ред.: В. В. Целищев, В. Н. Карпович. - Новосибирск : Наука, 1985. - 289 с. - 1.90 р.

ГРНТИ	02.31
УДК	165:164

ББК А518.134,43

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

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Целищев, В. В. \ред.\; Карпович, В. Н. \ред.\; Академия наук СССР; Институт истории, филологии и философии
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З97
   К 41
З9 / К 41-ИБФ-КФ

    Киндлер, Евжен.
    Языки моделирования [Текст] : монография / Е. Киндлер ; пер. с чеш. В. М. Беспалова ; под ред.: Г. Т. Артамонова, М. И. Нечепурко. - Москва : Энергоатомиздат, 1985. - 288 с. : рис., табл. - Библиогр.: с. 273-287. - Пер. изд. : Simulacni programoler jazyky / E. Kindler. - 1.60 р.

ГРНТИ	50.05.09
УДК	004.43:24

ББК З973

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

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Беспалов, В.М. \пер.\; Артамонов, Г. Т. \ред.\; Нечепурко, М. И. \ред.\; Kindler, E.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З973
   К 17
З97 / К 17-ИБФ-КФ

    Калиниченко, Леонид Андреевич.
    Методы и средства интеграции неоднородных баз данных [Текст] : монография / Л. А. Калиниченко. - Москва : Наука, 1983. - 423 с. : табл., схем, рис. - Библиогр.: с. 414-421. -Предм. указ.: с. 422-423. - (в пер.) : 2.20 р.

ГРНТИ	50.41.21
УДК	519.7

ББК З973.2-018.22

Кл.слова (ненормированные):
МОДЕЛИ -- АРХИТЕКТУРА -- СИСТЕМЫ УПРАВЛЕНИЯ -- СУБД -- СЕМАНТИКА -- КОММУТАТИВНЫЕ ОТОБРАЖЕНИЯ -- КОНСТРУИРОВАНИЕ ПРЕОБРАЗОВАТЕЛЕЙ

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

Тематический навигатор

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

Библиотека института физики

Центральная научная библиотека КНЦ СО РАН

Библиотека института химии и химический технологии

Библиотека института вычислительного моделирования

Библиотека института леса

Библиотека СФУ

Краевая научная библиотека

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