Главная Новые поступления Описание Шлюз Z39.50

Базы данных


Каталог книг и продолжающихся изданий - результаты поиска

Вид поиска
Каталог книг и продолжающихся изданий
Сводный каталог иностранных периодических изданий, имеющихся в библиотеках УрО РАН
Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН
Каталог диссертаций и авторефератов диссертаций УрО РАН
Каталог препринтов УрО РАН (1975 г. - )
Имидж-каталог отечественных книг (до 2010 г.)
Имидж-каталог иностранных книг (до 2010 г.)
Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН
Публикации об УрО РАН
Изобретения уральских ученых
Интеллектуальная собственность (статьи из периодики)
Нанотехнологии
Демидовские премии
Гибель династии Романовых
История Урала
Личная библиотека С. В. Вонсовского
Книжная коллекция Шубиных
Труды Института высокотемпературной электрохимии УрО РАН
Труды Института истории и археологии УрО РАН
Труды сотрудников Института горного дела УрО РАН
Труды сотрудников Института органического синтеза УрО РАН
Труды сотрудников Института теплофизики УрО РАН
Труды сотрудников Института химии твердого тела УрО РАН
Расплавы
Труды сотрудников ЦНБ УрО РАН
Публикации Черешнева В.А.
Публикации Чарушина В.Н.
Каталог библиотеки ИЭРиЖ УрО РАН
Электронная энциклопедия «Дискурсология»
Библиометрия
Область поиска
в найденном
 Найдено в других БД:Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН (3)Интеллектуальная собственность (статьи из периодики) (2)Труды Института истории и археологии УрО РАН (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=СЕМАНТИКА<.>)
Общее количество найденных документов : 81
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
Инвентарный номер: И-11234 - кх.
   649.7
   G 58

    Goguen, Joseph A..
    Algebraic Semantics of Imperative Programs / J. A. Goguen, G. Malcolm. - Cambridge [et al.] : The MIT Press, 1996. - 228 c. - (Foundations of Computing). - Библиогр.: с. 222-225. - Указ.: с. 227-228. - ISBN 0-262-07172-X : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
2.
Инвентарный номер: И-11240 - кх.
   649.7
   B 17

    Bakker, Jacobus Willem de.
    Control Flow Semantics / J. deBakker, E. deVink. - Cambridge [et al.] : The MIT Press, 1996. - 564 c. - (Foundations of Computing). - Библиогр.: с. 543-556. - Указ.: с. 557-564. - ISBN 0-262-04154-5 : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.
Инвентарный номер: И-11254 - кх.
   649.7
   G 95

    Gunter, Carl A..
    Semantics of Programming Languages. Structures and Techniques / C. A. Gunter. - Cambridge [et al.] : The MIT Press, 1992. - 419 c. - (Foundations of Computing). - Библиогр.: с. 395-406. - Указ.: с. 407-418. - ISBN 0-262-07143-6 : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.
Инвентарный номер: И-11241 - кх.
   649.7
   B 59

    Best, Eike.
    Semantics of Sequential and Parallel Programs / E. Best. - London [et al.] : Prentice Hall, 1996. - 352 c. - (Prentice Hall International Series in Computer Science). - Библиогр.: с. 327-344. - Указ.: с. 345-351. - ISBN 0-13-460643-4 : 872.55 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.
Инвентарный номер: И-11233 - кх.
   649.7
   W 73

    Winskel, Glynn.
    The Formal Semantics of Programming Languages : An Introduction / G. Winskel. - Cambridge [et al.] : The MIT Press, 1997. - 361 c. - (Foundations of Computing). - Библиогр.: с. 353-356. - Указ.: с. 357-361. - ISBN 0-262-23169-7 : 966.11 р.
ББК 649.732-018.12 + 519.3
РУБ 649.7
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
6.
Инвентарный номер: 215463 - бр.ф.; 215464 - кх.
   Ш33(2)
   А 80

    Арзамазов, Алексей Андреевич.
    To be or not to be: структурно-семантические вариации инфинитива (-ны) в удмуртской поэзии : монография / А. А. Арзамазов ; [отв. ред. Т. Г. Владыкина] ; РАН, УрО, Удм. ин-т истории, языка и литературы. - Ижевск : [б. и.], 2012. - 257, [1] с. - Библиогр.: с. 253-258. - ISBN 978-5-7659-0724-5 : 30.00 р.
ГРНТИ
17
ББК Ш33(2=664.1)-45
Рубрики: ЛИТЕРАТУРОВЕДЕНИЕ--ЛИТЕРАТУРА РОССИИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
7.
Инвентарный номер: 232443 - кх.
   Ш23
   Д 40

    Джапуа, Зураб Джотович.
    Абхазский нартский эпос: Текстология. Семантика. Поэтика : монография / З. Д. Джапуа ; ответственный редакторы А. И. Алиева, В. В. Напольских ; Российская академия наук, Институт мировой литературы им. А. М. Горького, Академия наук Абхазии, Абхазский институт гуманитарных исследований им. Д. И. Гулиа, Абхазский государственный университет. - Москва : Наука - Восточная литература, 2016. - 379, [2] с. - (Исследования по фольклору и мифологии Востока). - ISBN 978-5-02-039790-3 : 50.00 р.
ГРНТИ
17.71.91
ББК Ш23(=602.1)
Рубрики: ФОЛЬКЛОР. ФОЛЬКЛОРИСТИКА--МИРОВОЙ ФОЛЬКЛОР--ФОЛЬКЛОР ОТДЕЛЬНЫХ СТРАН И НАРОДОВ
   АБХАЗИЯ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
8.
Инвентарный номер: 234295 - кх.
   1.6
   М 90

    Мулуд, Ноэль.
    Анализ и смысл. Очерк семантических предпосылок логики и эпистемологии / Н. Мулуд ; перевод с французского Н. С. Автономновой, Ю. А. Муравьева ; общая редакция и вступительная статья В. И. Метлова. - Москва : Прогресс, 1979. - 346, [1] с. - (Логика и методология науки). - Библиогр.: с. 335-342. - Указ.: с. 343-344. - Пер. изд. : L'Analyse et le sens / N. Mouloud. - Paris, 1976. - 7.00 р.
ГРНТИ
02.21
ББК 1.61
Рубрики: ФИЛОСОФСКИЕ НАУКИ--ЛОГИКА
Кл.слова (ненормированные):
ЛОГИКА СЕМАНТИЧЕСКАЯ -- СЕМАНТИКА ЛОГИЧЕСКАЯ

Найти похожие
9.
Инвентарный номер: 234665 - кх.
   Ю52
   Ч-57

    Чешко, Валентин Фёдорович.
    Антропоцен: философия биотехнологии. Стабильная адаптивная стратегия Homo sapiens, эволюционный риск и эволюционная семантика / В. Ф. Чешко, Л. В. Иваницкая, В. И. Глазко. - Москва : КУРС, 2021. - 389 с. - Загл. на доп.тит.листе : Anthropocene: a philosophy of biotechnogies. Stable adaptive strategy of Homo sapiens, evolutionary risk and evolutionary semantick. - Библиогр.: с. 365-387. - ISBN 978-5-906923-82-0 : 1400.00 р.
ГРНТИ
02.15.51
ББК Ю52
Рубрики: ФИЛОСОФИЯ--ФИЛОСОФСКАЯ АНТРОПОЛОГИЯ
Кл.слова (ненормированные):
АНТРОПОЛОГИЯ ФИЛОСОФСКАЯ -- БИОТЕХНОЛОГИИ (ФИЛОСОФИЯ) -- СЕМАНТИКА ЭВОЛЮЦИОННАЯ


Найти похожие
10.
Инвентарный номер: 206152 - кх.
   Ш160
   А 90

   
    Аспекты полисинтетизма: очерки по грамматике адыгейского языка : [сб. ст.] / Рос. гос. гуманит. ун-т ; [редкол.: Я. Г. Тестелец (отв. ред.) [и др.]. - Москва : [б. и.], 2009. - 717, [1] с. - ISBN 978-5-7281-1075-0 : 20.00 р.
ГРНТИ
16
ББК Ш160.2-2я43(2)
Рубрики: ЯЗЫКОЗНАНИЕ--ЧАСТНОЕ ЯЗЫКОЗНАНИЕ--СБОРНИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

Сиглы отделов ЦНБ УрО РАН


  бр.ф. - Бронированный фонд

  бф - Научно-библиографический отдел

  БХЛ - Фонд художественной литературы

  ИИиА -Фонд исторической литературы в ЦНБ УрО РАН

  ИМЕТ -Отдел ЦНБ в Институте металлургии УрО РАН

  кх - Отдел фондов (книгохранениe)

  МБА - Межбиблиотечный абонемент

  мф - Методический фонд

  ок - Отдел научной каталогизации

  оку - Отдел комплектования и учета

  орф - Обменно-резервный фонд

  пф - Читальный зал деловой и патентной информации

  рк - Фонд редкой книги

  ч/з - Главный читальный зал

  эр - Зал электронных ресурсов

  

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