Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   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
4.2 out of 5 stars with 35 reviews
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,
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed...

By Catuscia Palamidessi
ean: 9783540678977, isbn: 3540678972,
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, ...

By Springer
mpn: Illustrations, ean: 9783540678984, isbn: 3540678980,
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with th...

By Thomas Reps
mpn: biography, ean: 9783540713159, isbn: 3540713158,
Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This Festschrift volume, published to honor him on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and r...

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.