Поисковый запрос: (<.>K=СЕМАНТИКА<.>) |
Общее количество найденных документов : 81
Показаны документы с 1 по 10 |
|
1. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: 231387 - кх. 1.6 Т 57
Тондл, Ладислав. Проблемы семантики : монография / Л. Тондл ; пер. с чеш. Ю. И. Зуева, А. А. Корчагина ; под ред. и с послесл. А. И. Уемова. - Москва : Прогресс, 1975. - 483, [1] с. - (Логика и методология науки). - Предм. указ.: с. 464-482. - Пер. изд. : Problemy Semantiky / L. Tondl. - Praha, 1966. - 11.00 р.ББК 1.61 Рубрики: ФИЛОСОФСКИЕ НАУКИ--ЛОГИКА
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
2. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: 234295 - кх. 1.6 М 90
Мулуд, Ноэль. Анализ и смысл. Очерк семантических предпосылок логики и эпистемологии / Н. Мулуд ; перевод с французского Н. С. Автономновой, Ю. А. Муравьева ; общая редакция и вступительная статья В. И. Метлова. - Москва : Прогресс, 1979. - 346, [1] с. - (Логика и методология науки). - Библиогр.: с. 335-342. - Указ.: с. 343-344. - Пер. изд. : L'Analyse et le sens / N. Mouloud. - Paris, 1976. - 7.00 р.ББК 1.61 Рубрики: ФИЛОСОФСКИЕ НАУКИ--ЛОГИКА Кл.слова (ненормированные): ЛОГИКА СЕМАНТИЧЕСКАЯ -- СЕМАНТИКА ЛОГИЧЕСКАЯ
Найти похожие
|
3. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: 222417 - кх. 41 С 79
Степанов, Юрий Сергеевич. В трехмерном пространстве языка. Семиотические проблемы лингвистики, философии, искусства : монография / Ю. С. Степанов ; ответственный редактор В. П. Нерознак ; АН СССР, Институт языкознания. - Москва : Наука, 1985. - 331, [4] с. - Библиогр.: с. 315-323. - Указ.: с. 324-332. - 12.00 р.ББК 41в Рубрики: ЯЗЫКОЗНАНИЕ--ЯЗЫКОЗНАНИЕ В ЦЕЛОМ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
4. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-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. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-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 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ МАТЕМАТИКА--ТЕОРИЯ ИГР
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
6. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: 223288 - кх. 9.5 С 37
Символы и атрибуты власти. Генезис, семантика, функции : сборник научных трудов / РАН, Музей антропологии и этнографии им. Петра Великого (кунсткамера) ; отв. ред. В. А. Попов. - Санкт-Петербург : [б. и.], 1996. - 316, [3] с. : рис. - Библиогр. в конце ст. - ISBN 5-88431-033-1 : 20.00 р.ББК 9.51(0)я43(2) Рубрики: ИСТОРИЯ. ИСТОРИЧЕСКИЕ НАУКИ--ЭТНОЛОГИЯ--СБОРНИКИ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
7. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-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 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ МАТЕМАТИКА--ТЕОРИЯ ИГР
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
8. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-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 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ МАТЕМАТИКА--ТЕОРИЯ ИГР
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
9. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: 178979 - бр.ф.; 178980 - кх; 178981 - ИИиА. 41.66 Ц 96
Цыпанов, Евгений Александрович. Причастие в коми языке: история, семантика, дистрибуция / Е. А. Цыпанов. - Екатеринбург : [б. и.], 1997. - 209 с. - 15 000 р.ББК 41.664.2-212 РУБ 41.66 Рубрики: ЯЗЫКОЗНАНИЕ--УРАЛЬСКИЕ ЯЗЫКИ--ЧАСТНОЕ ЯЗЫКОЗНАНИЕ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
10. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-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 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ МАТЕМАТИКА--ТЕОРИЯ ИГР
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
|
|