Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.565(063)<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/T37-841735
Заглавие : Term rewriting and applications [Electronic resource] : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc.
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3467
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-35403-2033-3: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.565(063)
Предметные рубрики: Теория вычислимости-- Съезды и конференции
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/T37-008995
Заглавие : Term rewriting and applications [Electronic resource] : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4098
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54036-835-9: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.565(063)
Предметные рубрики: Теория вычислимости-- Съезды и конференции
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 004.42(063)/T37-067185
Заглавие : Term rewriting and applications [Electronic resource] : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4533
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73449-9: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.565(063)
Предметные рубрики: Теория вычислимости-- Съезды и конференции
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания : 510.565(063)/R48
Заглавие : Rewriting techniques and applications [Electronic resource] : 20th international conference, RTA 2009 Brasi­lia, Brazil, June 29 - July 1, 2009 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5595
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-02348-4: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.565(063)
Ключевые слова (''Своб.индексиров.''): системы переписывания термов--теория вычислимости--формальные грамматики--конференции
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)