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   Compiler Design

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)


Huge Savings Item! Save 12% on the Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science) by Springer at EMS Linux. MPN: Illustrations. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba,


Product Description

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.

Additional Information

Manufacturer:Springer
Part Number:Illustrations
Publisher:Springer
Studio:Springer
MPN:Illustrations
EAN:9783540643012
Item Weight:1.11 pounds
Item Size:0.82 x 9.25 x 9.25 inches
Package Weight:1.05 pounds
Package Size:6.1 x 0.7 x 0.7 inches

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)

Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$96.82
You Save: 11%


Quantity:  

 


View More In Compiler Design.

 


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 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 A Cortesi
ean: 9783540664598, isbn: 3540664599,

By Catuscia Palamidessi
ean: 9783540678977, isbn: 3540678972,

By Springer
mpn: Illustrations, ean: 9783540678984, isbn: 3540678980,

By Thomas Reps
mpn: biography, ean: 9783540713159, isbn: 3540713158,

By Wehmeyer Lars Marwedel Peter
mpn: biography, ean: 9789048172009, isbn: 9048172004,
Speed improvements in memory systems have not kept pace with the speed improvements of processors, leading to embedded systems whose performance is limited by the memory. This book presents design techniques for fast, energy-efficient and timing-pred...

By Wiley

By Brand: Springer
ean: 9780792393184, isbn: 079239318X,
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great practical rewards. There is a tremendous investment in existing sequential programs, and scientists ...

By Manisha Verma Peter Marwedel
ean: 9781850757764, isbn: 1402058969,
This book proposes novel memory hierarchies and software optimization techniques for the optimal utilization of memory hierarchies. It presents a wide range of optimizations, progressively increasing in the complexity of analysis and of memory hierar...

By Tommy M McGuire
ean: 9781441935885, isbn: 1441935886,
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group ...

By Liem Clifford
ean: 9781441951823, isbn: 1441951822,
Embedded core processors are becoming a vital part of today's system-on-a-chip in the growing areas of telecommunications, multimedia and consumer electronics. This is mainly in response to a need to track evolving standards with the flexibility of e...



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