Приложение
для AndroidПолное описание
Ashton, K. Pattern matching, conceptualisation, seminatics and logic / K.Ashton. - Auckland : [s. n.], 1994. - 14 p. : ill. - (Report series / Univ.of Auckland.Dep.of mathematics and statistics, ISSN 0112-4021 ; n306). - 100 р. - Текст : непосредственный.
Библиогр.:с.13-14
| ГРНТИ | УДК | |
| 50.41 | 004.422.8'422 |
Рубрики:
Компиляторы программ
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
An J. Weights for the steinberg triality groups 3D4 (q) / J.An, 1992. - 22 p. - Текст : непосредственный.An J. 2-weights and 2-blocks of classical groups / J.An, 1992. - 92 p. - Текст : непосредственный.Mutra S.K. Shorted operators in linear models : a rev. / S.K.Mutra,S.Puntanen,G.P.H.Styan, 1992. - 20 p. - Текст : непосредственный.Nurhonen M. Matrix tricks related to deleting an observation in the general linear model / M.Nurhonen,S.Puntanen, 1992. - 11 p. - Текст : непосредственный.An J. Weights for the simple Ree groups / J.An, 1993. - 10 p. - Текст : непосредственный.Ward N.F.D. On a decomposition theorem for continuous functions of Hayman and Lyons / N.F.D.Ward, 1992. - 11 p. - Текст : непосредственный.An J. Alperin-McKay conjecture for the Chevalley groups G2(q) / J.An, 1992. - 10 p. - Текст : непосредственный.Gerlach H. On the number of witness (a mod n) providing a proper divisor of n / H.Gerlach, 1992. - 12 p. - Текст : непосредственный.An J. Weights for the Chevalley groups G2(q) / J.An, 1992. - 30 p. - Текст : непосредственный.In't Hout K.J. The stability of 0-methods for systems of delay differential equations / K.J.In't Hout, 1993. - 10 p. - Текст : непосредственный.An J. Weights for the Ree groups 2F4(q2) / J.An, 1993. - 15 p. - Текст : непосредственный.Jiang S. Some properties of S(n)-O-closed spaces / S.Jiang,I.Reilly,S.Wang, 1993. - 6 p. - Текст : непосредственный.An J. On the numbers of 2-weights,unipotent conjugacy classes,and irreducible Brauer 2-characters of finite classical groups / J.An,M.Conder, 1993. - 10 p. - Текст : непосредственный.Gerlach H. A note on closure properties of sets of false witnesses / H.Gerlach, 1993. - 8 p. - Текст : непосредственный.Hout K.J.in 't note unconditional maximum norm contractivity of waveform relaxation Runge-Kutta methods / K.J.in 'tHout, 1993. - 13 p. - Текст : непосредственный.An J. Dade's conjecture for the simple Ree groups 2G2(q2) in non-defining characters / J.An, 1993. - 18 p. - Текст : непосредственный.An J. Weight for the simple mathieu groups / J.An,M.Conder, 1993. - 17 p. - Текст : непосредственный.Cole T. greedy network result on 5 euclidean plane points / T.Cole, 1993. - 5 p. - Текст : непосредственный.Qiu S.-L. Bounds for quasiconformal distortion function / S.-L.Qiu,M.K.Vamanamurthy,M.Vuorinen, 1993. - 18 p. - Текст : непосредственный.Inequalities for hypergeometric functions / G.D.Anderson,R.W.Barnard,K.C.Richards и др., 1993. - 12 p. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыЗонд системы ТРИО : Инструкция по эксплуатации / ВЦП. - 18 c. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Breslauer D. Fast parallel string prefix-matching / D.Breslauer, 1992. - 8 p. - Текст : непосредственный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D.Breslauer,L.Colussi,L.Toniolo, 1992. - 7 p. - Текст : непосредственный.Pemberton S. The ergonomics of software porting automatically configuring software to the runtime environment -or- everything you wanted to know about your C compiler, but didn't know who to ask / S.Pemberton, 1992. - 20 p. - Текст : непосредственный.Igarashi J. ЕП expressions of sentential aspects in a contextual language processing model / J.Igarashi, 1993. - 93 p. - Текст : непосредственный.Залогова Л.А. Разработка Паскаль-компилятора : Учеб.пособие по спецкурсу / Л.А.Залогова, 1993. - 119 c. - Текст : непосредственный.Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S.M.Eker, 1992. - 24 p. - Текст : непосредственный.Предкомпиляторы ORACLE : Руководство для языка Pro*CВерсия 1.5Учетный номер 5452-15-1292Пер.с англ., 1994. - Разд.паг. с. - Текст : непосредственный.Ashton K. Pattern matching, conceptualisation, seminatics and logic / K.Ashton, 1994. - 14 p. - Текст : непосредственный.Серебряков В.А. Лекции по конструированию компиляторов / В.А.Серебряков, 1994. - 175 c. - Текст : непосредственный.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В.Ф.Очков,М.А.Рахаев, 1995. - 367 c. - Текст : непосредственный.complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.Kamperman J.F.Th. Simulating TRSs by minimal TRSs:a simple,efficient, and correct compilation technique / J.F.Th.Kamperman,H.R.Walters, 1996. - 15 p. - Текст : непосредственный.Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 53 p. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.
Показать все результатыДао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зуев Е.А. Принципы и методы создания компилятора переднего плана Стандарта Си++ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. А. Зуев, 1999. - 27 с. - Текст : непосредственный.Шереметьев К.П. Компилятор с инкрементным объектным кодом для управления разработкой программного обеспечения повышенной надежности : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.01 / К. П. Шереметьев, 2002. - 19 с. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Breslauer D. Fast parallel string prefix-matching / D.Breslauer, 1992. - 8 p. - Текст : непосредственный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D.Breslauer,L.Colussi,L.Toniolo, 1992. - 7 p. - Текст : непосредственный.Pemberton S. The ergonomics of software porting automatically configuring software to the runtime environment -or- everything you wanted to know about your C compiler, but didn't know who to ask / S.Pemberton, 1992. - 20 p. - Текст : непосредственный.Igarashi J. ЕП expressions of sentential aspects in a contextual language processing model / J.Igarashi, 1993. - 93 p. - Текст : непосредственный.Залогова Л.А. Разработка Паскаль-компилятора : Учеб.пособие по спецкурсу / Л.А.Залогова, 1993. - 119 c. - Текст : непосредственный.Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S.M.Eker, 1992. - 24 p. - Текст : непосредственный.Предкомпиляторы ORACLE : Руководство для языка Pro*CВерсия 1.5Учетный номер 5452-15-1292Пер.с англ., 1994. - Разд.паг. с. - Текст : непосредственный.Ashton K. Pattern matching, conceptualisation, seminatics and logic / K.Ashton, 1994. - 14 p. - Текст : непосредственный.Серебряков В.А. Лекции по конструированию компиляторов / В.А.Серебряков, 1994. - 175 c. - Текст : непосредственный.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В.Ф.Очков,М.А.Рахаев, 1995. - 367 c. - Текст : непосредственный.complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.Kamperman J.F.Th. Simulating TRSs by minimal TRSs:a simple,efficient, and correct compilation technique / J.F.Th.Kamperman,H.R.Walters, 1996. - 15 p. - Текст : непосредственный.Special issue on parallel architectures and compilation techniques : Papers were presented at the conf.on parallel architectures and compilation techn.,Cyprus,June 1995 / PACT'95. Pt. 1, 1996. - 207-289 p. p. - Текст : непосредственный.Special issue on parallel architectures and compilation techniques : Papers were presented at the conf.on parallel architectures and compilation techn.,Cyprus,June 1995 / PACT'95. Pt. 2, 1996. - 291-396 p. p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽