Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Treinen R. — Rewriting Techniques and Applications, 20 conf., RTA 2009
Treinen R. — Rewriting Techniques and Applications, 20 conf., RTA 2009



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Rewriting Techniques and Applications, 20 conf., RTA 2009

Автор: Treinen R.

Аннотация:

This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Bras?lia, Brazil, during June 29 - July 1, 2009.

The 22 revised full papers and four system descriptions presented were carefully reviewed and selected from 59 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.



Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 2009

Количество страниц: 400

Добавлена в каталог: 28.12.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте