Сводный каталог книг

[Рукопись] / Д.Э. Хопкрофт, Раджив. Мотвани, Джеффри. Ульман. - 2-е изд. - Москва : Вильямс, 2002. - 528 с. : ил. - (Теория вычислений). - Библиогр. в конце глав. - Предм. указ.: с. 523-527. - ISBN 5-8459-0261-4 : 244.40 р.

ГРНТИ

50.05.09

28.25

ББК З-815

Аннотация: Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и сопровождается многочисленными примерами, а также задачами для самостоятельного решения. Книга будет полезна читателям различных категорий - студентам, аспирантам, научным сотрудникам, преподавателям высших учебных заведений, а также всем, кто интересуется математическими основами современной вычислительной техники.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Мотвани, Раджив; Ульман, Джеффри
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / А. Д. Закревский ; Нац. акад. наук Беларуси, Объед. ин-т проблем информатики. - 2-е изд., стер. - Москва : Едиториал УРСС, 2003. - 200 с. : ил. - Библиогр.: с. 187-193. - Предм. указ.: с. 194-200. - ISBN 5-354-00501-9 : 117.50 р.

УДК

510.6^V3

ББК З965.7-01с512 + З815

Аннотация: Параллелизм и асинхронность - характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваютсся задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : нелитературный текст / Г. Паун, Г. Розенберг, А. Саломаа ; Пер. с англ. Д.С. Ананичева, И.С. Киселевой и О.Б. Финогеновой; под. ред. М.В. Волкова. - Москва : Мир, 2004. - 528 с. : ил. - Библиогр.: с. 495-516. - Предм. указ.: с. 520-524. - Пер. изд. : DNA computing new computing paradigms / G. Paun, G. Rozenberg. - ISBN 5-03-003480-3 : 396.00 р.

УДК

575

ББК З-815

Аннотация: Первая в мировой литературе книга по ДНК-компьютерам, написанная известными специалистами (Румыния, Нидерланды, Финляндия); последний из авторов знаком читателям по переводам его "Жемчужин теории формальных языков" ("Мир", 1986), "Криптографии с открытым ключом" ("Мир", 1996). Авторы раскрывают новое перспективное направление на стыке компьютерных наук и молекулярной биологии - двух дисциплин, претендующих на право считаться главной наукой XXI века. В начале книги на доступном уровне изложены основы методов генной инженерии, обсуждены экспериментальные и теоретические основы ДНК-вычислений. Остальная часть книги носит более специальный характер и содержит новые результаты по теории формальных языков применительно к реальным процессам, происходящим с молекулами ДНК в живых клетках. Для специалистов по прикладной математике, информатике и программированию, для молекулярных биологов и биохимиков, для аспирантов и студентов университетов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Розенберг, Гжегорж; Саломаа, Арто; Волков, М.В. \ред.\; Ананичев, Д.С. \пер.\; Paun, G. ; Rozenberg, G.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : введедие в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию: учебник;: пер. с нем. / Ю. Громкович. - 3-е изд. - Санкт-Петербург : БХВ-Петербург, 2010. - 325 с. : ил. - (Учебная литература для вузов). - Предм. указ.: с. 321-325. - Библиогр.: с. 317-319. - Пер. изд. : Theoretische Informatik / J. Hromkovic. - ISBN 978-5-9775-0406-5 : 259.00 р.

ГРНТИ	50.01
УДК	004(075.8)^V3

ББК З 973.2-01я73 + З 81я73

Аннотация: В книге изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач, рандомизация, теория связи и криптографические методы. Книга известного ученого вышла на 4-х яхыках (немецкий, английский, французский, японский), в ближайшее время планируется издание еще на 3-х языках. На русском языке издается впервые.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Hromkovic, J.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)