Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092636
Price: 61.19 EUR
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783540643012

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings

Tobias Nipkow

Език

Английски език

Книга С меки корици

Код Либристо: 02092636

Издателство Springer, Berlin, ноември 1997

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech... Цялото описание

Код Либристо: 02092636

148 b

61.19 €

119.68 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Schneider - Arzneidrogen Theodor Dingermann

С меки корици

66.68 € 130.42 лв

Genfer Novellen Rudolf Töpffer

С меки корици

23.31 € 45.60 лв

Ersatzgesetzgeber oder nicht? Die problematische Stellung des Bundesverfassungsgerichts im politischen System der Bundesrepublik Deutschland Stefan Wagner

С меки корици

59.90 € 117.15 лв

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.