Поисковый запрос: (<.>R=50.05.09$<.>) |
Общее количество найденных документов : 119
Показаны документы с 1 по 10 |
|
1. 
| И-З 973.2
E40
И-З 973.2 / E40-02 ВМИ
Einarsson, Bo.
The applicability of data flow analysis to different programming languages / B. Einarsson ; Forsvarets Forskningsanstalt (Stockholm). - Stockholm : [s. n.], 1977. - 42 p. - (FOA C-rapport / Forsvarets Forsknigsanstalt ; 20209-М4). - Bibliogr.: p. 38-42
Res. also Swed. FOA rapport (сер. не заведена).
Перевод заглавия: Применение анализа потока данных к разным языкам программированияББК З 973.2-018.12
Рубрики: Языки программирования
Дескрипторы: моногр
Доп.точки доступа:
Forsvarets Forskningsanstalt (Stockholm)
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 21-2-2003+02
Найти похожие
|
2.
| Pr1091
Pr1091/633
Pr1091/633 / Pr1091/633-02 ВМИ
Rice, John R.
Language independent PROTRAN : сборник / J.R. Rice. - West Lafayette : [s. n.], 1986. - 11 p. - (CSD-TR / Purdue university (Lafayette). Computer sciences department ; 633). - Bibliogr.: p. 11. - ББК З 973.2-018.12
Рубрики: Языки программирования
Дескрипторы: сб пр -- моногр
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
|
3.
| Pr869
Pr869/343
Pr869/343 / Pr869/343-02
Algebraic and logic programming [Text] : intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc. / Ed. by J. Grabowski et al. - Berlin [et al.] : Springer, 1988. - 278 p. : Ill. - (Lecture notes in computer science ; 343). - Bibliogr. at the end of the art
Перевод заглавия: Алгебраическое и логическое программированиеББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
логика программ -- алгебраические спецификации
Дескрипторы: сб пр -- конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 141-12-92+02
Найти похожие
|
4.
| Pr1086
Pr1086/88-18
Pr1086/88-18 / Pr1086/88-18-02 ВМИ
Einarsson, Bo.
Application of mixed language programming : сборник / B. Einarsson. - Linkoping : [s. n.], 1988. - 38 p. - (LiTH-MAT-R / Linkoping University, The Institute of Technology. Department of Mathematics, ISSN 0348-2960 ; 88-18)
Bibliogr.: p. 17-18ББК З 973.2-018.12
Рубрики: Языки программирования
Кл.слова (ненормированные):
интерфейс -- типы данных -- виртуальная библиотека программ
Дескрипторы: сб пр -- моногр
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
|
5.
| З 97
А161
З 97 / А161-02
Абрамов, Владимир Геннадьевич.
Введение в язык паскаль : учебное пособие для вузов по специальности "Прикладная математика" / В. Г. Абрамов, Н. П. Трифонов. - Москва : Наука, 1988. - 319 с. - Библиогр.: с. 316. - ББК З 973.2-018.12Паскаль
Доп.точки доступа:
Трифонов, Николай Павлович
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 2-13-89но
Найти похожие
|
6.
| Pr869
Pr869/385
Pr869/385 / Pr869/385-02
CSL' 88 : 2nd workshop on computer science logic, Duisburg, FRG, Oct. 3-7, 1988. Proc. / Ed. by E. Borger a. o. - Berlin [et al.] : Springer, 1989. - VI,399 p. : Ill. - (Lecture notes in computer science ; 385). - Bibliogr. at the end of the art
Перевод заглавия: Труды 2-го семинара по компьютерной логикеББК З 973.2-018.12я431 + В12Я431
Рубрики: Языки программирования
Математическая логика
Кл.слова (ненормированные):
логика программ -- языки программирования -- математическая логика
Дескрипторы: сб пр -- конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-6-91+02
Найти похожие
|
7.
| Pr869
Pr869/404
Pr869/404 / Pr869/404-02
Beer, Joachim.
Concepts, design, and performance analysis of a parallel Prolog machine : сборник / J. Beer. - Berlin [et al.] : Springer, 1989. - VI,128 p. : Ill. - (Lecture notes in computer science ; 404)
Bibliogr.: p. 125-128
Перевод заглавия: Общее представление, проектирование и анализ ЭВМ на параллельном языке программирования ПрологББК З 973.2-018.12Prolog
Рубрики: Prolog, язык программирования
Кл.слова (ненормированные):
ЭВМ -- параллельное программирование -- логическое программирование
Дескрипторы: моногр -- сб пр
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-19-91+02
Найти похожие
|
8.
| Pr1019
Pr1019/383
Pr1019/383 / Pr1019/383-02
Logic programming '88 : proc. of the 7th conf. Tokyo, Japan, Apr. 11-14, 1988 / Ed. by K. Furukawa a. o. - Berlin [et al.] : Springer, 1989. - 6,251 p. : Ill. - (Lecture notes in artificial intelligence ; 383). - Bibliogr. at the end of the art
Перевод заглавия: Логическое программированиеББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
логическое программирование -- языки программирования
Дескрипторы: сб пр
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-28-91+02
Найти похожие
|
9.
| Pr869
Pr869/380
Pr869/380 / Pr869/380-02
Fundamentals of computation theory : intern. conf. FCT '89 Szeged, Hungary, Aug. 21-25, 1989. Proc / Ed. by J. Csirik a. o. - New York [et al.] : Springer, 1989. - XI, 493 p. : Ill. - (Lecture notes in computer science ; 380). - Bibliogr. at the end of the art
Перевод заглавия: Основы теории вычисленийББК З 815я431 + З 973.2-018я431
Рубрики: Абстрактные автоматы
Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
автоматы -- логика программы -- формальные языки -- алгоритмы
Дескрипторы: сб пр -- конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-2-91+02
Найти похожие
|
10.
| Pr869
Pr869/405
Pr869/405 / Pr869/405-02
Foundations of software technology and theoretical computer science : ninth conf., Bangalore, India, Dec. 19-21, 1989. Proc. / Ed. by C. E. Veni Madhavan. - Berlin [et al.] : Springer, 1989. - VIII,339 p. : Ill. - (Lecture notes in computer science ; 405). - Bibliogr. at the end of the art
Перевод заглавия: Основы теории и техники программного обеспечения ЭВМББК З 973.2-018я431
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
алгоритмы -- логическое программирование -- конкурентность
Дескрипторы: сб пр -- конф
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-20-91+02
Найти похожие
|
|
|
|
Главная
Описание
Шлюз Z39.50
Стандартный