pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: REWRITING TECHNIQUES AND APPLICATIONS
19TH INTERNATIONAL CONFERENCE, RTA 2008 HAGENBERG, AUSTRIA, JULY 15-17, 2008 - PROCEEDINGS
By: Andrei Voronkov (Editor)
Format: Paperback

List price: £81.00


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540705880
ISBN 13: 9783540705888
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 4 July, 2008
Series: Lecture Notes in Computer Science No. 5117
Pages: 470
Description: Presents the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. This book includes papers that cover research on various aspects of rewriting including areas such as applications and foundational issues.
Synopsis: This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
AUTOMATED DEDUCTION - CADE-18 (PB)
COMPUTER SCIENCE - THEORY AND APPLICATIONS (PB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
HANDBOOK OF AUTOMATED REASONING (HB)
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE , AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
LOGIC PROGRAMMING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
LOGIC PROGRAMMING AND AUTOMATED REASONING (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PROGRAMMING LOGICS (PB)

TOP SELLERS IN THIS CATEGORY
Programming in Lua, Fourth Edition (Paperback / softback)
Lua.Org
Our Price : £31.46
more details
Learning Java Through Games (Paperback)
Taylor & Francis Inc
Our Price : £76.49
more details
PROLOG Programming for Artificial Intelligence (Paperback)
Pearson Education (US)
Our Price : £65.95
more details
Objects First with Java: A Practical Introduction Using BlueJ (Mixed media product)
Pearson Education Limited
Our Price : £69.81
more details
Effective Java (Paperback)
Pearson Education (US)
Our Price : £37.39
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 programming languages


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket