Anbieter: HALCYON BOOKS, LONDON, Vereinigtes Königreich
EUR 11,31
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. ALL ITEMS ARE DISPATCHED FROM THE UK WITHIN 48 HOURS ( BOOKS ORDERED OVER THE WEEKEND DISPATCHED ON MONDAY) ALL OVERSEAS ORDERS SENT BY TRACKABLE AIR MAIL. IF YOU ARE LOCATED OUTSIDE THE UK PLEASE ASK US FOR A POSTAGE QUOTE FOR MULTI VOLUME SETS BEFORE ORDERING.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 24,44
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1200grams, ISBN:9783540654667.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Hardcover. Zustand: Wie neu. Basel, Birkhäuser (1998). gr.8°. Some figs. 288 p. Hardbound. Progress in Computer Science and Applied Logic, 15.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Hardcover. Zustand: Sehr gut. Berlin, Springer (2003). gr.8°. 1 CD-ROM. XIV, 637 p. Hardbound. (small stamp on edge, otherwise in very good condition).
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
EUR 59,48
Anzahl: 1 verfügbar
In den WarenkorbCloth/Laminated Boards. Zustand: Very Good. Type: Book N.B. Small gold label to ffep.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,05
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 300 pages. 9.60x6.69x0.68 inches. In Stock.
Sprache: Englisch
Verlag: Berlin, Heidelberg, New York: Springer-Verlag, 2003
ISBN 10: 3540654666 ISBN 13: 9783540654667
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Zustand: Sehr gut. XX, 637 Seiten, Zust: Gutes Exemplar. Mit CD-ROM. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1100 gebundene Ausgabe gebundene Ausgabe.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 90,21
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 92,64
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Taschenbuch. Zustand: Neu. Symbolic Rewriting Techniques | Manuel Bronstein (u. a.) | Taschenbuch | Progress in Computer Science and Applied Logic | vii | Englisch | 2012 | Birkhäuser | EAN 9783034897792 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 72,89
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,38
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: New York. Springer-Verlag., 1993
ISBN 10: 0387979719 ISBN 13: 9780387979717
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Karton Karton. Zustand: Sehr gut. 574 Seiten, mit Abbildungen, Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1020.
EUR 98,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 138,40
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 288 pages. 9.75x6.50x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Berlin|Springer, Basel, 2003
ISBN 10: 3764359013 ISBN 13: 9783764359010
Anbieter: moluna, Greven, Deutschland
EUR 105,66
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 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 Kn.
EUR 153,51
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 662 Illus.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 162,73
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, Basel, 2003
ISBN 10: 3764359013 ISBN 13: 9783764359010
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - 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.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2012
ISBN 10: 3642629881 ISBN 13: 9783642629884
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Two ideas lie gleaming on the jeweler's velvet. The first is the calculus, the sec ond, the algorithm. The calculus and the rich body of mathematical analysis to which it gave rise made modern science possible; but it has been the algorithm that has made possible the modern world. -David Berlinski, The Advent of the Algorithm First there was the concept of integers, then there were symbols for integers: I, II, III, 1111, fttt (what might be called a sticks and stones representation); I, II, III, IV, V (Roman numerals); 1, 2, 3, 4, 5 (Arabic numerals), etc. Then there were other concepts with symbols for them and algorithms (sometimes) for ma nipulating the new symbols. Then came collections of mathematical knowledge (tables of mathematical computations, theorems of general results). Soon after algorithms came devices that provided assistancefor carryingout computations. Then mathematical knowledge was organized and structured into several related concepts (and symbols): logic, algebra, analysis, topology, algebraic geometry, number theory, combinatorics, etc. This organization and abstraction lead to new algorithms and new fields like universal algebra. But always our symbol systems reflected and influenced our thinking, our concepts, and our algorithms.