• ВХОД

    •  

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

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

    ГРНТИ
    50.05

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

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