Полное описание
Ануреев, И. С.
ГРНТИ УДК 16.31.21 81'322(04)
Рубрики: Компьютерная лингвистика
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/114)
Шифр в сводном ЭК: c17074379cfec7439e09a7876f1acb9f
Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Молодая информатика : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 2005. - 122 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный. Towards C# program verification: a three-level approach / В. А. Непомнящий [и др.], 2005. - 38 p. - Текст : непосредственный. Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный. На пути к верификации С-программ. Ч.2 Язык C-light-kernel и его аксиоматическая семантика / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2001. - 57 с. - Текст : непосредственный. Ануреев И.С. Язык Atoment: стандартная библиотека / И.С. Ануреев, 2010. - 31 с. - Текст : непосредственный. Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев, 1998. - 19 с. - Текст : непосредственный. Ануреев И.С. Язык ATOMENT: синтаксис и семантика / И. С. Ануреев, 2010. - 38 с. - Текст : непосредственный. Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И.С.Ануреев, 2002. - 29 с. - Текст : непосредственный. Ануреев И.С. Концептуальный базис трехуровневого метода верификации C# программ / И. С. Ануреев, 2013. - 42 с. - Текст : непосредственный. Ануреев И.С. Применение систем переписывания формул в автоматической верификации программ / И.С.Ануреев, 1998. - 47 с. - Текст : непосредственный. На пути к верификации С-программ / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2002. - 82 с. - Текст : непосредственный. Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный. Молодая информатика : сб. тр. аспирантов и молодых ученых / Ин-т систем информатики им. А. П. Ершова, 2006. - 122 с. - Текст : непосредственный. Ануреев И.С. USL-the language of natural state machines / И.С. Ануреев, 2004. - 25 p. - Текст : непосредственный. Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты 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 с. - Текст : непосредственный. 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. - Текст : электронный. 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. - Текст : электронный. Русанова О.А. Исследование и разработка методов анализа и оценки качества синтезированной устной речи : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени канд. техн. наук / О. А. Русанова, 2004. - 19 с. - Текст : непосредственный. Заболеева-Зотова А.В. Естественный язык в автоматизированных системах. Семантический анализ текстов / А. В. Заболеева-Зотова, 2002. - 227 с. - Текст : непосредственный. Journal on data semantics VI / SpringerLink (Online service), 2006 r=on-line Advances in natural language processing / SpringerLink (Online service), 2006 r=on-line Text, speech and dialogue / 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. - Текст : электронный. Text, speech and dialogue / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Показать все результаты Asperti A. Categories,types and structures : монография / A. Asperti, G. Longo, 1991. - 306 p. - Текст : непосредственный. New developments in parsing technology / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Journal on data semantics VI / SpringerLink (Online service), 2006 r=on-line Journal on data semantics VII / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Белоногов Г.Г. Компьютерная лингвистика и перспективные информационные технологии : монография / Г. Г. Белоногов, Ю. П. Калинин, А. А. Хорошилов, 2004. - 246 с. - Текст : непосредственный. Recent developments and applications of natural language processing / Ed. J. Peckham, 1989. - XIV,272 p. p. - Текст : непосредственный. Онтологии и тезаурусы: модели, инструменты, приложения : учебное пособие / Б. В. Добров, В. В. Иванов, Н. В. Лукашевич, В. Д. Соловьев, 2009. - 172 с. - Текст : непосредственный. Cimiano P. Ontology learning and population from text / P. Cimiano, 2006 r=on-line. - Текст : электронный. Computing attitude and affect in text: theory and applications / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Nugues P. An introduction to language processing with perl and prolog / P. Nugues, 2006 r=on-line. - Текст : электронный. Hausser R. A computational model of natural language communication / R. Hausser, 2006 r=on-line. - Текст : электронный. Natural language processing and text mining / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Grune D. Parsing techniques / D. Grune, C. Jacobs, 2008 r=on-line. - Текст : электронный. Синявский А.Л. Технология разработки лингвистического обеспечения / А. Л. Синявский, О. А. Холоденко, Н. Л. Яловенко ; Ред. А. С. Клещев, 1992. - 143 с. - Текст : непосредственный. Journal on data semantics X / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Dekker P. Cases,adverbs,situations and events / P. Dekker, 1996. - 20 p. - Текст : непосредственный. Dekker P. Scopes in discourse / P. Dekker, 1996. - 22 p. - Текст : непосредственный. Benthem J.van Tarskian variations.Dynamic parameters in classical semantics / J.van Benthem, G. Cepparello, 1994. - 27 p. - Текст : непосредственный. Metadata and semantics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Journal on data semantics II / SpringerLink (Online service), 2005 r=on-line Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
