Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Compilers

Advances in the Design of Symbolic Computation Systems (Texts & Monographs in Symbolic Computation)


Mega Sale! Save 21% on the Advances in the Design of Symbolic Computation Systems (Texts & Monographs in Symbolic Computation) by Brand: Springer at EMS Linux. MPN: 4 black & white illustrations, biography. Hurry! Limited time offer. Offer valid only while supplies last. New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating


Product Description

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:4 black & white illustrations, biography
Publisher:Springer
Studio:Springer
MPN:4 black & white illustrations, biography
EAN:9783211828441
Item Weight:0.86 pounds
Item Size:0.63 x 9.25 x 9.25 inches
Package Weight:0.8 pounds
Package Size:6.1 x 0.5 x 0.5 inches

Advances in the Design of Symbolic Computation Systems (Texts & Monographs in Symbolic Computation) by Brand: Springer

Buy Now:
Advances in the Design of Symbolic Computation Systems (Texts & Monographs in Symbolic Computation)

Brand: Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$169.00
$133.98
You Save: 21%


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Brand: Springer
ean: 9780792394570, isbn: 0792394577,

By Brand: Springer
ean: 9780792373155, isbn: 0792373154,

By Douglas Bates Jos Pinheiro
mpn: 6 black & white illustrations, biography, ean: 9781475781441, isbn: 147578144X,

By Michele Marchesi
mpn: illustrations, ean: 9783540402152, isbn: 3540402152,

By Brand: Springer
ean: 9783540009603, isbn: 3540009604,

By Robert Robson
ean: 9780387988573, isbn: 0387988572,

By Dragos Chirila
mpn: 5 black & white illustrations, 10 colour, ean: 9783642370083, isbn: 364237008X,

By Schliebusch Oliver Meyr Heinrich Leupers Rainer
ean: 9789048174287, isbn: 9048174287,

By Springer
mpn: biography, ean: 9789401037525, isbn: 9401037523,

By Brand: Springer
ean: 9783540311874, isbn: 3540311874,



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.