Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный.Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный.Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 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. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный.Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный.Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный.transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный.Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный.Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный.Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный.Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный.Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный.
Показать все результаты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-lineAdvances in natural language processing / SpringerLink (Online service), 2006 r=on-lineText, speech and dialogue / SpringerLink (Online service), 2006 r=on-lineJournal 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-lineJournal 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
Показать все результаты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. - Текст : электронный.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. - Текст : электронный.Заболеева-Зотова А.В. Естественный язык в автоматизированных системах. Семантический анализ текстов / А. В. Заболеева-Зотова, 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. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Белоногов Г.Г. Компьютерная лингвистика и перспективные информационные технологии : монография / Г. Г. Белоногов, Ю. П. Калинин, А. А. Хорошилов, 2004. - 246 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽