Главная Новые поступления Описание Шлюз 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.

Вид документа : Однотомное издание
Шифр издания : 649.7/G 58
Автор(ы) : Goguen, Joseph A., Malcolm, Grant
Заглавие : Algebraic Semantics of Imperative Programs
Выходные данные : 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
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 649.7/B 17
Автор(ы) : Bakker, Jacobus Willem de, Vink, Erik de
Заглавие : Control Flow Semantics
Выходные данные : 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
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 649.7/G 95
Автор(ы) : Gunter, Carl A.
Заглавие : Semantics of Programming Languages. Structures and Techniques
Выходные данные : 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
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 649.7/B 59
Автор(ы) : Best, Eike
Заглавие : Semantics of Sequential and Parallel Programs
Выходные данные : 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
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 649.7/W 73
Автор(ы) : Winskel, Glynn
Заглавие : The Formal Semantics of Programming Languages : An Introduction
Выходные данные : 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
Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МАТЕМАТИКА-- ТЕОРИЯ ИГР
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Ш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
Предметные рубрики: ЛИТЕРАТУРОВЕДЕНИЕ-- ЛИТЕРАТУРА РОССИИ
Экземпляры : всего : бр.ф.(1), кх(1)
Свободны : бр.ф.(1), кх(1)
,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
7.

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

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

Вид документа : Однотомное издание
Шифр издания : Ю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
Предметные рубрики: ФИЛОСОФИЯ-- ФИЛОСОФСКАЯ АНТРОПОЛОГИЯ
Экземпляры :кх(1)
Свободны : кх(1)

Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : Ш160/А 90
Заглавие : Аспекты полисинтетизма: очерки по грамматике адыгейского языка : [сб. ст.]
Выходные данные : Москва, 2009
Колич.характеристики :717, [1] с
Коллективы : Рос. гос. гуманит. ун-т
ISBN, Цена 978-5-7281-1075-0: 20.00 р.
ГРНТИ : 16
ББК : Ш160.2-2я43(2)
Предметные рубрики: ЯЗЫКОЗНАНИЕ-- ЧАСТНОЕ ЯЗЫКОЗНАНИЕ
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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