Приложение
для AndroidПолное описание
Apt, K. R. Reasoning about Prolog programs:from modes through types to assertions / K.R.Apt,E.Marchiori. - Amsterdam : [s. n.], 1993. - 22 p. - (Report:Computer science / CWI ; CS-R9358). - Текст : непосредственный.
Библиогр.:с.22
| ГРНТИ | УДК | |
| 50.41.09 | 004.422.8 |
Рубрики:
Программы для ЭВМ
Доп. точки доступа:
Marchiori, E.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9358)
Шифр в сводном ЭК: e024f1d37fedba0faf57f710f6a58a0a
Alma-O : сборник научных трудов / K. R. Apt, J. Brunekreef, V. Partington, A. Schaerf, 1997. - 42 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.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. - Текст : непосредственный.Apt K.R. Search and imperative programming / K. R. Apt, A. Schaerf, 1996. - 21 p. - Текст : непосредственный.Apt K.R. Program verification and Prolog / K. R. Apt, 1994. - 35 p. - Текст : непосредственный.Apt K.R. Arrays,bounded quantification and iteration in logic and constraint logic programming / K.R.Apt, 1995. - 15 p. - Текст : непосредственный.Bol R.N. analysis of loop checking mechanisms for logic programs / R.N.Bol,K.R.Apt,J.W.Klop, 1989. - 56 p. - Текст : непосредственный. Apt K.R. A closer look at declarative interpretations / K.R.Apt,M.Gabbrielli,D.Pedreschi, 1994. - 31 p. - Текст : непосредственный.Olderog E.-R. Using transformations to verify parallel programs / E.-R.Olderog,K.R.Apt, 1989. - 27 p. - Текст : непосредственный.Apt K.R. The STO-problem is NP-hard / K.R.Apt,E.van Baas,A.Welling, 1994. - 7 p. - Текст : непосредственный.Marchiori E. Some uses of constructive negation for classical problems in non-monotonic reasoning / E.Marchiori, 1994. - 16 p. - Текст : непосредственный.Apt K.R. Comparing negation in logic programming and in prolog / K.R.Apt,F.Teusink, 1994. - 18 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. Proving termination of parallel programs / K.R.Apt,F.S. de Boer,E.-R.Olderog, 1990. - 7 p. - Текст : непосредственный.Apt K.R. Introduction to program verification / K.R.Apt,E.-R.Olderog, 1990. - 70 p. - Текст : непосредственный.Apt K.R. Proving termination of general Prolog programs / K.R.Apt,D.Pedreschi, 1991. - 23 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 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. - Текст : непосредственный.
Показать все результатыСмирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽