• ВХОД
  •  

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

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

    ГРНТИ
    50.05

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

    publisher's website

    journal link


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

    Записей номеров в Каталоге: 37
    ГодТомНомера
    11/22Compl.
    1999210  
    211   
    212   
    213/214   
    215   
    216   
    217  
    218  
    219   
    220  
    221   
    222   
    223   
    224   
    225   
    226   
    227   
    228   
    229