【预订】Economics and Price Risks in International Pellet Supply 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319070155 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 57页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-06-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.1 cm Shipping Weight 商品重量 124g Language 语种 英语 Book Contents 内容简介 The aim of this book is to investigate critical economic aspects and price risks along international pellet supply chains and to offer new insights into the interconnections between the sector, the various supply risks within the market and guidelines for de-risking biomass supply chains. It provides three real case studies as practical examples of determining actual supply costs from resource production to end-user and in doing so identifies and analyzes general economic performance indicators and price drivers for biomass supply chains. It also investigates the impa
¥520.00
【预订】Fundamentals of Algebraic Graph Transformation 978364206 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642068317 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 390页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-18 Language 语种 英语 Book Contents 内容简介 Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated
¥1118
海外直订Economics and Price Risks in International Pellet Supply
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Formal Methods and Software Development. Proceedings of 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540151999 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 459页 Publication Date 出版日期 1985-03-01 Language 语种 英语
¥488.00
【预订】Mathematical Foundations of Software Development. Procee 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540151982 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 422页 Publication Date 出版日期 1985-03-01 Language 语种 英语
¥417.00
海外直订Graph-Grammars and Their Application to Computer Science
¥1143
明星店铺 中华商务进口图书旗舰店
【预订】Theory and Application of Graph Transformations 97835406 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540672036 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 506页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-03-02 Language 语种 英语 Book Contents 内容简介 Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software specication and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter
¥520.00
海外直订Fundamentals of Algebraic Graph Transformation 代数图变换基础“,
¥1246
明星店铺 中华商务进口图书旗舰店
海外直订Petri Net Technology for Communication-Based Systems: Ad
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Graph Transformations 9783540232070 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540232070 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 456页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-17 Language 语种 英语
¥520.00
【预订】Graph and Model Transformation 9783662479797 美国库房发货,通常付款后3-5周到货!
¥1040
海外直订Recent Trends in Data Type Specification: 7th Workshop o
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Universal Theory of Automata 美国库房发货,通常付款后3-5周到货!
¥437.00
海外直订Categorical Methods in Computer Science: With Aspects fr
¥630.00
明星店铺 中华商务进口图书旗舰店
按需印刷DEG Kategorien und Automate 预订,预计下单后3-6周左右发货!
¥1138
【预订】Algebraic Specification Techniques and Tools for Softwar 美国库房发货,通常付款后3-5周到货!
¥570.00
【预订】Petri Net Technology for Communication-Based Systems 978 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540205388 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 468页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-25 Language 语种 英语 Book Contents 内容简介 This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.
¥520.00
【预订】Integration of Software Specification Techniques for App 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540231356 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 630页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-22 Language 语种 英语
¥520.00
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Mathematisch-Strukturelle Grundlagen Der Informatik 9783 美国库房发货,通常付款后3-5周到货!
¥370.00
【预售 按需印刷】 Kategorien und Automate 北京直发,付款后10日内发货
¥968.00
【预订】Unifying Petri Nets 9783540430674 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540430674 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 488页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-12-14 Language 语种 英语 Book Contents 内容简介 Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth.These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researc
¥520.00
海外直订Ontology Alignment: Bridging the Semantic Gap 本体对齐:弥合语义鸿
¥1143
明星店铺 中华商务进口图书旗舰店
海外直订Recent Trends in Data Type Specification: 9th Workshop o
¥630.00
明星店铺 中华商务进口图书旗舰店
【预订】Fundamentals of Algebraic Graph Transformation 978354031 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540311874 Author 作者 Ehrig Format 版本 精装 Pages Number 页数 388页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-02-10 Language 语种 英语 Book Contents 内容简介 Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown
¥1129
【预订】Kategorien und Automate 9783110039023 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783110039023 Author 作者 Ehrig Format 版本 精装 Pages Number 页数 170页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1972-02-01 Language 语种 其它(含多语)
¥1494
【预订】Graph Transformation 9783642336539 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642336539 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 427页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-08-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 670g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
¥520.00
海外直订Graph Grammars and Their Application to Computer Science
¥1143
明星店铺 中华商务进口图书旗舰店
海外直订Graph and Model Transformation: General Framework and Ap
¥1142
明星店铺 中华商务进口图书旗舰店
【预订】Graph Transformations 9783642159275 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642159275 Author 作者 Ehrig Format 版本 平装-胶订 Pages Number 页数 419页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-09-27 Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitione
¥520.00
【预订】Ontology Alignment: Bridging the Semantic Gap Y978038732 美国库房发货,通常付款后3-5周到货!
¥1022
【预订】Graph Transformations 9783540874041 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540874041 Author 作者 Hartmut Ehrig TU Berlin Fak. IV Elektrotechnik und Informat Format 版本 平装-胶订 Pages Number 页数 523页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-08-28 Shipping Weight 商品重量 819g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation con
¥520.00
预订 Integration of Software Specification Technique... 978354 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540231356 作者: Hartmut Ehrig 装帧: 平装-胶订 页数: 630页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2004-12-01 重量: 908g 语种: 其它(含多语) 内容简介 This volume is a documentation of the main results in the research area "In
¥1274
预订 Fundamentals of Algebraic Graph Transformation 9783642068 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642068317 作者: Hartmut Ehrig 装帧: 平装-胶订 页数: 390页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-11-18 重量: 1g 语种: 其它(含多语) 内容简介 Graphs are widely used to represent structural information in the form of obje
¥1454
预订 Graph Transformations 9783642159275 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642159275 作者: Hartmut Ehrig 装帧: 平装-胶订 页数: 418页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-09-27 重量: 1g 语种: 其它(含多语) 内容简介 Graphs are among the simplest and most universal models for a variety of s- tem
¥1070
【预订】Depression: Ergebnisse Des Symposiums Der Sektion Psychi 美国库房发货,通常付款后3-5周到货!
¥511.00
预订 Graph Transformation 9783642336539 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642336539 作者: Hartmut Ehrig 装帧: 平装-胶订 页数: 427页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-08-23 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the proceedings of the 6th International Conference on Gr
¥936.00
预售 按需印刷Ausweichende Blicke und wachsende Nasen德语ger
¥777.75
海外直订Integration of Software Specification Techniques for App
¥630.00
明星店铺 中华商务进口图书旗舰店
海外直订Unifying Petri Nets: Advances in Petri Nets 统一Petri网:Pet
¥630.00
明星店铺 中华商务进口图书旗舰店
图文法及图像转换计算手册,卷三:共点、平行及分布HANDBOOK OF GRAPH GRAMMARS AND COMPU
¥707.10
图文法及图像转换计算手册,卷二:应用、语言及工具HANDBOOK OF GRAPH GRAMMARS AND COMPU
¥946.40
Unifying Petri Nets (统一 Petri 网络)
¥256.00
Graph Transformations(图形变换/会议录)
¥596.60