Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Rewriting Techniques and Applications

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

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

Tobias Nipkow

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 02092636

Uitgeverij Springer, Berlin, november 1997

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech... Volledige beschrijving

Libristo-code: 02092636

125 b

51.62 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Schneider - Arzneidrogen Theodor Dingermann

Gebonden (paperback)

56.57 €

Genfer Novellen Rudolf Töpffer

Gebonden (paperback)

11.71 €

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

Gebonden (paperback)

40.10 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Rewriting Techniques and Applications

Auteur Tobias Nipkow

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1998

Aantal pagina's 346

EAN 9783540643012

ISBN 354064301X

Libristo-code 02092636

Uitgeverij Springer, Berlin

Gewicht 464

Afmetingen 156 x 234 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger