Полное описание

Журнал
Theoretical Computer Science. - [Б. м. : б. и.]Периодичность . - ISSN 0304-3975. - Текст : непосредственный.

ГРНТИ
50.05

Аннотация: Научный журнал. Статьи по исследованию математических, логических и формальных концепций и методоввычислений и разработке методологии вычисления для применения в области компьютинга. Журнал состоит из двух секций. Секция "Алгоритмы, автоматы, сложность и игры" посвящена исследованию алгоритмов и их сложности аналитическими, комбинаторными и вероятностными методами, включая области абстрактных сложностей, автоматов и теории языка, графических применений и измерения производительности систем с использованием статистических методов. Ее подсекция "Математические игры" включает, в частности, применение игр в таких областях, как сложность, теории графов и матроидов, сети, теория кодирования и др. Секция "Логика, семантика и теория программирования" посвящена методам проверки свойств программ или реализации формальных языков, семантике языков последовательного и параллельного программирования, формальным методам подхода к решению различных задач (способы перезаписи, абстрактный тип данных, автоматизированное доказательство теорем, новые логические исчисления и др.). Авторский указатель в конце каждого тома. Кумулированный указатель содержания 10-ти томов в т.т. 10, 20 и т.д.

publisher's website

journal link

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): V2975)

Записей номеров в Каталоге: 37

Год Том Номера 1 1/2 2 Compl. 1999 210 №   №   211   № №     212   № №     213/214       № 215   № №     216   № №     217 №   №   218 №   №   219   № №     220 №   №   221   № №     222   № №     223   № №     224   № №     225   № №     226   № №     227   № №     228   № №     229   № №