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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН (3)Интеллектуальная собственность (статьи из периодики) (2)Труды Института истории и археологии УрО РАН (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=СЕМАНТИКА<.>)
Общее количество найденных документов : 81
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
Инвентарный номер: И-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
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР


Для заказа издания воспользуйтесь услугами МБА
Найти похожие

2.
Инвентарный номер: И-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
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР


Для заказа издания воспользуйтесь услугами МБА
Найти похожие

3.
Инвентарный номер: И-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
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР


Для заказа издания воспользуйтесь услугами МБА
Найти похожие

4.
Инвентарный номер: И-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
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
   МАТЕМАТИКА--ТЕОРИЯ ИГР


Для заказа издания воспользуйтесь услугами МБА
Найти похожие

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 р.
ГРНТИ
ББК Ш33(2=664.1)-45
Рубрики: ЛИТЕРАТУРОВЕДЕНИЕ--ЛИТЕРАТУРА РОССИИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие

7.
Инвентарный номер: 186010 - ИИиА.
   1.53
   А 86


    Артемьева, Елена Юрьевна.
    Основы психологии субъективной семантики / Е. Ю. Артемьева ; ред. И. Б. Ханина. - Москва : Наука: Смысл, 1999. - 350 с. - (Фундаментальная психология). - Библиогр.: с. 314-340. - ISBN 5-02-008287-2. - ISBN 5-89357-040-5 : 35.00 р.
ББК 1.53
РУБ 1.53
Рубрики: ПСИХОЛОГИЯ--ОБЩАЯ ПСИХОЛОГИЯ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

8.
Инвентарный номер: 202080 - кх.
   Ю92
   А 86


    Артемьева, Елена Юрьевна.
    Психология субъективной семантики : научное издание / Е. Ю. Артемьева ; [предисл. А. Ш. Тхостова]. - Изд. второе. - Москва : [ЛКИ], 2007. - 126, [1] с. : ил. - ISBN 978-5-382-00332-0 : 166.82 р.
ГРНТИ
ББК Ю92
Рубрики: ПСИХОЛОГИЯ--ОБЩАЯ ПСИХОЛОГИЯ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

9.
Инвентарный номер: 206152 - кх.
   Ш160
   А 90


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

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

10.
Инвентарный номер: 207366 - кх.
   Ш141
   Б 81


    Бондарко, Александр Владимирович.
    Теория значения в системе функциональной грамматики. На материале русского языка : монография / А. В. Бондарко ; РАН, Ин-т лингвист. исслед. - Москва : Языки славянской культуры, 2002. - 736 с. - Библиогр.: с. 667-701. - Указ.: с. 702-714. - ISBN 5-94457-021-0 : 20.00 р.
ГРНТИ
ББК Ш141.12-2
Рубрики: ЯЗЫКОЗНАНИЕ--ЧАСТНОЕ ЯЗЫКОЗНАНИЕ--РУССКИЙ ЯЗЫК

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

 1-10    11-20   21-30   31-40   41-50   51-60      
 

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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