Полное описание
Centrum voor wiskunde en informatica (Amsterdam). CS-R9216 : A theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi. - Amsterdam : [s. n.], 1992. - 15 p. : ill.
Доп. точки доступа: Marchiori, E.
Palamidessi, C.
Экз-ры полностью 3832e92eda138e9592a13ecfb4e3b8a1 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9216)
Шифр в сводном ЭК: 3832e92eda138e9592a13ecfb4e3b8a1
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. - Текст : непосредственный. Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 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. - Текст : непосредственный. failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 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. - Текст : электронный. Control flow versus logic: a denotational and a declarative model for quarded Horn clauses / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 15 p. - Текст : непосредственный. Apt K.R. Proving termination of parallel programs / K.R.Apt,F.S. de Boer,E.-R.Olderog, 1990. - 7 p. - Текст : непосредственный. Показать все результаты Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный. Hemker P.W. Fourier two-level analysis for discontinuous Galerkin discretization with linear elements / P. W. Hemker, W. Hoffmann, M.H. van Raalte, 2002. - 19 p. - Текст : непосредственный. Hunt G.W. Cylindrical shell buckling: a characterization of localization and periodicity / G. W. Hunt, G. J. Lord, M. A. Peletier, 2002. - 18 p. - Текст : непосредственный. Williams H.C. New computations concerning the Cohen-Lenstra heuristics / H. C. Williams, H.J.J. te Riele, 2002. - 20 p. - Текст : непосредственный. Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R8957 : Strong completeness for Hoare logics of recursive processes: an infinitary approach / A.Ponse,F.J.de Vries, 1989. - 36 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R8947 : Components,frameworks and GKS input / D.A.Duce,R.van Liere,P.J.W.ten Hagen, 1989. - 16 p. - Текст : непосредственный. Report:Computer science / CWI. CS-R9028 : Process algebra with a zero object / J.C.M.Baeten,J.A.Bergstra, 1990. - 14 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Дроздов Е.А. Электронные вычислительные машины единой системы / Е. А. Дроздов, В. А. Комарницкий, А. П. Пятибратов, 1976. - 672 с. - Текст : непосредственный. Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. BASIC, 1992. - 97 с. - Текст : непосредственный. Ройтенберг Я.Н. Автоматическое управление / Я. Н. Ройтенберг, 1992. - 576 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Электронные устройства для "Sinclair ZX Spectrum" : монография, 1992. - 80 с. - Текст : непосредственный. Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный. Гордеев А.А. Анализ цифровых приборных и следящих систем на фазовой плоскости / А. А. Гордеев, Л. В. Симонова, 1993. - 47 с. - Текст : непосредственный. Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный. Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный. Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный. Проблемы создания автоматизированных систем и современных технологий обработки информации : сборник научных трудов / Казахский НИИ науч.-технической и конъюнктурно-коммерческой информации (Алма-Ата), Вычислительный центр, 1992. - 154 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Разу М.Л. Анализ и выработка критериев для формирования новых компьютерных программ по оценке эффективности проектов / М. Л. Разу, З. М. Гальперина, А. А. Ищенко, 1997. - 43 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Тихоненков В.А. Температурные погрешности тензорезисторных датчиков и методы их компенсации / В. А. Тихоненков, А. И. Тихонов, 1996. - 148 с. - Текст : непосредственный. Ботыгин И.А. Универсальный дискретный интерфейс на базе микроконтроллера КМ 1816ВЕ51 / И. А. Ботыгин, В. К. Погребной, М. А. Сонькин, 1996. - 95 с. - Текст : непосредственный. Показать все результаты Известия Института математики и информатики. 2(44), 2014. - 95 с. - Текст : непосредственный. Прикладная математика и информатика : Тр. Фак. вычисл. математики и кибернетики МГУ им. М. В. Ломоносова / МГУ им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики. № 26, 2007. - 98 с. - Текст : непосредственный. Научные ведомости Белгородского государственного университета. Серия Информатика и прикладная математика. № 1(21)Вып. 2, 2006. - 153 с. - Текст : непосредственный. Методы кибернетики и информационные технологии : Сб. науч. тр. / Саратов. гос. ун-т им. Н.Г.Чернышевского. Вып. 1, 1994. - 151 с. - Текст : непосредственный. Труды СПИИРАН : науч., науч.-образоват., междисциплинар. журн. с базовой специализацией в обл. информатики, автоматизации и приклад. математики. Вып. 2(45), 2016. - 244 с. - Текст : непосредственный. Системы и средства информатики : науч. журн. / Рос. АН, Ин-т проблем информатики. Т. 22№ 2, 2012. - 347 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. Т. 9вып. 4, 2009. - 126 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии . Т. 5Вып. 2(2007), 2007. - 98 с. - Текст : непосредственный. Системы и средства информатики : науч. журн. / Рос. акад. наук, Федер. исслед. центр "Информатика и упр.". Т. 26№ 2, 2016. - 189 с. - Текст : непосредственный. Вестник Бурятского государственного университета. Математика, информатика. Вып. 2(2016), 2016. - 105 с. - Текст : непосредственный. Сборник студенческих научных работ факультета компьютерных наук ВГУ. Вып. 10 / ред. Д. Н. Борисов, 2016. - 239 с. - Текст : непосредственный. Сборник студенческих научных работ факультета компьютерных наук ВГУ. Вып. 9 / под ред. Д. Н. Борисова, 2015. - 306 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : науч. журн. Т. 14№ 1, 2016. - 117 с. - Текст : непосредственный. Электротехника, информационные технологии, системы управления : журнал / Перм. нац. исслед. политехн. ун-т. № 18, 2016. - 155 с. - Текст : непосредственный. Вестник Южно-Уральского государственного университета. Серия "Вычислительная математика и информатика". Т. 5№ 2, 2016. - 105 с. - Текст : непосредственный. Bulletin of the Novosibirsk Computing Center. Series: Computer Science. Iss. 38(2015) : IIS spec. iss. : vol. of the A. P. Ershov inst. of inform. systems, 2015. - VIII, 150 p. - Текст : непосредственный. Прикладная математика и информатика : Тр. Фак. вычисл. математики и кибернетики МГУ им. М. В. Ломоносова / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. мат. и кибернетики. № 28, 2008. - 112 с. - Текст : непосредственный. Современные проблемы математики и информатики : сб. науч. тр. молодых ученых, аспирантов и студентов / Яросл. гос. ун-т им. П. Г. Демидова. Вып. 15, 2015. - 115 с. - Текст : непосредственный. Вестник Волжского университета им. В.Н.Татищева..Серия "Информатика". Вып. 1, 2000. - 211 с. - Текст : непосредственный. Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика : науч. журн. № 3(2016), 2016. - 123 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
