Приложение
для AndroidПолное описание
Журнал
Theoretical Computer Science. - [Б. м. : б. и.]Периодичность . - ISSN 0304-3975. - Текст : непосредственный.
ГРНТИ + 50.05
Аннотация: Научный журнал. Статьи по исследованию математических, логических и формальных концепций и методоввычислений и разработке методологии вычисления для применения в области компьютинга. Журнал состоит из двух секций. Секция "Алгоритмы, автоматы, сложность и игры" посвящена исследованию алгоритмов и их сложности аналитическими, комбинаторными и вероятностными методами, включая области абстрактных сложностей, автоматов и теории языка, графических применений и измерения производительности систем с использованием статистических методов. Ее подсекция "Математические игры" включает, в частности, применение игр в таких областях, как сложность, теории графов и матроидов, сети, теория кодирования и др. Секция "Логика, семантика и теория программирования" посвящена методам проверки свойств программ или реализации формальных языков, семантике языков последовательного и параллельного программирования, формальным методам подхода к решению различных задач (способы перезаписи, абстрактный тип данных, автоматизированное доказательство теорем, новые логические исчисления и др.). Авторский указатель в конце каждого тома. Кумулированный указатель содержания 10-ти томов в т.т. 10, 20 и т.д.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): V2975)Записей номеров в Каталоге: 37