预订Raoul 'Sonny' Balcaen:My exciting true-life story in motor 预订,预计下单后3-6周左右发货!
¥426.80
预订 Concur 2003 - Concurrency Theory: 14th International Conf 【全球购】进口原版图书,约5-8周到达国内后发出
¥503.00
【预订】Foundations of Software Science and Computational Struct 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540784975 Author 作者 Roberto Amadio Format 版本 平装-胶订 Pages Number 页数 508页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-18 Shipping Weight 商品重量 801g Language 语种 英语 Book Contents 内容简介 This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.
¥520.00
【预订】Domains and Lambda-Calculi 美国库房发货,通常付款后3-5周到货!
¥1474
【预订】CONCUR 2003 - Concurrency Theory 9783540407539 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540407539 Author 作者 Amadio Format 版本 平装-胶订 Pages Number 页数 524页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-08-21 Language 语种 英语
¥520.00
海外直订Domains and Lambda-Calculi 域与Lambda计算
¥542.00
海外直订Concur 2003 - Concurrency Theory: 14th International Con
¥553.00
海外直订Foundations of Software Science and Computational Struct
¥553.00
【预订】The High Representative and Eu Foreign Policy Integratio 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030095352 Author 作者 Amadio Vicere Format 版本 平装-胶订 Pages Number 页数 274页 Publisher 出版社 Palgrave MacMillan Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.2 x 5.8 x 0.6 cm Shipping Weight 商品重量 790g Language 语种 英语
¥1568
预订 Domains and Lambda-Calculi [ISBN:9780521062923] 【全球购】进口原版图书,约5-8周到达国内后发出
¥449.00
【预订】Domains and Lambda-Calculi Y9780521062923 美国库房发货,通常付款后3-5周到货!
¥520.00
预订 Foundations of Software Science and Computational Structu 【全球购】进口原版图书,约5-8周到达国内后发出
¥512.00
【预订】The High Representative and EU Foreign Policy Integratio 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319766133 Author 作者 Amadio Vicer? Format 版本 精装 Pages Number 页数 274页 Publisher 出版社 Palgrave Macmillan Publication Date 出版日期 2018-05-09 Language 语种 英语 Book Contents 内容简介 Adopting a broad conceptualization of foreign and security policy, the book examines the role of the High Representative as chair of the Foreign Affairs Council and in her/his capacity as Vice President of the European Commission to assess different patterns of integrated efforts in EU foreign and security policies. In this way, it presents a new perspective from which institutional practices in this specific area can be examined. This contribution is particularly valuable for scholars and students of EU foreign and security policy; of external relations of the EU; of international relations more in general; and of EU integration and politics. At the same time, the book contr
¥1568
【预订】The Boomer's Ultimate Guide to Social Media Marketing: L 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥178.79
Domains and Lambda-Calculi(ISBN=9780521062923)
Covers both operational and denotational semantics ?Comprehensive and balanced view ? Class tested in graduateclasses
¥615.80
预订Domains and Lambda-Calculi 预订,预计下单后2-3周左右发货!
¥740.80
预订 Domains and Lambda-Calculi 预订,预计下单后3-4周左右发货!
¥2261