Приложение
для AndroidПолное описание
Marchiori, E. Proving run-time properties of general programs w.r.t. constructive negation / E.Marchiori. - Amsterdam : [s. n.], 1992. - 28 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9245). - Текст : непосредственный.
Библиогр.:с.27-28
| ГРНТИ | УДК | |
| 50.41.17 | 004.422.8 |
Рубрики:
Программы для ЭВМ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9245)
Шифр в сводном ЭК: 7864a567ddc2c54ab1a6115ea3cd2860
Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный.Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный.Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный.Marchiori E. Some uses of constructive negation for classical problems in non-monotonic reasoning / E.Marchiori, 1994. - 16 p. - Текст : непосредственный.Evolutionary computation, machine learning and data mining in bioinformatics : 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Apt K.R. Reasoning about Prolog programs:from modes through types to assertions / K.R.Apt,E.Marchiori, 1993. - 22 p. - Текст : непосредственный.Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный.Evolutionary computation, machine learning and data mining in bioinformatics : 6th european conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008: proceedings / ed. E. Marchiori, 2008 r=on-line. - Текст : электронный.Marchiori E. Design of abstract domains using first-order logic / E.Marchiori, 1996. - 22 p. - Текст : непосредственный.Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Marchiori E. Proving run-time properties of general programs w.r.t. constructive negation / E.Marchiori, 1992. - 28 p. - Текст : непосредственный.Apt K.R. A declarative approach for first-order built-in's of Prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 45 p. - Текст : непосредственный.
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный.Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный.Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыВострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В. А. Скрыпник, 1993. - 144 c. - Текст : непосредственный.Чижов А.А. Системные программные средства ПЭВМ / А. А. Чижов, 1990. - 414 с. - Текст : непосредственный.IBM Systems Journal / IBM. - Журнал выходит с 1962г. - Текст : непосредственный.Операционная система МОС ВП. Программа генерации системы. : методический материал, 1989. - 119 с. - Текст : непосредственный.Операционная система МОС ВП. Программа проверки дисковых файлов : методический материал, 1989. - 11 с. - Текст : непосредственный.Операционная система МОС ВП. Подсистема разработки программ. Программа корректировки образа задачи : методический материал, 1989. - 209 с. - Текст : непосредственный.Norton Commander : методический материал, 1991. - 37 с. - Текст : непосредственный.Development of utilization system of dataflow computer, 1990. - 34 p. - Текст : непосредственный.Microsoft developer network. Development platform-INTL. Disc 1 : Glossaties, ODBC drivers and additional tools, 1997. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Новое в жизни, науке, технике. Подписная научно-популярная серия: Вычислительная техника и ее применение. № 7(1991) : Инструментарий программиста - оболочка PC Tools" / Ред. Б. М. Васильев, 1991. - 46 с. - Текст : непосредственный.Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный.Генератор Отчетов Лабораторных Исследований Атомной Абсорбции. - 60 c. - Текст : непосредственный.Труды Института системного программирования. Т. 8Ч. 1, 2004. - 227 с. - Текст : непосредственный.Труды Института системного программирования. Т. 8Ч. 2, 2004. - 214 с. - Текст : непосредственный.Мерзляков Ю.И. Программное обеспечение процессора АП-32. 4. Консольная подсистема. Библиотекарь / Ю. И. Мерзляков, 1990. - 28 с. - Текст : непосредственный.Утилиты РСХ.Пакет разработчика графических программ, 1994. - 279 c. - Текст : непосредственный.Докучаев А.А. Исследование конфигурации компьютера с помощью утилиты SYSINFO / А. А. Докучаев, 1995. - 26 c. - Текст : непосредственный.Козловский Е.А. Компьютер для носорога. Кн. 5 : Norton Utilities 7.0Ч. 1а. Общие сведения и Одиннадцать Самых Необходимых Полезняшек, 1995. - 384 с. - Текст : непосредственный.Козловский Е.А. Norton Commander 4.0. Руководство к действию для крутых,всмятку и почти сырых юзеров / Е. А. Козловский, 1993. - 143 c. - Текст : непосредственный.
Показать все результатыСмирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В. А. Скрыпник, 1993. - 144 c. - Текст : непосредственный.Программы для ЭВМ.Базы данных.Топологии интегральных микросхем : Инфомац.бюллетень офиц.регистрации / Рос.агентство по правовой охране программ для ЭВМ,баз данных и топологий интегральных микросхем(РосАПО). Вып. 2(20), 1997. - 118 с. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Compile, Link and Run. N. 1, 1992. - 203 p. - Текст : непосредственный.Compile, Link and Run. N 2, 1992. - 204-427 p. p. - Текст : непосредственный.Пакштас А. Синтаксически-ориентированные компоненты распределенных систем. Инструменты разработки и отладки на основе формальных описаний / А. Пакштас, Н. В. Золотарев ; Ред. А. А. Красилов, 1992. - 271 с. - Текст : непосредственный.Пронин А.С. 100 лучших бесплатных программ для ПК / А. С. Пронин, 2009. - 125 с. - Текст : непосредственный.Запольскис А.И. Новые программы для компьютера IBM PC / А. И. Запольскис, 1999. - 494 с. - Текст : непосредственный.Параллельные алгоритмы и программы для ЭВМ с общим управлением : сборник / Институт проблем упр. (Москва), 1991. - 82 с. - Текст : непосредственный.Леонтьев В.П. Лучшие программы для Windows / В. П. Леонтьев, 2007. - 255 с. - Текст : непосредственный.Dijkstra E.W. Predicate calculus and program semantics / E. W. Dijkstra, C. S. Scholten, 1990. - X,220 p. p. - Текст : непосредственный.Зудилова Т.В. Возможности и примеры использования интегрированной системы KNOWLEDGEMAN / Т. В. Зудилова, 1990. - 126 c. - Текст : непосредственный.Котов Ю.Б. Программа симптомного анализа / Ю. Б. Котов, 1990. - 28 с. - Текст : непосредственный.Тутубалин Д.К. Информатика. Windows-приложения / Д. К. Тутубалин, А. Ю. Филиппов, 2003. - 130 с. - Текст : непосредственный.Столяровский С. 50 лучших программ для семейного компьютера / С. Столяровский, 2008. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.48 программ для изучающих BASIC, 1993. - 86 c. - Текст : непосредственный.Макаров В.М. Имитационная модель МКП для получения временных характеристик программ : препринт / В. М. Макаров, Н. К. Скурат, 1991. - 46 с. - Текст : непосредственный.Эшли Р. PC Tools Deluxe 6.0 / Р. Эшли, Дж. Фернандес ; , 1993. - 287 с. - Текст : непосредственный.Горбунов-Посадов М.М. Конфигурации программ : монография / М. М. Горбунов-Посадов, 1994. - 272 с. - Текст : непосредственный.
Показать все результатыТурбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Уэйнманн Э. Photoshop CS2 для Windows и Macintosh / Э. Уэйнманн, П. Лурекас, 2006. - 875 с. - Текст : непосредственный.Кулагин Б.Ю. 3ds Max 8. Актуальное моделирование, визуализация и анимация / Б. Ю. Кулагин, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Верстак В.А. 3ds Max 8 на 100 % / В. А. Верстак, С. В. Бондаренко, М. Ю. Бондаренко, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Бухштаб Ю.А. Новые возможности работы с потоковой информацией / Ю. А. Бухштаб, А. А. Воробьев, Н. Н. Евтеева, 2006. - 12 с. - Текст : непосредственный.Волкова Т. Photoshop CS3. Новые возможности и эффекты / Т. Волкова, К. Алешина, 2007. - 191 с. - Текст : непосредственный.Ивнинг М. Adobe Photoshop CS2 для фотографов : методический материал / М. Ивнинг, 2007. - 675 с. - Текст : непосредственный.Ивнинг М. Adobe Photoshop CS2 для фотографов / М. Ивнинг, 2007. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Волкова Т. Photoshop CS3. Новые возможности и эффекты / Т. Волкова, К. Алешина, 2007. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Чумаченко И.Н. 3ds max 9 / И. Н. Чумаченко, 2007. - 654 с. - Текст : непосредственный.Мортиер Р.Ш. Трехмерное моделирование в системе Вryce. Версии 3D и 4 / Р. Ш. Мортиер, 2000. - 430 с. - Текст : непосредственный.Делла-Росса Р. Adobe Photoshop CS2 для художников / Р. Делла-Росса, А. Делла-Росса, И. Делла-Росса, 2005. - 587 с. - Текст : непосредственный.Уэйнманн Э. Photoshop 7 для Windows / Э. Уэйнманн, П. Лурекас, 2003. - 751 с. - Текст : непосредственный.Бойер П. Adobe Photoshop C55 для чайников : монография / П. Бойер, 2011. - 430 с. - Текст : непосредственный.Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽