海外直订Computer Science Logic: 6th Workshop, Csl'92, San Miniat
¥553.00
海外直订Csl'88: 2nd Workshop on Computer Science Logic, Duisburg
¥553.00
海外直订Computation Theory and Logic 计算理论与逻辑
¥553.00
预订 Structures of Computing: A Guide to Practice-Oriented The 【全球购】进口原版图书,约5-8周到达国内后发出
¥464.00
预订 Abstract State Machines: A Method for High-Level System D 【全球购】进口原版图书,约5-8周到达国内后发出
¥653.00
海外直订CSL '87: 1st Workshop on Computer Science Logic, Karlsru
¥553.00
【预订】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
海外直订CSL '89: 3rd Workshop on Computer Science Logic. Kaisers
¥553.00
海外直订The Classical Decision Problem 经典决策问题
¥1860
海外直订Architecture Design and Validation Methods 架构设计和验证方法
¥553.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: 7th Workshop, CSL '93, Swansea,
¥553.00
海外直订Computer Science Logic: 5th Workshop, CSL '91, Berne, Sw
¥553.00
海外直订Abstract State Machines 2003: Advances in Theory and Pra
¥553.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
海外直订Advances in Software Engineering: Lipari Summer School 2
¥553.00
预订 Modeling Companion for Software Practitioners [ISBN:97836 【全球购】进口原版图书,约5-8周到达国内后发出
¥617.00
海外直订Architecture Design and Validation Methods 架构设计和验证方法
¥553.00
海外直订Computer Science Logic: 4th Workshop, CSL '90, Heidelber
¥553.00
【预订】Münchhausen 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥82.32
预订 Structures of Computing 国外库房发货,通常付款后3-5周到货
¥608.00
【预订】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
【预订】Viral Zoonoses and Food of Animal Origin: A Re-Evaluatio 美国库房发货,通常付款后3-5周到货!
¥1450
预售 按需印刷Policy Representation and Reasoning with Preferences
¥1057.4
预售 按需印刷aCorporate Social Responsibility und Kulturf?rderung德
¥776.90
预售 按需印刷M?chtest du fliegen, Mari-Luis?德语ger
¥199.75
预订 Molekulare Populationsgenetik 国外库房发货,通常付款后3-5周到货
¥432.00