Полное описание
>
Alma-O : an imperative language that supports declarative programming / K.R.Apt,J.Brunekreef,V.Partington,A.Schaerf. - Amsterdam : [s. n.], 1997. - 42 p. : ill. - (Report:Probability,networks and algorithms / CWI, ISSN 1386-3711 ; PNA-R9713). - 3.00 р. - Текст : непосредственный.
Библиогр.:с.40-42
| ГРНТИ | УДК | |
| 50.05.09 | 004.432.2 |
Рубрики:
Программирования языки
Кл.слова (ненормированные): язык программирования
Доп. точки доступа:
Apt, K.R.
Brunekreef, J.
Partington, V.
Schaerf, A.
>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Eijndhoven S.J.L.van Frames,Riesz systems and MRA in Hilbert spaces / S.J.L.van Eijndhoven,P.J.Oonincx, 1997. - 16 p. - Текст : непосредственный.Cohen J.W. On the M/G/1 queue with heavy-tailed service time distributions / J.W.Cohen, 1997. - 24 p. - Текст : непосредственный.Zuidwijk R.A. The wavelet X-ray transform / R.A.Zuidwijk, 1997. - 21 p. - Текст : непосредственный.Es A.J.van On a crossroad of resampling plans: bootstrapping elementary symmetric polynomials / A.J.van Es,R.Helmers,M.Hu@Vskova, 1997. - 12 p. - Текст : непосредственный.Boxma O.J. Fluid queues with long-tailed activity period distributions / O.J.Boxma,V.Dumas, 1997. - 42 p. - Текст : непосредственный.Apt K.R. From chaotic iteration to constraint propagation / K.R.Apt, 1997. - 17 p. - Текст : непосредственный.Schaerf A. Scheduling sport tournaments using constraint logic programming / A.Schaerf, 1997. - 17 p. - Текст : непосредственный.Heijmans H.J.A.M. Connected morphological operators for binary images / H.J.A.M.Heijmans, 1997. - 40 p. - Текст : непосредственный.Leeuw W.C.de Divide and conquer spot noise / W.C.de Leeuw,R.van Liere, 1997. - 9 p. - Текст : непосредственный.Cohen J.W. A heavy-traffic theorem for the GI/G/1 queue with a Pareto-type service time distribution / J.W.Cohen, 1997. - 8 p. - Текст : непосредственный.Boxma O.J. Heavy-traffic analysis for the GI/G/1 queue with heavy-tailed distributions / O.J.Boxma,J.W.Cohen, 1997. - 28 p. - Текст : непосредственный.Geelen J.F. The excluded minors for GF(4)-representable matroids / J.F.Geelen,A.M.H.Gerards,A.Kapoor, 1997. - 35 p. - Текст : непосредственный.Nunez Queija R. Steady-state analysis of a queue with varying service rate / R.Nunez Queija, 1997. - 21 p. - Текст : непосредственный.Alma-O : An imperative language that supports declarative programming / K.R.Apt,J.Brunekreef,V.Partington,A.Schaerf, 1997. - 42 p. - Текст : непосредственный.Cohen J.W. The M/G/1 fluid model with heavy-tailed message length distributions / J.W.Cohen, 1997. - 28 p. - Текст : непосредственный.Lieshout M.N.M.van Size distributions in stochastic geometry / M.N.M.van Lieshout, 1997. - 26 p. - Текст : непосредственный.Schuppen J.H.van Control for a class of hybrid systems / J.H.vanSchuppen, 1997. - 21 p. - Текст : непосредственный.Marais P.C. Quadratic vs cubic spline-wavelets for image representation and compression / P.C.Marais,E.H.Blake,A.A.M.Kuijk, 1997. - 16 p. - Текст : непосредственный.Boxma O.J. busy period in the fluid queue / O.J.Boxma,V.Dumas, 1997. - 31 p. - Текст : непосредственный. Cohen J.W. Heavy-traffic limit theorems for the heavy-tailed GI/G/1 queue / J.W.Cohen, 1997. - 25 p. - Текст : непосредственный.
Показать все результатыВзгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Плисс О.А. Методы оптимизации при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Турбо Паскаль 4.0/5.0 / ВЦП. - 316 c. - Текст : непосредственный.Операторы языка Natural AG. Раздел 2 / ВЦП. - 184 c. - Текст : непосредственный.Справочное руководство по системе Natural 2 / ВЦП. - 179 c. - Текст : непосредственный.Танев И.Т. Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев, 1993. - 12 с. - Текст : непосредственный.Руководство по языку Турбо-Паскаль. Гл.16. Справочник по языку Турбо-Паскаль / ВЦП (Минск). - 159 c. - Текст : непосредственный.Приложения: А - сравнение Турбо-Паскаля 4.0 с АНСИ-Паскалем. В - директивы компилятору. С - справочные материалы. Д - сообщения об оплате и коды / ВЦП (Минск). - 49 c. - Текст : непосредственный.Справочное руководство по языку ПАСКАЛЬ. Гл.16. Разработка программ / ВЦП. - 105 c. - Текст : непосредственный.
Показать все результатыEker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Zwaan J. Graphics for ABC / J.Zwaan,R.Zwart, 1992. - 20 p. - Текст : непосредственный.Korver H.P. A theory for simulator tools / H.P.Korver, 1993. - 21 p. - Текст : непосредственный.Bonsangue M. Semantics, orderings and recursion in the weakest precondition calculus / M.Bonsangue,J.N.Kok, 1992. - 58 p. - Текст : непосредственный.Кауфман В.Ш. Языки программирования. Концепции и принципы / В.Ш.Кауфман, 1993. - 431 c. - Текст : непосредственный.Blom C.L. MANIFOLD version 1.0 programming:Programs and problems / C.L.Blom, 1993. - 39 p. - Текст : непосредственный.Вольфенгаген В.Э. Проектирование языков программирования и теория вычислений : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 167 c. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 8, 1993. - 64 с. - Текст : непосредственный.Швайгер А.М. АМГI-структурированный язык описания графической информации : Учеб.пособие / А.М.Швайгер,Т.А.Коваленко, 1993. - 158 c. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный.Бузюков, Л. Б. Конструирование программ и языки программирования : Учеб.пособие. Ч. 1, 1994. - 71 с. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 9, 1993. - 64 с. - Текст : непосредственный.Amako K. Methodologies,languages and tools:session summary : Summary talk presented at the intern.conf.on computing in high energy physics,San Francisco,Apr.21-27 1994 / K.Amako, 1994. - 10 p. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 11, 1993. - 72 с. - Текст : непосредственный.ВХОД - язык описания исходной информации для ЭВМ / "Гипротис", ин-т (Москва). Вып. 1 : Популярное описание языка, 1971. - 15 с. - Текст : непосредственный.ВХОД - язык описания исходной информации для ЭВМ / "Гипротис", ин-т (Москва). Вып. 2 : Полное описание языка, 1972. - 56 с. - Текст : непосредственный.Кирстен В. От ANS MUMPS к ISO M : М технологии Программирование на М: ступени к совершенству Новейшие элементы языка. Пер. с нем. / В.Кирстен, 1995. - 277 c. - Текст : непосредственный.Klerer M. Design of very high-level computer languages : A user-oriented approach / M.Klerer, 1991. - XIX,228 p. p. - Текст : непосредственный.Персональный компьютер "ZX- spectrum". Языки программирования: Мега-Бейсик, Бета-Бейсик, Лазер-Бейсик, ZX-Форт, Паскаль НР4ТМ, 1994. - 208 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽