Полное описание
Eijck, D. J.N.van
ГРНТИ УДК 16.31.31 510.567
Рубрики: Формальные языки
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9055)
Шифр в сводном ЭК: cac9694e6ed989cae12bfa4bd3bc17d7
Eijck D.J.N.van Ambiguity and reasoning / D. J.N.van Eijck, J. Jaspars, 1996. - 26 p. - Текст : непосредственный. Eijck D.J.N.van Dynamic reasoning without variables / D. J.N.van Eijck, 1998. - 27 p. - Текст : непосредственный. Eijck D.J.N.van Presuppositions and information updating / D.J.N.van Eijck, 1995. - 17 p. - Текст : непосредственный. Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный. Eijck D.J.N.van Procedural dynamic semantics, verb-phrase ellipsis,and presupposition / D.J.N.van Eijck,N.Francez, 1993. - 14 p. - Текст : непосредственный. Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный. Eijck D.J.N.van Quantification and partiality / D.J.N.van Eijck, 1991. - 35 p. - Текст : непосредственный. Bouchez O. A strategy for dynamic interpretation : A fragment and an implementation / O.Bouchez,D.J.N.van Eijck,O.Istace, 1993. - 23 p. - Текст : непосредственный. Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный. Eijck D.J.N.van Formal semantics / D.J.N.van Eijck, 1990. - 18 p. - Текст : непосредственный. Eijck D.J.N.van Quantifiers / D.J.N.van Eijck, 1990. - 15 p. - Текст : непосредственный. Eijck D.J.N.van Discourse representation theory / D.J.N.van Eijck, 1990. - 10 p. - Текст : непосредственный. Eijck D.J.N.van Representing discourse in context / D.J.N.van Eijck,H.Kamp, 1996. - 61 p. - Текст : непосредственный. Eijck D.J.N.van Typed logics with states / D.J.N.van Eijck, 1997. - 20 p. - Текст : непосредственный. Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный. Eijck D.J.N.van sound and complete calculus for update logic / D.J.N.van Eijck,F.-J. de Vries, 1991. - 20 p. - Текст : непосредственный. Eijck D.J.N.van Programming with dynamic predicate logic / D.J.N.van Eijck, 1998. - 40 p. - Текст : непосредственный. Eijck D.J.N.van Incremental dynamics / D.J.N.van Eijck, 1998. - 26 p. - Текст : непосредственный. Eijck D.J.N.van Axiomatising dynamic logics for anaphora / D.J.N.van Eijck, 1998. - 22 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. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Завьялов С.В. Стеганографические методы защиты информации : выставочные материалы / С. В. Завьялов, Ю. В. Ветров, 2012. - 189 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Шакурский В.К. Сжимающие отображения в инвариантных преобразователях и системах стеганографии / В. К. Шакурский, М. В. Шакурский, 2014. - 158 с. - Текст : непосредственный. Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд.филос.наук / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Корхов А.В. Построение вопросно-ответной системы с использованием метода математической формализации естественных языков : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Корхов, 2001. - 13 с. - Текст : непосредственный. Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. Клепов А.В. Шифраторы и радиоразведка. Щит и меч информационного мира. Т. 1, 2015. - 958 с. - Текст : непосредственный. Разработка моделей криптографической защиты информации / В. Г. Шубович, В. В. Капитанчук, Н. С. Знаенко, Ю. И. Титаренко, 2013. - 127 с. - Текст : электронный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Бабаш А.В. Криптографические методы защиты информации : учеб.-метод. пособие. Т. 3, 2014. - 216 с. - Текст : непосредственный. Мельников Б.Ф. Применение свойств специальных моноидов в теории формальных языков : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / Б. Ф. Мельников, 1997. - 31 с. - Текст : непосредственный. Невзорова О.А. Формальная модель реконструкции морфологических категорий естественного языка на основе текстов : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд. техн. наук / О. А. Невзорова, 1997. - 19 с. - Текст : непосредственный. Элементарное введение в эллиптическую криптографию. Алгебраические и алгоритмические основы / А. А. Болотов, С. Б. Гашков, А. Б. Фролов, А. А. Часовских, 2012. - 355 с. - Текст : непосредственный. Цифровая стеганография и цифровые водяные знаки : [монография] / В. И. Коржик [и др.] ; под общ. ред. В. И. Коржика ; С.-Петерб. гос. ун-т телекоммуникаций им. М. А. Бонч-Бруевича. Ч. 1 : Цифровая стеганография, 2016. - 225 с. - Текст : непосредственный. Криптография и безопасность цифровых систем : выставочные материалы / В. Г. Грибунин, А. П. Мартынов, Д. Б. Николаев, В. Н. Фомченко ; Ред. А. И. Астайкин, 2011. - 410 с. - Текст : электронный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Криптографические методы защиты информации : учеб. пособие / С.-Петерб. политехн. ун-т Петра Великого. Ч. 2 : Криптосистемы с открытым ключом / Е. Б. Александрова, Е. Ю. Павленко, Н. Н. Шенец, 2016. - 67 с. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Будкин А.И. Элементы теории автоматов и формальных языков : учебное пособие / А. И. Будкин, 2019. - 78 с. - Текст : непосредственный. Галиев Ш.И. Теория формальных языков : Учеб.пособие / Ш.И.Галиев,Л.Ю.Емалетдинова, 1994. - 100 c. - Текст : непосредственный. Чигарина Е.И. Теория конечных автоматов и формальных языков : учеб. пособие / Е. И. Чигарина, М. А. Шамашов, 2007. - 95 с. - Текст : непосредственный. Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный. Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 1, 2010. - 101с. - Текст : непосредственный. Сердобольский В.И. Синтаксическая теория формальных языков : Учеб.пособие / В.И.Сердобольский, 2000. - 111 с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 2, 2002. - 99 с. - Текст : непосредственный. Бондаренко, Л. Н. Дискретная математика. Конечные автоматы и формальные языки : учеб. пособие. Ч. 1, 2009. - 74 с. - Текст : непосредственный. Бояринцева Т.Е. Формальные языки и конечные автоматы / Т.Е.Бояринцева,А.Н.Щетинин,И.К.Краснов; Под ред. В.И.Хомича, 2002. - 34 с. - Текст : непосредственный. Коротков М.А. Основы формальных логических языков : Учеб. пособие / М.А.Коротков,Е.О.Степанов, 2003. - 82 с. - Текст : непосредственный. Пентус А.Е. Математическая теория формальных языков / А. Е. Пентус, М. Р. Пентус, 2006. - 247 с. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Будкин А.И. Элементы теории автоматов и формальных языков : учебное пособие / А. И. Будкин, 2019. - 78 с. - Текст : непосредственный. Холкина Н.Е. Введение в формальные грамматики и методы трансляции : учеб. пособие / Н. Е. Холкина, 2011. - 145 с. - Текст : непосредственный. Масленникова М.И. Идеальные языки и синхронизируемые автоматы : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / М. И. Масленникова, 2015. - 19 с. - Текст : непосредственный. Галиев Ш.И. Теория формальных языков : Учеб.пособие / Ш.И.Галиев,Л.Ю.Емалетдинова, 1994. - 100 c. - Текст : непосредственный. Чигарина Е.И. Теория конечных автоматов и формальных языков : учеб. пособие / Е. И. Чигарина, М. А. Шамашов, 2007. - 95 с. - Текст : непосредственный. Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный. Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 1, 2010. - 101с. - Текст : непосредственный. Сердобольский В.И. Синтаксическая теория формальных языков : Учеб.пособие / В.И.Сердобольский, 2000. - 111 с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 2, 2002. - 99 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
