【预订】Münchhausen 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥82.32
【预订】Design Science and Its Importance in the German Mathemat 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319435411 Author 作者 Nührenb?rger Format 版本 平装-胶订 Pages Number 页数 43页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-08-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.1 cm Shipping Weight 商品重量 102g Language 语种 英语 Book Contents 内容简介 This ICME-13 Topical Survey reviews the state-of-the-art by first exploring the roots and scope of design science. Second, it presents two examples of current design science projects that focus on substantial learning environments including a student and a teacher perspective. Subsequently, the book elaborates on how empirical research can be conceptualised within design science. Lastly, it explores developments in design science from a national and international perspective, while also discussing current trends in design research. Within the German-language t
¥96.00
海外直订Design Science and Its Importance in the German Mathemat
¥157.60
明星店铺 中华商务进口图书旗舰店
预售 按需印刷M?chtest du fliegen, Mari-Luis?德语ger
¥199.75
预订 Abstract State Machines: A Method for High-Level System D 【全球购】进口原版图书,约5-8周到达国内后发出
¥431.00
预订 Molekulare Populationsgenetik 国外库房发货,通常付款后3-5周到货
¥432.00
预订 Structures of Computing: A Guide to Practice-Oriented The 【全球购】进口原版图书,约5-8周到达国内后发出
¥464.00
【预订】Abstract State Machines 2003: Advances in Theory and Pra 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540006244 Author 作者 B?rger Format 版本 平装-胶订 Pages Number 页数 436页 Publication Date 出版日期 2003-02-21 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
¥520.00
海外直订Computer Science Logic: 5th Workshop, CSL '91, Berne, Sw
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Abstract State Machines 2003: Advances in Theory and Pra
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Computer Science Logic: 6th Workshop, Csl'92, San Miniat
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Computer Science Logic: 4th Workshop, CSL '90, Heidelber
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Csl'88: 2nd Workshop on Computer Science Logic, Duisburg
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Advances in Software Engineering: Lipari Summer School 2
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Computation Theory and Logic 计算理论与逻辑
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Architecture Design and Validation Methods 架构设计和验证方法
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订CSL '89: 3rd Workshop on Computer Science Logic. Kaisers
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Architecture Design and Validation Methods 架构设计和验证方法
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Computer Science Logic: 7th Workshop, CSL '93, Swansea,
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订CSL '87: 1st Workshop on Computer Science Logic, Karlsru
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Modeling Companion for Software Practitioners [ISBN:97836 【全球购】进口原版图书,约5-8周到达国内后发出
¥611.00
【预订】Modeling Companion for Software Practitioners 9783662566 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662566398 Author 作者 B?rger Format 版本 平装-胶订 Pages Number 页数 349页 Publication Date 出版日期 2018-04-10 Language 语种 英语 Book Contents 内容简介 This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs).The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computatio
¥637.00
预订 Grenzf?lle Aus Der Gef??chirurgischen Praxis 978366211904 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662119044 作者: K B?rger 装帧: 平装-胶订 页数: 168页 出版社: Steinkopff 尺寸: 1.0 x 0.7 x 0.0 cm 出版日期: 2013-10-03 重量: 1g 语种: 德语 内容简介 Das Anliegen dieses Buches ist, Problemf?lle aus der gef??chirurgischen Praxis darzustellen und d
¥684.00
预订 Modeling Companion for Software Practitioners 97836625663 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662566398 作者: Egon B?rger 装帧: 平装-胶订 页数: 349页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2018-04-10 重量: 1g 语种: 其它(含多语)
¥740.00
预售 按需印刷aCorporate Social Responsibility und Kulturf?rderung德
¥776.90
预订 Architecture Design and Validation Methods 9783642629761 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642629761 作者: Egon B?rger 装帧: 平装-胶订 页数: 357页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-10-23 重量: 1g 语种: 其它(含多语) 内容简介 This book grew out of material which was taught at the International Summer Schoo
¥788.00
预售 按需印刷Policy Representation and Reasoning with Preferences
¥1057.4
预订 From Coherent Tunneling to Relaxation 9783662148303 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662148303 作者: Alois W?rger 装帧: 平装-胶订 页数: 215页 出版社: Springer 尺寸: 0.9 x 0.6 x 23.3 cm 出版日期: 2013-10-03 重量: 1g 语种: 其它(含多语)
¥1060
预订 Silicon Chemistry I 9783662159460 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662159460 作者: H B?rger 装帧: 平装-胶订 页数: 180页 出版社: Springer 尺寸: 0.9 x 0.6 x 22.8 cm 出版日期: 2013-10-03 重量: 1g 语种: 其它(含多语)
¥1355
【预订】Viral Zoonoses and Food of Animal Origin: A Re-Evaluatio 美国库房发货,通常付款后3-5周到货!
¥1450
【预订】The Classical Decision Problem 9783540423249 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540423249 Author 作者 B?rger Format 版本 平装-胶订 Pages Number 页数 482页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-08-28 Language 语种 英语 Book Contents 内容简介 This book is addressed to all those - logicians, computer scientists, mathe? maticians, philosophers of science as well as the students in all these disci? plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert’s Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ? ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic knowledge of the language of first-order logic is required for understanding o
¥1664
海外直订The Classical Decision Problem 经典决策问题
¥1860
明星店铺 中华商务进口图书旗舰店
预订 The Mathematical Theory of Selection, Recombina... 978047 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9780471986539 作者: R B?rger 装帧: 精装 页数: 422页 出版社: Wiley 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2000-11-02 重量: 908g 语种: 其它(含多语) 内容简介 "It is close to being a masterpiece...could well be the classic presentation of the area."
¥3007