Приложение
для AndroidПолное описание
Rekers, J. Generalized LR parsing for general context-free grammars / J.Rekers. - Amsterdam : [s. n.], 1991. - 31 p. : ill. - (Report:Computer science / CWI ; CS-R9153). - Текст : непосредственный.
Библиогр.: с. 30-31
Перевод заглавия: Обобщенный LR синтаксический анализ для общих контекстно-свободных грамматик
| ГРНТИ | УДК | |
| 16.31 | 81'32 |
Рубрики:
Грамматика формальная
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9153)
Шифр в сводном ЭК: fdc77ae0f72f5ef2b8b1d401369d9a32
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
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. - Текст : непосредственный.
Показать все результатыИванова Н.К. Система письма в английском языке и современный узус: язык, виртуальная коммуникация, реклама / Н. К. Иванова, Р. В. Кузьмина, С. В. Мощева, 2014. - 237 с. - Текст : непосредственный.Воронцова Н.И. Английский язык для студентов экономических факультетов / Н. И. Воронцова, А. К. Ильина, Ю. В. Момджи, 1999. - 142 с. - Текст : непосредственный.Asperti A. Categories,types and structures : монография / A. Asperti, G. Longo, 1991. - 306 p. - Текст : непосредственный.Зулкарнеев М.Ю. Разработка математических моделей и алгоритмов поиска ключевых слов в аудио-сообщениях : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. Ю. Зулкарнеев, 2006. - 23 с. - Текст : непосредственный.Чубинидзе К.А. Метод синтактико-семантических шаблонов и его применение в информационной технологии интерпретации текстов : специальность 05.25.05 "Информационные системы и процессы" : диссертация на соискание ученой степени канд. техн. наук / К. А. Чубинидзе, 2006. - 26 с. - Текст : непосредственный.Автоматическое распознавание и синтез речевых сигналов : сборник научных трудов / Институт кибернетики им. В. М. Глушкова (Киев), 1989. - 168 с. - Текст : непосредственный.Саломатина Н.В. Методы и программные средства выделения и численного оценивания вариативности языковых единиц : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Н. В. Саломатина, 2009. - 24 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Computational processing of the portuguese language / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Computational linguistics and intelligent text processing / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.New developments in parsing technology / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Jekosch U. Voice and speech quality perception / U. Jekosch, 2005 r=on-line. - Текст : электронный.Завьялов С.В. Стеганографические методы защиты информации : выставочные материалы / С. В. Завьялов, Ю. В. Ветров, 2012. - 189 с. - Текст : непосредственный.Русанова О.А. Исследование и разработка методов анализа и оценки качества синтезированной устной речи : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени канд. техн. наук / О. А. Русанова, 2004. - 19 с. - Текст : непосредственный.Заболеева-Зотова А.В. Естественный язык в автоматизированных системах. Семантический анализ текстов / А. В. Заболеева-Зотова, 2002. - 227 с. - Текст : непосредственный.Метаязык науки : материалы временных коллективов, 2012. - 877 с. - Текст : непосредственный.
Показать все результатыRekers J. Generalized LR parsing for general context-free grammars / J.Rekers, 1991. - 31 p. - Текст : непосредственный.Богаченко Н.Ф. Задания по грамматикам и распознавателям / Н. Ф. Богаченко, 2012. - 19 с. - Текст : непосредственный.Rekers J. Substring parsing for arbitrary context-free grammar / J.Rekers,J.W.C.Koorn, 1990. - 9 p. - Текст : непосредственный.Groenink A.V. Mild context-sensitivity and tuple-based generalizations of context-free grammar / A.V.Groenink, 1996. - 22 p. - Текст : непосредственный.Опалева Э.А. Формальные грамматики и распознающие автоматы : Учеб. пособие / Э.А.Опалева,В.П.Самойленко, 1991. - 58 с. - Текст : непосредственный.
Asperti A. Categories,types and structures : монография / A. Asperti, G. Longo, 1991. - 306 p. - Текст : непосредственный.Зулкарнеев М.Ю. Разработка математических моделей и алгоритмов поиска ключевых слов в аудио-сообщениях : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. Ю. Зулкарнеев, 2006. - 23 с. - Текст : непосредственный.Чубинидзе К.А. Метод синтактико-семантических шаблонов и его применение в информационной технологии интерпретации текстов : специальность 05.25.05 "Информационные системы и процессы" : диссертация на соискание ученой степени канд. техн. наук / К. А. Чубинидзе, 2006. - 26 с. - Текст : непосредственный.Саломатина Н.В. Методы и программные средства выделения и численного оценивания вариативности языковых единиц : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Н. В. Саломатина, 2009. - 24 с. - Текст : непосредственный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Developments in language theory / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Computational processing of the portuguese language / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Computational linguistics and intelligent text processing / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.New developments in parsing technology / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Заболеева-Зотова А.В. Естественный язык в автоматизированных системах. Семантический анализ текстов / А. В. Заболеева-Зотова, 2002. - 227 с. - Текст : непосредственный.Journal on data semantics VI / SpringerLink (Online service), 2006 r=on-lineAdvances in natural language processing / SpringerLink (Online service), 2006 r=on-lineText, speech and dialogue / SpringerLink (Online service), 2006 r=on-lineSymbol grounding and beyond / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Journal on data semantics VII / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Natural language processing and information systems / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Показать все результатыЗаказ фрагмента документа ₽