预订 Understanding Behaviour of Distributed Systems Using mCRL 【全球购】进口原版图书,约5-8周到达国内后发出
¥1692
预订 Tools and Algorithms for the Construction and Analysis of 【全球购】进口原版图书,约5-8周到达国内后发出
¥371.00
预订 Tales of Electrologica [ISBN:9783031130328] 【全球购】进口原版图书,约5-8周到达国内后发出
¥324.00
预订 Formal Methods for Industrial Critical Systems: 27th Inte 【全球购】进口原版图书,约5-8周到达国内后发出
¥671.00
预订 Tools and Algorithms for the Construction and Analysis of 【全球购】进口原版图书,约5-8周到达国内后发出
¥376.00
预订 Modeling and Analysis of Communicating Systems [ISBN:9780 【全球购】进口原版图书,约5-8周到达国内后发出
¥550.00
预订 Logic Gates, Circuits, Processors, Compilers and Computer 【全球购】进口原版图书,约5-8周到达国内后发出
¥324.00
预订 高被引Modeling and Analysis of Communicating Systems [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥403.00
预订 Tales of Electrologica: Computers, Software and People [I 【全球购】进口原版图书,约5-8周到达国内后发出
¥332.00
预订Logic Gates, Circuits, Processors, Compilers and Computers 预订,预计下单后3-6周左右发货!
¥513.00
海外直订Formal Grammar: 14th International Conference, FG 2009,
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Formal Methods for Industrial Critical Systems: 27th Int
¥775.00
明星店铺 中华商务进口图书旗舰店
海外直订Formal Grammar: 15th and 16th International Conference o
¥639.00
明星店铺 中华商务进口图书旗舰店
海外直订Thomas de Quincey, Dark Interpreter: Romanticism in Tran
¥233.00
明星店铺 中华商务进口图书旗舰店
预订Metalworking in West Africa [ISBN:9789401471596] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1073
【预订】Logic Gates, Circuits, Processors, Compilers and Compute 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030685522 Author 作者 Groote Jan Friso Format 版本 平装-胶订 Pages Number 页数 254页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 840g Language 语种 其它(含多语)
¥363.00
预订 Formal Grammar: 14th International Conference, FG 2009, B 【全球购】进口原版图书,约5-8周到达国内后发出
¥471.00
预订 Formal Grammar: 15th and 16th International Conference on 【全球购】进口原版图书,约5-8周到达国内后发出
¥495.00
【预订】Typed Lambda Calculi and Applications 9783540626886 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540626886 Author 作者 Groote Format 版本 平装-胶订 Pages Number 页数 412页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-03-12 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA ’97, held in Nancy, France, in April 1997.The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
¥520.00
海外直订Typed Lambda Calculi and Applications: Third Internation
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Concept and Design Developments in School Improvement Re
¥511.00
明星店铺 中华商务进口图书旗舰店
【预订】The Following of Christ: The Spiritual Diary of Gerard G 美国库房发货,通常付款后3-5周到货!
¥250.00
【预订】Geometrische Und Algebraische Methoden Der Physik: Super 美国库房发货,通常付款后3-5周到货!
¥487.00
【预订】Logical Aspects of Computational Linguistics. Celebratin 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Theme Hotels 9783938780244 美国库房发货,通常付款后3-5周到货!
¥444.00
【预订】Modeling and Analysis of Communicating Systems 美国库房发货,通常付款后3-5周到货!
¥414.00
【预订】Logical Aspects of Computational Linguistics 97835404227 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540422730 Author 作者 Groote Format 版本 平装-胶订 Pages Number 页数 311页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-06-13 Language 语种 英语
¥520.00
【预订】Formal Grammar 9783642201684 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642201684 Author 作者 de Groote Format 版本 平装-胶订 Pages Number 页数 215页 Publication Date 出版日期 2011-04-06 Shipping Weight 商品重量 332g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009. The 13 revised full papers presented, including two invited talks, were carefully reviewed and selected from 26 submissions. These articles in this book give an overview of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.
¥520.00
(计算语言学的逻辑问题)Logical Aspects of Computational Linguistics
¥318.30
预订Modeling and Analysis of Communicating Systems 预订,预计下单后2-3周左右发货!
¥807.00
预订【德语】Geometrische und algebraische Methoden der Physik: Sup 预订,预计下单后3-6周左右发货!
¥781.00