Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Rewriting Techniques and Applications

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

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

Tobias Nipkow

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 02092636

Nakladnici Springer, Berlin, studeni 1997

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech... Cijeli opis

Libristo kod: 02092636

125 b

51.61 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Schneider - Arzneidrogen Theodor Dingermann

Meki uvez

56.56 €

Genfer Novellen Rudolf Töpffer

Meki uvez

11.71 €

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

Meki uvez

40.09 €

La herencia de Darwin : la evolución en nuestra visión del mundo Chris Buskes

Meki uvez

33.83 €

Saisissants pop-up - Océan (NE) David Hawcock

Tvrdi uvez

16.05 €

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.