Приложение
для AndroidПолное описание
Klusener, A. S. An executable semantics for a subset of COLD / A.S.Klusener. - Amsterdam : [s. n.], 1991. - 35 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9145). - 5.00 р. - Текст : непосредственный.
Библиогр.:с.27
| ГРНТИ | УДК | |
| 50.05.09 | 004.431.2 |
Рубрики:
Машинные языки
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 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. - Текст : непосредственный.
Показать все результатыZX-SPEKTRUM : Программирование в машинных кодах, 1994. - 158 c. - Текст : непосредственный.Sapper G.R. Maschinenorientierte Sprachen / G.R.Sapper, 1989. - 127 S. - Текст : непосредственный.Математическое обеспечение гибридной вычислительной системы ГВС-100 / Горинович Л.Н.,Казьмин А.И.,Кислер С.В.,Таранова А.Н. Вып. 4 : Автокод, 1974. - 66 с. - Текст : непосредственный.Klusener A.S. executable semantics for a subset of COLD / A.S.Klusener, 1991. - 35 p. - Текст : непосредственный. Стефанович А.Е. Язык УНИКОН для интеллектуализированных систем автоматического управления / А.Е.Стефанович, 1999. - 12 с. - Текст : непосредственный.Bolsky M.I. Kornshell : Command and programming language / M.I.Bolsky,D.G.Korn, 1989. - XVI,356 p. p. - Текст : непосредственный. Язык компьютера / Пер.с англ.С.Е.Морковина,В.М.Ходукина;Под ред.В.М.Курочкина, 1989. - 240 с. - Текст : непосредственный.Насиров Ш.Х. Входной язык РС / Ш.Х.Насиров,З.И.Федотова, 1989. - 48 c. - Текст : непосредственный.Lawrence D. Beginning machine code on the Commodore 64 : A simple introduction for beginners: Xerox / D.Lawrence,M.England, 1985. - 181 p. - Текст : непосредственный.Hopper M.J. Local TSSD guide : For postscript / M.J.Hopper, 1989. - 50 p. - Текст : непосредственный.Lawrence D. Commodore 64 machine code master : A libr. of machine code routines: Xerox / D.Lawrence,M.England, 1983. - 191 p. - Текст : непосредственный.Gibbons J.P. Cracking the code on the Commodore 64 : Xerox / J.P.Gibbons, 1984. - 350 p. - Текст : непосредственный.Burkinshaw C. I. Beyond BASIC on the Commodore 64 / C. I. Burkinshaw, 1984. - X, 144 p. - Текст : непосредственный.
ZX-SPEKTRUM : Программирование в машинных кодах, 1994. - 158 c. - Текст : непосредственный.Sapper G.R. Maschinenorientierte Sprachen / G.R.Sapper, 1989. - 127 S. - Текст : непосредственный.Proceedings of the 1992 international conference on computer languages,Apr.20-23,1992,Oakland(Ca) / Sponsored by IEEE computer soc., 1990. - X,541 p. p. - Текст : непосредственный.Математическое обеспечение гибридной вычислительной системы ГВС-100 / Горинович Л.Н.,Казьмин А.И.,Кислер С.В.,Таранова А.Н. Вып. 4 : Автокод, 1974. - 66 с. - Текст : непосредственный.Klusener A.S. executable semantics for a subset of COLD / A.S.Klusener, 1991. - 35 p. - Текст : непосредственный. Graph grammars and their application to computer science : Proc.of the 4th intern.workshop on graph grammars..,Mar. 5-9,1990,Bremen / ed. H. Ehrig, 1991. - X,7703 p. p. - Текст : непосредственный.1988 International conference on computer languages, Miami Beach(Fl), Oct.9-13, 1988 / Spons.by the IEEE computer soc., 1988. - XV, 446 p. 446 p. - Текст : непосредственный.Язык компьютера / Пер.с англ.С.Е.Морковина,В.М.Ходукина;Под ред.В.М.Курочкина, 1989. - 240 с. - Текст : непосредственный.Насиров Ш.Х. Входной язык РС / Ш.Х.Насиров,З.И.Федотова, 1989. - 48 c. - Текст : непосредственный.Lawrence D. Beginning machine code on the Commodore 64 : A simple introduction for beginners: Xerox / D.Lawrence,M.England, 1985. - 181 p. - Текст : непосредственный.Hopper M.J. Local TSSD guide : For postscript / M.J.Hopper, 1989. - 50 p. - Текст : непосредственный.Lawrence D. Commodore 64 machine code master : A libr. of machine code routines: Xerox / D.Lawrence,M.England, 1983. - 191 p. - Текст : непосредственный.Gibbons J.P. Cracking the code on the Commodore 64 : Xerox / J.P.Gibbons, 1984. - 350 p. - Текст : непосредственный.Зверев С.М. Символьные вычисления на языке ПЛ/ 1-ФОРМАК / С.М.Зверев,В.В.Корняк, 1990. - 23 с. - Текст : непосредственный.Методы и модели для автоматизированного управления программными проектами : автореф. дис. .. канд. техн. наук : 05.13.01 / Д. А. Нагин, 2006. - 28 с. - Текст : непосредственный.Burkinshaw C. I. Beyond BASIC on the Commodore 64 / C. I. Burkinshaw, 1984. - X, 144 p. - Текст : непосредственный.
Заказ фрагмента документа ₽