预订Little Fox. Playing in the Forest 预订，预计下单后3-6周左右发货！
¥153.80
Little Fox. Playing in the Forest 英文原版 小狐狸在森林里玩耍 纸板书 绘本 英文版
¥98.00
明星店铺 华研外语旗舰店
海外直订Process Algebra with Timing 带计时的过程代数
¥585.00
预订 Process Algebra with Timing [ISBN:9783540434474] 【全球购】进口原版图书，约5-8周到达国内后发出
¥456.00
预订 Die kleine Hexe feiert Weihnachten 预订，预计下单后3-4周左右发货！
¥241.80
预订 Process Algebra: Equational Theories of Communicating Pro 【全球购】进口原版图书，约5-8周到达国内后发出
¥1016
预订 Housing Displacement: Conceptual and Methodological Issue 【全球购】进口原版图书，约5-8周到达国内后发出
¥1636
预订Process Algebra with Timing [ISBN:9783642077883] 【全球购】进口原版图书，约5-8周到达国内后发出
¥642.00
【预订】Process Algebra: Equational Theories of 美国库房发货，通常付款后3-5周到货！
¥971.00
预订 Housing Displacement: Conceptual and Methodological Issue 【全球购】进口原版图书，约5-8周到达国内后发出
¥518.00
预订 Shaping Pay in Europe: A Stakeholder Approach [ISBN:97890 【全球购】进口原版图书，约5-8周到达国内后发出
¥603.00
【预订】Automata, Languages and Programming 9783540404934 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540404934 Author 作者 Baeten Format 版本 平装-胶订 Pages Number 页数 1199页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-06-25 Language 语种 英语
¥520.00
【预订】Process Algebra with Timing 9783540434474 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540434474 Author 作者 Baeten Format 版本 精装 Pages Number 页数 287页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-07-04 Language 语种 英语 Book Contents 内容简介 This book is concerned with a number of theories that can be used for describ? ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer? based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com? plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in? teract on time as well adds considerably to the complexity. In developing such a system, it is important
¥520.00
Wild Animals of the Savannah 草原上的野生动物 4-10岁 儿童精装动物科普图画书 Marj
¥199.00
海外直订Concur '91: 2nd International Conference on Concurrency
¥553.00
海外直订Applications of Process Algebra 过程代数的应用
¥1050
预订 Automata, Languages and Programming: 30th International C 【全球购】进口原版图书，约5-8周到达国内后发出
¥761.00
【预订】Process Algebra with Timing 9783642077883 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642077883 Author 作者 Baeten Format 版本 平装-胶订 Pages Number 页数 287页 Publication Date 出版日期 2010-12-15 Language 语种 英语 Book Contents 内容简介 This book is concerned with a number of theories that can be used for describ? ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer? based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com? plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in? teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding o
¥520.00
【预订】Integrated Visual Servoing and Force Control: The 美国库房发货，通常付款后3-5周到货！
¥1002
【预订】CONCUR’99. Concurrency Theory 9783540664253 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540664253 Author 作者 Baeten Format 版本 平装-胶订 Pages Number 页数 584页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-08-13 Language 语种 英语 Book Contents 内容简介 This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement.
¥1040
海外直订Little Bear. Playing in the Snow 小熊。在雪中玩耍
¥132.00
【预订】Housing Displacement 9780367564537 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367564537 Author 作者 Edited by Guy Baeten Format 版本 平装-胶订 Pages Number 页数 226页 Publisher 出版社 Routledge Publication Date 出版日期 2022-04-29 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.48 Shipping Weight 商品重量 0.71 Language 语种 其它（含多语） Book Contents 内容简介 This book examines reasons, processes and consequences of housing displacement in different geographical contexts. It explores displacement as a prime act of housing injustice – a central issue in urban injustices. With international case studies from the US, the UK, Australia, Canada, India, Spain, Denmark, Sweden, and Hungary, this book explores how housing displacement processes are more diverse and mutate into more new forms than have been acknowledged in the literature. It emphasizes a need to look beyond the existing rich gentrification literature to gi
¥502.00
海外直订Wild Animals in the Snow. a Picture Book about Animals w
¥186.40
英文原版绘本 Wild Animals of the Savannah 草原上的野生动物 4-10岁 儿童精装动物科普图
¥199.00
明星店铺 华研外语旗舰店
【预订】Theoretical Computer Science 9783642334740 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642334740 Author 作者 Baeten Format 版本 平装-胶订 Pages Number 页数 393页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-08-18 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 611g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.
¥520.00
【预订】Applications of Process Algebra 美国库房发货，通常付款后3-5周到货！
¥959.00
海外直订医药图书Concur'99. Concurrency Theory: 10th International Co
¥1033
海外直订Concur '90: Theories of Concurrency: Unification and Ext
¥553.00
魔法小巫女系列:小巫女过圣诞 丽芙·蓓特 (Lieve Baeten), 李颖妮 山东文艺出版社【正版书】 【热销推荐，正版现货，全国三仓就近发货，物流快捷，欢迎选购！】
《小巫女过圣诞》编辑：欧美20年，获得多项国际图画书大奖，被翻译成30多种文字。精彩的故事，漂亮的画面，巧妙的翻页设计，给孩子们带来一个又一个惊喜。1995年荷兰“羽毛奖”，1996年博洛尼亚国际童书插画奖，2000年荷兰“羽毛奖”，2008年瑞士青少年文化奖头等奖。
¥8.00定价：¥17.10 (4.68折)
正版书籍 11.16小巫女过圣诞 山东文艺出版社 正版图书支持发票 七天无理由退货让您购物无忧
¥12.42定价：¥46.00 (2.7折)
魔法小巫女系列:小巫女过圣诞 丽芙·蓓特 (Lieve Baeten), 李颖妮 山东文艺出版社，【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥7.00定价：¥21.37 (3.28折)
【预订】The Curious Little Witch 预订商品，需要1-3个月发货，非质量问题不接受退换货。
¥176.25
Applications of Process Algebra
¥648.00
海外直订Process Algebra with Timing 带计时的过程代数
¥585.00
预订Wild Animals in the Snow. A Picture Book about Animals wit 预订，预计下单后3-6周左右发货！
¥214.80
