Полное описание
Centrum voor wiskunde en informatica (Amsterdam). CS-R8957 : Strong completeness for Hoare logics of recursive processes: an infinitary approach / A.Ponse,F.J.de Vries. - Amsterdam : [s. n.], 1989. - 36 p.
Доп. точки доступа: Vries, F.J.de
Экз-ры полностью fbccee72998bb2c389aa0dc81fad457a Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R8957)
Шифр в сводном ЭК: fbccee72998bb2c389aa0dc81fad457a
Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Ponse A. Equivalence of recursive specifications in process algebra / A.Ponse,Y.S.Usenko, 2001. - 10 p. - Текст : непосредственный. Groote J.F. Process algebra with guards.Combining Hoare logic with process algebra / J.F.Groote,A.Ponse, 1990. - 56 p. - Текст : непосредственный. Groote J.F. Linearization in parallel pCRL / J.F.Groote,A.Ponse,Y.S.Usenko, 2000. - 30 p. - Текст : непосредственный. Groote J.F. syntax and semantics of M CRL / J.F.Groote,A.Ponse, 1990. - 35 p. - Текст : непосредственный. Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный. Bergstra J.A. Branching time and orthogonal bisimulation equivalence / J.A.Bergstra,A.Ponse,M.B. van der Zwaag, 2000. - 38 p. - Текст : непосредственный. Ponse A. logic of ACP / A.Ponse,M. B. van derZwaag, 2002. - 32 p. - Текст : непосредственный. Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный. Event structures and orthogonal term graph rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 19 p. - Текст : непосредственный. Comparing curried and uncurried rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 25 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
