【预订】Rewriting Techniques and Applications 9783540221531 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540221531 Author 作者 Oostrom Format 版本 平装-胶订 Pages Number 页数 315页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-05-24 Language 语种 英语
¥608.00
【预订】Rewriting Techniques and Applications 9783540705888 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540705888 Author 作者 Andrei Voronkov Format 版本 平装-胶订 Pages Number 页数 457页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-07-04 Language 语种 英语 Book Contents 内容简介 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.
¥608.00
【预订】Rewriting Techniques and Applications 9783540421177 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540421177 Author 作者 Middeldorp Format 版本 平装-胶订 Pages Number 页数 368页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-05-09 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.The 23 revised full papers presented together with two system deions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
¥608.00
【预订】Rewriting Techniques and Applications 9783540643012 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540643012 Author 作者 Nipkow Format 版本 平装-胶订 Pages Number 页数 346页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-11 Language 语种 英语 Book Contents 内容简介 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.
¥608.00
【预订】Rewriting Techniques and Applications 9783540439165 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540439165 Author 作者 Tison Format 版本 平装-胶订 Pages Number 页数 392页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-07-10 Language 语种 英语 Book Contents 内容简介 These are the the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.
¥608.00
【预订】Rewriting Techniques and Applications 9783540629504 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540629504 Author 作者 Comon Format 版本 平装-胶订 Pages Number 页数 348页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-05-14 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system deions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.
¥608.00
【预订】Rewriting Techniques and Applications 9783540662013 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540662013 Author 作者 rendran Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-06-16 Language 语种 英语
¥608.00
【预订】Rewriting Techniques and Applications 9783540402541 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540402541 Author 作者 Nieuwenhuis Format 版本 平装-胶订 Pages Number 页数 518页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-05-27 Language 语种 英语
¥608.00
【预订】Rewriting Techniques and Applications 9783540677789 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540677789 Author 作者 Bachmair Format 版本 平装-胶订 Pages Number 页数 282页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-06-28 Language 语种 英语
¥608.00
【预订】Rewriting Techniques and Applications 9783642023477 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642023477 Author 作者 Ralf Treinen Format 版本 平装-胶订 Pages Number 页数 391页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-06-09 Shipping Weight 商品重量 617g Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. This work covers research on various aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks and semantics.
¥608.00
海外直订Rewriting Techniques and Applications: 10th Internationa
¥553.00
海外直订Rewriting Techniques and Applications: 15th Internationa
¥553.00
预订 Rewriting Techniques and Applications: 11th International 【全球购】进口原版图书，一般5-8周左右到国内
¥641.00
预订 Rewriting Techniques and Applications: 15th International 【全球购】进口原版图书，一般5-8周左右到国内
¥643.00
预订 Rewriting Techniques and Applications: 20th International 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Rewriting Techniques and Applications: 14th Internationa
¥553.00
预订 Rewriting Techniques and Applications: 4th International 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
预订 Rewriting Techniques and Applications: 12th International 【全球购】进口原版图书，一般5-8周左右到国内
¥645.00
海外直订Rewriting Techniques and Applications: 12th Internationa
¥553.00
3-6周达 Rewriting Techniques and Applications: 19th Internatio 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Rewriting Techniques and Applications: Bordeaux, France,
¥447.00
海外直订Rewriting Techniques and Applications: 11th Internationa
¥553.00
海外直订Rewriting Techniques and Applications: 6th International
¥553.00
海外直订Rewriting Techniques and Applications: 8th International
¥553.00
预订 Rewriting Techniques and Applications: 13th International 【全球购】进口原版图书，一般5-8周左右到国内
¥646.00
海外直订Rewriting Techniques and Applications: 20th Internationa
¥553.00
海外直订Rewriting Techniques and Applications: 19th Internationa
¥553.00
海外直订Rewriting Techniques and Applications: 13th Internationa
¥553.00
海外直订Rewriting Techniques and Applications: 3rd International
¥553.00
海外直订Rewriting Techniques and Applications: 7th International
¥553.00
海外直订Rewriting Techniques and Applications: 9th International
¥553.00
海外直订Rewriting Techniques and Applications: Dijon, France, Ma
¥511.00
海外直订Rewriting Techniques and Applications: 4th International
¥553.00
3-6周达 Rewriting Techniques and Applications: 14th Internatio 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥651.00
重写技术与应用 Rewriting techniques and applications
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥526.50
