Design Implementation Symbolic Computation (38 results)

- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
US$ 9.24
US$ 16.71 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Dust Jacket. Lecture Notes in Computer Science 722; Ex-Library. Superficial scores and previous owner's sticker on the front cover. Ink stamp on half-title and title pages. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly g…rubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
US$ 23.16
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 383 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

- Softcover
Seller: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Good
US$ 46.84
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.96
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.96
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.96
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.96
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.65
US$ 20.71 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.77
US$ 20.71 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.83
US$ 20.71 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.84
US$ 20.71 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.

Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1993
- Softcover
Seller: Rarewaves.com USA, London, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 85.72
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1993 ed. This volume constitutes the proceedings of theInternational Symposium on Design and Implementation ofSymbolic Computation Systems (DISCO '93), held in Gmunden,Austria, in September 1993. The growing importance of systems for symbolic computationhas greatly influenced the decision of organizing… this thirdconference in the series: DISCO '93 focuses mainly on themost innovative methodological and technological aspects ofthe design and implementation of hardware and softwaresystems for symbolic and algebraic computation, automatedreasoning, geometric modeling and computation, and automaticprogramming. The general objective of DISCO '93 is topresent an up-to-date view of the field and to serve as aforum insymbolic computation for the scientific exchangeamong academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo andHong, the volume contains 28 contributions, carefullyselected by a highly competent international programcommittee from a total of 56 submissions.

- Softcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Very good
US$ 48.12
US$ 57.56 shippingShips from Germany to U.S.A.Quantity: 1 available
kartoniert kartoniert. Condition: Gut. XII, 283 Seiten, Lecture Notes in Computer Science, Band 429. Zust: Ehemaliges Bibliotheksexemplar, Text sauber. Mit Schildchen auf dem Buchrücken und Stempeln auf dem Innentitel und Impressum. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus un…serem 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: 564.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 71.28 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - DISCO 92 was held on the Newton Park campus of Bath Collegeof Higher Education, England, April 13-15, 1992. Beside theformal lectures dedicated to design and implementationissues of computer algebra, there were several softwaredemonstrations and an… opportunity for system designers tocompare systems.This volume presents the proceedings of the conference. Itcontains 18 papers on a variety of design and implementationissues. One general theme which clearly emerges is the needfor interconnections between systems, as no one systemsincorporates all the facilities that users want. Variouseffortsare being made to design such links, but generallyin limited contexts (suchas the Maple project or the Possoproject).

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 71.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses ma…inly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The generalobjective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 72.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invited contributions…surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 72.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of theInternational Symposium on Design and Implementation ofSymbolic Computation Systems (DISCO '93), held in GmundenAustria, in September 1993.The growing importance of systems for symbolic computationhas g…reatly influenced the decision of organizing this thirdconference in the series: DISCO '93 focuses mainly on themost innovative methodological and technological aspects ofthe design and implementation of hardware and softwaresystems for symbolic and algebraic computation, automatedreasoning, geometric modeling and computation, and automaticprogramming. The general objective of DISCO '93 is topresent an up-to-date view of the field and to serve as aforum insymbolic computation for the scientific exchangeamong academic, industrial and user communities.Besides invited talks by Buchberger, Monagan, Omodeo andHong, the volume contains 28 contributions, carefullyselected by a highly competent international programcommittee from a total of 56 submissions.

- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.70
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Design and Implementation of Symbolic Computation Systems | International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings | Alfonso Miola | Taschenbuch | xii | Englisch | 1990 | Springer | EAN 9783540525318 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17…, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.70
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Design and Implementation of Symbolic Computation Systems | International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings | John Fitch | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540572725 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 691…21 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.70
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Design and Implementation of Symbolic Computation Systems | International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings | Jacques Calmet (u. a.) | Taschenbuch | ix | Englisch | 1996 | Springer | EAN 9783540616979 | Verantwortliche Person für die EU: Springer Verlag GmbH…, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.70
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Design and Implementation of Symbolic Computation Systems | International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings | Alfonso Miola | Taschenbuch | xii | Englisch | 1993 | Springer | EAN 9783540572350 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergart…enstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 72.93
US$ 86.91 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1993rd.

- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 139.10
US$ 33.43 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 49.57
US$ 121.11 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 268 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 177.65
US$ 13.37 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 268 pages. 9.60x6.70x0.70 inches. In Stock.

- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 195.56
US$ 33.43 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.

Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1996 1996
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 26.53 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invite…d contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. 376 pp. Englisch.

Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1993 1993
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 26.53 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -DISCO 92 was held on the Newton Park campus of Bath Collegeof Higher Education, England, April 13-15, 1992. Beside theformal lectures dedicated to design and implementationissues of computer algebra, there were several softwaredemon…strations and an opportunity for system designers tocompare systems.This volume presents the proceedings of the conference. Itcontains 18 papers on a variety of design and implementationissues. One general theme which clearly emerges is the needfor interconnections between systems, as no one systemsincorporates all the facilities that users want. Variouseffortsare being made to design such links, but generallyin limited contexts (suchas the Maple project or the Possoproject). 232 pp. Englisch.

Language: English
Published by Springer Berlin Heidelberg, Springer Mär 1990 1990
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 26.53 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISC…O '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The generalobjective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation. 300 pp. Englisch.

- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.46
US$ 56.51 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 96, held in Karlsruhe, Germany, in September 1996.The volume includ…es four invited contributions surve.