9783540159834 - eurocal '85. european conference on computer algebra. linz, austria, april 1-3, 1985. proceedings: volume 1: invited lectures (lecture notes in computer science, 203, band 203) von buchberger, bruno (3 Ergebnisse)
- Softcover
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USAMunster & Company LLC, ABAA/ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 27,21
EUR 1,69 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Springer-Verlag, 1985. Cover lightly rubbed/bumped/soiled, previous bookseller price sticker on front flap; text block edges age-toned, lightly foxed/soiled; interior age- toned throughout, interior flaps/Title page/endpapers very lightly foxed; binding tight; cover, edges, and interior intact and clean except as…noted. paperback. Good.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,05
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,39
EUR 61,88 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in engineering and the sciences.- A preview of the next IBM-PC version of muMATH.- Current developments in LISP.- Computer algebra as a research tool in physics.-…Symbolic computation and chemistry.- Computational geometry: Selected algorithms and paradigms.- Algebraic and symbolic computation in digital signal processing, coding and cryptography.- Computer algebra and practical analysis.- A new arithmetic for scientific computation with exact evaluation of expressions.- Algorithmic methods in automatic programming.- Proof theory and the synthesis of programs: Potential and limitations.- Constructions: A higher order proof system for mechanizing mathematics.- Scientific computation: The integration of symbolic, numeric and graphic computation.
