Полное описание
> Bel-Enguix, G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer , 2008. - on-line. - (Studies in computational intelligence, ISSN 1860-949X ; 113). - URL: http://dx.doi.org/10.1007/978-3-540-78291-9 . - ISBN 978-3-540-78291-9. - Текст : электронный.
ГРНТИ УДК 16.31.31 510.567
Рубрики: Формальные языки
Доп. точки доступа: Jimenez-Lopez, M.D.
Martin-Vide, C.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-78291-9
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 81'322/B41-552317)>
Шифр в сводном ЭК: 141704822a9be30ae69fec78f27ffcfb
Intelligent paradigms for assistive and preventive healthcare / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Applied pattern recognition / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Computational intelligence paradigms / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Knowledge-driven computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Kacprzyk J. Advances in differential evolution / J. Kacprzyk, U. K. Chakraborty, 2008 r=on-line. - Текст : электронный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. The puzzle of granular computing / B. Apolloni, S. Bassis, D. Malchiodi, W. Pedrycz, 2008 r=on-line Foundations of computational intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Silva C. Inductive inference for large scale text classification / C. Silva, B. Ribeiro, 2010 r=on-line. - Текст : электронный. Evolutionary image analysis and signal processing / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Intelligent systems and technologies / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Information hiding and applications / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Ogiela L. Cognitive techniques in visual data interpretation / L. Ogiela, M. Ogiela, 2009 r=on-line. - Текст : электронный. New directions in intelligent interactive multimedia systems and services - 2 / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Intelligent systems: from theory to practice / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Applied Computing and Information Technology / Ed. R. Y. Lee, 2014 r=on-line. - Текст : электронный. Computational Intelligence in Digital Forensics: Forensic Investigation and Applications / Ed. A. K. Muda, 2014 r=on-line. - Текст : электронный. Показать все результаты Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный. Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный. Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line. Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 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 с. - Текст : непосредственный. Показать все результаты Просмотр издания