Приложение
для AndroidПолное описание
Apt, K. R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini. - Amsterdam : [s. n.], 1992. - 36 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9238). - 3 р. - Текст : непосредственный.
Библиогр.:с.29-30.Указ.:с.30-36
| ГРНТИ | УДК | |
| 50.41.25 | 004.422.8 |
Рубрики:
Программы для ЭВМ
Доп. точки доступа:
Pellegrini, A.
Имеются экземпляры в отделах: всего 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. - Текст : непосредственный.
Показать все результатыПроизводственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Устройство автоматизации SIMATIC S5-115U : Руководство по работе и программированию / ВЦП. - 334 с. - Текст : непосредственный.Руководство по программному обеспечению EGA 480. Дополнение к руководству по EGA 480 Card / ВЦП. - 27 c. - Текст : непосредственный.Программное обеспечение Dr. Halo III : Инструкция пользователя / ВЦП. - 103 c. - Текст : непосредственный.Руководство по программному обеспечению FFT / ВЦП. - 30 c. - Текст : непосредственный.Исследование вопроса проверки программ защиты для системы / ВЦП. - 41 c. - Текст : непосредственный.Анализатор "ЭЛАН" / ВЦП. - 273 c. - Текст : непосредственный.Руководство-приложение к пакету программ DAMAGE BOUNDARY / ВЦП. - 19 c. - Текст : непосредственный.LSN.Команда прослушивания Listen / ВЦП. - 132 с. - Текст : непосредственный.Команда Анализ остатка RAN / ВЦП. - 101 с. - Текст : непосредственный.TLA-команда пересылки меток / ВЦП. - 108 с. - Текст : непосредственный.Атомно-абсорбционный спектрофотометр модель - 5100 : Справочное руководство. Гл.10. Использование функций / ВЦП. - 345 с. - Текст : непосредственный.Программирование тестов. Рабочие станции тестирования печатных плат 227Х / ВЦП. - 150 c. - Текст : непосредственный.Программируемые рабочие станции для проверок с платой 227Х фирмы ГенРэд. Описания языка испытания (версия 8.2). Гл.6 / ВЦП. - 162 c. - Текст : непосредственный.Программируемые рабочие станции для проведения проверок с платой 227Х фирмы ГенРад: Описание языка испытаний. Версия 8.2 / ВЦП. - 118 c. - Текст : непосредственный.Джокер. Система классификации и упорядочения по рангу. Версия 2.0 : Руководство пользователя / ВЦП. - 69 c. - Текст : непосредственный.Руководство для пользователей по программному обеспечению системы САТ / ВЦП. - 46 c. - Текст : непосредственный.
Показать все результатыПрограмма Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Программа связи для компьютеров IBM PC и совместимых с ними : Сжатое руководство пользователя. Версия 3.5Х / ВЦП. - 63 с. - Текст : непосредственный.Программа EZ Tape для работы в среде ДОС / ВЦП. - 95 c. - Текст : непосредственный.Программное обеспечение для многопортовых последовательных компьютерных систем Р.С.СОМ тм / ВЦП. - 47 c. - Текст : непосредственный.Центр программирования. Разд.3,4,5,4(доп.) : Руководство пользователя / ВЦП. - 114 c. - Текст : непосредственный.Характеристики программных средств Interview Magnascan / ВЦП. - 71 c. - Текст : непосредственный.Система Кроссток-16 : Руководство пользователя / ВЦП. - 218 c. - Текст : непосредственный.Библиотека программ для персональной ЭВМ : Справочное руководство к программному пакету SmARTWORK / ВЦП. - 109 c. - Текст : непосредственный.Проверка эффективности действия системного программного обеспечения / ВЦП. - 53 c. - Текст : непосредственный.Jamsa K. Microsoft quick C:Covers microsoft quick C version 2 : монография / K.Jamsa, 1989. - V,169 p. мкф.Townsend C. PC tools deluxe tm : Covers version 6 / C.Townsend, 1990. - 156 мкф.Craig J.C. Microsoft quick C programmer's toolbox : An essential collection of more than 200 programs,functions and utilities for superchanging QuickC programs / J.C.Craig, 1990. - VII,523 p. p. - Текст : непосредственный.Dr.HALO Plus tm : монография, 1989. - Pag.var.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.Marchiori E. Proving run-time properties of general programs w.r.t. constructive negation / E.Marchiori, 1992. - 28 p. - Текст : непосредственный.Модели,алгоритмы,программы : Сб. науч. тр. / Тверской гос.ун-т, 1993. - 133 с. - Текст : непосредственный.Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В.А.Скрыпник, 1993. - 144 c. - Текст : непосредственный.48 программ для изучающих BASIC, 1993. - 86 c. - Текст : непосредственный.Системные программы для ZX Spectrum : Сб.описаний. Вып. 1, 1993. - 210 с. - Текст : непосредственный.Apt K.R. On the unification free Prolog programs / K.R.Apt,S.Etalle, 1993. - 16 p. - Текст : непосредственный.
Показать все результатыКузнецов С.О. Разработка и исследование методов построения ЦМД-эмуляторов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. О. Кузнецов, 1990. - 21 с. - Текст : непосредственный.Швеин А.А. Повышение эффективности программно-аппаратных трансляторов и интерпретаторов на основе методов теории формальных языков : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Швеин, 1991. - 19 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Скачков Н.Б. Отладочный транслятор-интерпретатор программ на Алголе 68 : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. Б. Скачков, 1990. - 18 с. - Текст : непосредственный.Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный.Кириенко Н.А. Оптимизация программ в процессе трансляции : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. А. Кириенко, 1992. - 16 с. - Текст : непосредственный.Баженова И.Ю. Архивные средства обеспечения надежности коллективных программных разработок : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:05.13.11 / И. Ю. Баженова, 1992. - 20 с. - Текст : непосредственный.Ярко Л.В. Полнота тестирования реализации контекстных свойств языка программирования в трансляторах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Л. В. Ярко, 1992. - 12 с. - Текст : непосредственный.Фокин Р.Р. Универсальный интерпретатор оболочек для систем обучения пользователя в среде операционной системы RT-11 : Автореферат диссертации на соискание ученой степени канд. пед. наук: 13.00.02 / Р. Р. Фокин, 1993. - 16 с. - Текст : непосредственный.Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный.Подольская Н.А. Исследование и разработка инструментальных редакторов программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. А. Подольская, 1993. - 15 с. - Текст : непосредственный.Москвина Л.А. Автоматизация разработки пакетов статистического моделирования траекторий в геометрически сложных областях : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Л. А. Москвина, 1993. - 23 с. - Текст : непосредственный.Петухин В.А. Анализ логических программ и компиляция языка Флэнг : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный.Павлов М.В. Тестирование диагностики трансляторов стандартизованных языков программирования с развитым статическим компонентом : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / М. В. Павлов, 1994. - 14 с. - Текст : непосредственный.Лаврова Ю.К. Методика разработки кодогенерирующей части трансляторов на примере семейства трансляторов с Алгола 68 : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Ю. К. Лаврова, 1995. - 16 с. - Текст : непосредственный.Кочетов Д.В. Эффективная специализация алголоподобных программ : Автореферат диссертации на соискание ученой степени канд физ.-мат.наук:05.13.11 / Д. В. Кочетов, 1995. - 16 с. - Текст : непосредственный.Бакалов Ю.В. Алгоритмический анализ поведения распределенных программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Ю. В. Бакалов, 1996. - 12 с. - Текст : непосредственный.Воеводин, Владимир Валентинович. Аналитические и инструментальные средства исследования тонкой структуры программ : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:05.13.11 / В. В. Воеводин, 1997. - 27 с. - Текст : непосредственный.Пециляк И.И. Разработка диалого-графической среды вычислительных пакетов прикладных программ для обработки экспериментальных данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. И. Пециляк, 1997. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽