Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Symbolic Rewriting Techniques

Name: Symbolic Rewriting Techniques
Brand: Springer Basel
SKU: 02116424
Price: 1182 CZK
Availability: InStock
Author: Manuel Bronstein
ISBN: 9783034897792

Manuel Bronstein

Johannes Grabmeier

Volker Weispfenning

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02116424

Nakladatelství Springer Basel, říjen 2012

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and a... Celý popis

Libristo kód: 02116424

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Herr der Ringe. Die Gefährten. 2 MP3-CDs John Ronald Reuel Tolkien

Digital

823 Kč

Auszuge aus Ammianus Marcellinus D. Coste

Brožovaná

409 Kč

Grunes Licht fur die Schiene? Untersuchung des Nachhaltigkeitspotentials des Schienenguterverkehrs und dessen Auswirkungen auf den Modal Split Maria Tebbe

Brožovaná

491 Kč

HISTORIAS SOBRENATURALES Benson

Brožovaná

822 Kč

Die Ziele der Bankenaufsicht in der Bundesrepublik Deutschland. Thomas Niethammer

Brožovaná

1 422 Kč

Zirkuslektionen Monika Hannawacker

Brožovaná

340 Kč

Trottoirs du crépuscule Karen Campbell

Brožovaná

643 Kč

4 Frogs (4 žabky) Hra/Hračka

Hra

360 Kč

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, the Buchberger algorithm for Gröbner bases, the Ritt-Wu characteristic set method for ordinary differential equations, and the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication.