Полное описание
> Structural theory of automata, semigroups, and universal algebra : proceedings of the NATO advanced study institute on structural theory of automata, semigroups and universal algebra Montreal, Quebec, Canada 7-18 July 2003 / SpringerLink (Online service) ; ed. V. B. Kudryavtsev [et al.]. - Dordrecht : Springer, 2005. - on-line. - (NATO science series. Ser. II, Mathematics, physics and chemistry, ISSN 1568-2609 ; 207). - URL: http://dx.doi.org/10.1007/1-4020-3817-8. - ISBN 1-4020-3817-8. - Текст : электронный.
| ГРНТИ | УДК | |
| 28.25 | 519.713(063) | |
| 27.17.15 | 512.53(062) | |
| 27.17.23 | 512.57(062) |
Рубрики:
Автоматов теория -- Съезды и конференции
Полугруппы (матем.) -- Съезды и конференции
Алгебры универсальные -- Съезды и конференции
Доп. точки доступа:
Kudryavtsev, V.B.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/1-4020-3817-8
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 519.713(063)/S89-872166)>
Шифр в сводном ЭК: 469c58372b02400d4642cbc0937b749f
NATO science series. Sub-ser.II, Mathematics, physics and chemistry. Vol. 207 : Structural theory of automata, semigroups, and universal algebra : proc. of the NATO advanced study inst. on structural theory of automata, semigroups a. universal algebra, Montreal, Quebec, Canada, 7-18 July, 2003 / Ed.: V.B.Kudryavtsev, I.G.Rosenberg, 2005. - XXII,434 p. - Текст : непосредственный.Structural theory of automata, semigroups, and universal algebra : proceedings of the NATO advanced study institute on structural theory of automata, semigroups and universal algebra Montreal, Quebec, Canada 7-18 July 2003 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Superdense QCD matter and compact stars / SpringerLink (Online service), 2006 r=on-lineAdvanced radiation sources and applications / SpringerLink (Online service), 2006 r=on-lineBilinear integrable systems: from classical to quantum, continuous to discrete / SpringerLink (Online service), 2006 r=on-lineString theory: from gauge interactions to cosmology / SpringerLink (Online service), 2006 r=on-lineElectron crystallography / SpringerLink (Online service), 2006 r=on-lineNon-linear dynamics and fundamental interactions / SpringerLink (Online service), 2006 r=on-lineFrontiers in planar lightwave circuit technology / SpringerLink (Online service), 2006 r=on-lineSelf-assemble, patttern formation and growth phenomena in nano-systems / SpringerLink (Online service), 2006 r=on-lineApplications of random matrices in physics / SpringerLink (Online service), 2006 r=on-lineSprites, elves and intense lightning discharges / SpringerLink (Online service), 2006 r=on-lineSmart materials for ranging systems / SpringerLink (Online service), 2006 r=on-lineTheory of quantum transport in metallic and hybrid nanostructures / SpringerLink (Online service), 2006 r=on-lineDynamics of complex interconnected systems: networks and bioprocesses / SpringerLink (Online service), 2006 r=on-lineOptics of biological particles / SpringerLink (Online service), 2007 r=on-linePhysics for medical imaging applications / SpringerLink (Online service), 2007 r=on-lineElectron correlation in new materials and nanosystems / SpringerLink (Online service), 2007 r=on-lineSoft matter under exogenic impacts / SpringerLink (Online service), 2007 r=on-lineEvolving methods for macromolecular crystallography. The structural path to the understanding of the mechanism of the action of CBRN agents / SpringerLink (Online service), 2007 r=on-lineNATO science series. Sub-ser.II, Mathematics, physics and chemistry. Vol. 237 : Equidistribution in number theory, an introduction : proc. of the NATO advanced study inst. on equidistribution in number theory, 11-22 Jul. 2005, Montreal / NATO advanced study institute on equidistribution in number theory (2005; Montreal), 2007. - XV, 345 p. - Текст : непосредственный.Photopolarimetry in remote sensing / SpringerLink (Online service), 2005 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. - Текст : электронный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.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. - Текст : непосредственный.Снетков О.А. Аппроксимация полугрупп гомоморфизмами специального вида : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Снетков, 2008. - 14 с. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.
Показать все результатыAutomata,Languages and programming : материал технической информации / Ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный.Language and automata theory and applications / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Implementation and application of automata / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009: proceedings, part 1 / ed. S. Albers, 2009 r=on-line. - Текст : электронный.Automata,languages and programming : 21st intern.colloquium,ICALP'94,Jerusalem,July 11-14 1994:Proc. / ICALP'94, 1994. - XIII,644 p. p. - Текст : непосредственный.Finite-State methods and natural language processing : 5th International workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005: revised papers / ed. A. Yli-Jyra, 2006 r=on-line.Automata, languages and programming : 37th International colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010: proceedings: part 2 / ed. S. Abramsky, 2010 r=on-line.Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010: proceedings / ed. A. Dediu, 2010 r=on-line. - Текст : электронный.Finite-State methods and natural language processing : 8th international workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009: revised selected papers / ed. A. Yli-Jyra, 2010 r=on-line. - Текст : электронный.Automata, languages and programming : Proc. of the 18th intern. colloquium on automata .. July 1991, Madrid / ICALP'91, 1991. - 763 p. - Текст : непосредственный.Cellular automata : 7th International conference on cellular automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006: proceedings / ed. Y. El Yacoubi [et al.], 2006 r=on-line. - Текст : электронный.Semigroups,formal languages and groups : Proc.of the NATO advanced study inst.on semigroups,formal languages and groups,York,7-21 Aug.1993 / Ed. J. Fountain, 1995. - IX,428 p. p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
![]() | ![]() |
| Лицевая сторона карточки | Обратная сторона карточки |
![]() | ![]() |
Просмотр издания



