【预订】Techno-Economic Paradigms: Essays in Honour of Carlota P
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥444.99
【预订】Advanced Logic Synthesis (2018) 9783319672946
美国库房发货,通常付款后3-5周到货!
/ 2017-11-23
/ Springer
Product Details 基本信息 ISBN-13 书号 9783319672946 Author 作者 Drechsler, Rolf Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-11-23 Language 语种 英语
¥1022
【预订】Der [Paragraph] 72 Der Reichscivilprozessordnung 9781141
美国库房发货,通常付款后3-5周到货!
/ 2010-01-01
¥126.00
【预订】Ecological-Economic Modelling for Biodiversity Conservat
美国库房发货,通常付款后3-5周到货!
/ 2020-03-26
Product Details 基本信息 ISBN-13 书号 9781108725514 Author 作者 Drechsler Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2020-03-26 Language 语种 英语 Book Contents 内容简介 Ecologists and economists both use models to help develop strategies for biodiversity management. The practical use of disciplinary models, however, can be limited because ecological models tend not to address the socioeconomic dimension of biodiversity management, whereas economic models tend to neglect the ecological dimension. Given these shortcomings of disciplinary models, there is a necessity to combine ecological and economic knowledge into ecological-economic models. Gradually guiding the reader into the field of ecological-economic modelling by introducing mathematical models and their role in general, this book provides an overview on ecological and econo
¥456.00
【预订】Towards One-Pass Synthesis 9781441952790
国外库房发货,通常付款后3-5周到货!
/ 2010-12-07
Product Details 基本信息 ISBN-13 书号 9781441952790 Author 作者 Drechsler Format 版本 平装-胶订 Pages Number 页数 182页 Publisher 出版社 Springer US Publication Date 出版日期 2010-12-07 Language 语种 英语 Book Contents 内容简介 The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independen- phases. In the last 40 years powerful algorithms have been developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized netlists fit badly onto the target architecture. Since the resulting circuits are often far from being optimal and insufficient regarding the optimization criteria, lik
¥1002
预订 Das Anisotropic Reverberation Model (Arm) 9783734550461
海外仓库发货,通常付款后4-9周到货!
/ 2016-10-26
图书信息 书号: 9783734550461 作者: Stefan Drechsler 装帧: 精装 页数: 260页 出版社: Bod Third Party Titles 尺寸: 1.0 x 0.7 x 0.1 cm 出版日期: 2016-10-26 重量: 1g 语种: 德语 内容简介 Die Planung der Raumakustik von Innenr?umen wie B?ros, Seminarr?umen, Foyers und ?hn
¥419.00
【预订】Graphenbasierte Funktionsdarstellung: Boolesche Und Pseu
美国库房发货,通常付款后3-5周到货!
/ 1998-01-01
/ 暂无出版社信息
¥467.00
【预订】Unemployment and Labor Market Rigidities: Theory, Empiri
国外库房发货,通常付款后3-5周到货!
/ 2004-12-01
Product Details 基本信息 ISBN-13 书号 9783838684659 Author 作者 Drechsler Format 版本 平装-胶订 Pages Number 页数 84页 Publisher 出版社 Grin Verlag Publication Date 出版日期 2004-12-01 Product Dimensions 商品尺寸 8.27 x 5.83 x 0.20 Shipping Weight 商品重量 0.27 Language 语种 其它(含多语)
¥452.00
【预订】Test Pattern Generation Using Boolean Proof Engines
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
/ Springer
¥1002
【预订】Recent Findings in Boolean Techniques 9783030680701
国外库房发货,通常付款后3-5周到货!
/ 2021-04-28
Product Details 基本信息 ISBN-13 书号 9783030680701 Author 作者 Drechsler Format 版本 精装 Pages Number 页数 234页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-04-28 Language 语种 英语 Book Contents 内容简介 This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.
¥1016
预订 Advanced Boolean Techniques 9783030203221
海外仓库发货,通常付款后4-9周到货!
/ 2019-07-17
图书信息 书号: 9783030203221 作者: Rolf Drechsler 装帧: 精装 页数: 265页 出版社: Springer International Publishing 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2019-07-17 重量: 454g 语种: 其它(含多语) 内容简介 This book describes recent findings in the domain of Bo
¥1261
【预订】Advanced Boolean Techniques 9783030203252
美国库房发货,通常付款后3-5周到货!
/ 2020-08-14
Product Details 基本信息 ISBN-13 书号 9783030203252 Author 作者 Drechsler Format 版本 平装-胶订 Pages Number 页数 265页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-14 Language 语种 英语 Book Contents 内容简介 This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13thannual International Workshop on Boolean Problems.Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques;Includes a selection of the best papers presented at the 13thannual International Workshop on Boolean Problems;Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search,
¥1002
预订 Advanced Formal Verification 9781441954206
海外仓库发货,通常付款后4-9周到货!
/ 2010-12-07
图书信息 书号: 9781441954206 作者: Rolf Drechsler 装帧: 平装-胶订 页数: 250页 出版社: Springer Us 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2010-12-07 重量: 454g 语种: 其它(含多语) 内容简介 Modern circuits may contain up to several hundred million transistors.
¥1552
【预订】Ecological-Economic Modelling for Biodiversity Conservat
美国库房发货,通常付款后3-5周到货!
/ 2020-03-26
Product Details 基本信息 ISBN-13 书号 9781108493765 Author 作者 Drechsler Format 版本 精装 Pages Number 页数 300页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2020-03-26 Language 语种 英语 Book Contents 内容简介 Ecologists and economists both use models to help develop strategies for biodiversity management. The practical use of disciplinary models, however, can be limited because ecological models tend not to address the socioeconomic dimension of biodiversity management, whereas economic models tend to neglect the ecological dimension. Given these shortcomings of disciplinary models, there is a necessity to combine ecological and economic knowledge into ecological-economic models. Gradually guiding the reader into the field of ecological-economic modelling by introducing mathematical models and their role in general, this book provides an overview on ecological and economic mod
¥1131
预订 Test Pattern Generation Using Boolean Proof Eng... 978904
海外仓库发货,通常付款后4-9周到货!
/ 2010-10-19
/ Springer
图书信息 书号: 9789048184910 作者: Rolf Drechsler 装帧: 平装-胶订 页数: 192页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.0 cm 出版日期: 2010-10-19 重量: 1g 语种: 其它(含多语) 内容简介 In Test Pattern Generation using Boolean Proof Engines , we give an introduc
¥1260
预订 Clinical Image-Based Procedures. from Planning ... 978364
海外仓库发货,通常付款后4-9周到货!
/ 2013-04-17
/ Springer
图书信息 书号: 9783642380785 作者: Klaus Drechsler 装帧: 平装-胶订 页数: 132页 出版社: Springer 尺寸: 0.9 x 0.6 x 23.3 cm 出版日期: 2013-04-17 重量: 213g 语种: 其它(含多语) 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of
¥536.00
【预订】Formal System Verification: State-Of The-Art and Future
美国库房发货,通常付款后3-5周到货!
/ 2017-07-03
/ Springer
¥1216
预订 Advanced Boolean Techniques 9783030203252
海外仓库发货,通常付款后4-9周到货!
/ 2020-08-14
图书信息 书号: 9783030203252 作者: Rolf Drechsler 装帧: 平装-胶订 页数: 265页 出版社: Springer International Publishing 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2020-08-14 重量: 454g 语种: 其它(含多语) 内容简介 This book describes recent findings in the domai
¥1072
【预订】Advanced Formal Verification 9781441954206
美国库房发货,通常付款后3-5周到货!
/ 2010-12-07
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9781441954206 Author 作者 Drechsler Format 版本 平装-胶订 Pages Number 页数 250页 Publication Date 出版日期 2010-12-07 Language 语种 英语 Book Contents 内容简介 Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.
¥1002
【预订】Towards One-Pass Synthesis 9781402070440
国外库房发货,通常付款后3-5周到货!
/ 2002-05-31
Product Details 基本信息 ISBN-13 书号 9781402070440 Author 作者 Drechsler Format 版本 精装 Pages Number 页数 182页 Publisher 出版社 Springer US Publication Date 出版日期 2002-05-31 Language 语种 英语 Book Contents 内容简介 The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independen- phases. In the last 40 years powerful algorithms have been developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized netlists fit badly onto the target architecture. Since the resulting circuits are often far from being optimal and insufficient regarding the optimization criteria, like area
¥1002
【预订】Advanced Boolean Techniques 9783030203221
美国库房发货,通常付款后3-5周到货!
/ 2019-08-24
Product Details 基本信息 ISBN-13 书号 9783030203221 Author 作者 Rolf Drechsler Format 版本 精装 Pages Number 页数 240页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-08-24 Language 语种 英语 Book Contents 内容简介 This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13thannual International Workshop on Boolean Problems.Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques;Includes a selection of the best papers presented at the 13thannual International Workshop on Boolean Problems;Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, B
¥1022
【预订】Synthetic Datasets for Statistical Disclosure Control 97
国外库房发货,通常付款后3-5周到货!
/ 2011-06-29
Product Details 基本信息 ISBN-13 书号 9781461403258 Author 作者 Drechsler Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer New York Publication Date 出版日期 2011-06-29 Product Dimensions 商品尺寸 23.4 x 15.6 x 0.9 cm Shipping Weight 商品重量 0.2 kg Language 语种 其它(含多语) Book Contents 内容简介 The aim of this book is to give the reader a detailed introduction to the different approaches to generating multiply imputed synthetic datasets. It describes all approaches that have been developed so far, provides a brief history of synthetic datasets, and gives useful hints on how to deal with real data problems like nonresponse, skip patterns, or logical constraints. Each chapter is dedicated to one approach, first describing the general concept followed by a detailed application to a real dataset providing useful guidelines on how to implement the theory
¥1090