【预订】Logic Circuit Design: Selected Methods 美国库房发货,通常付款后3-5周到货!
¥1022
预订 Switching Theory: Insight Through Predicate Logic [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥924.00
【预订】Switching Theory 9783540403432 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540403432 Author 作者 Vingron Format 版本 精装 Pages Number 页数 428页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-11 Language 语种 英语 Book Contents 内容简介 The author’s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. This very basic and thorough approach enables the development of new concepts such as Composition, or Verification. The theoretical side is enhanced by using predicate (instead of propositional) logic allowing for formal proofs till now unattainable. On the practical side, sequential circuits that hitherto were obtained intuitively are now open to a formal synthesis procedure.
¥1040
预订 Switching Theory 9783642073182 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642073182 作者: Shimon Peter Vingron 装帧: 平装-胶订 页数: 428页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-12-15 重量: 1g 语种: 其它(含多语) 内容简介 This new approach to an established field introduces the concept of pre
¥1657
海外直订Switching Theory: Insight Through Predicate Logic 转换理论:谓
¥1033
明星店铺 中华商务进口图书旗舰店
预订 高被引Logic Circuit Design: Selected Methods [ISBN:978364243 【全球购】进口原版图书,约5-8周到达国内后发出
¥894.00
预订 Switching Theory 9783540403432 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540403432 作者: Shimon Peter Vingron 装帧: 精装 页数: 428页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2003-09-11 重量: 908g 语种: 其它(含多语) 内容简介 This new approach to an established field introduces the concept of predic
¥1760
预订 Logic Circuit Design 9783642276569 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642276569 作者: Shimon P Vingron 装帧: 精装 页数: 258页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-03-30 重量: 1g 语种: 其它(含多语) 内容简介 This book covers combinational circuits, latches, and asynchronous sequential circu
¥1655
预订 Switching Theory: Insight Through Predicate Logic [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥906.00
海外直订Research in Computational Molecular Biology: 12th Annual
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Research in Computational Molecular Biology: 12th Annual 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
【预订】Research in Computational Molecular Biology 978354078838 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540788386 Author 作者 Martin Vingron Max Planck Institute for Molecular Genetics Format 版本 平装-胶订 Pages Number 页数 480页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-14 Shipping Weight 商品重量 765g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 12th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2008. It presents current issues in algorithmic, theoretical, and experimental bioinformatics.
¥520.00
【预订】Logic Circuit Design 9783031406720 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031406720 Author 作者 Shimon P. Vingron Format 版本 精装 Pages Number 页数 330页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2023-09-30 Language 语种 其它(含多语) Book Contents 内容简介 The 2nd edition has been thoroughly revised and is intended as a wakeup call in the stagnant and dormant field of switching algebra and logic circuit design. It presents the material in a concise but thorough way. The topics selected are an in-depth presentation of switching algebra, a theory of memory circuits (sometimes called flop flops), a new approach to asynchronous circuits, and a newly added part presenting a unique programming technique (or language) for programmable logic controllers (PLCs). Be ready for the unorthodox and controversial.
¥1560
预订 Logic Circuit Design: Selected Topics and Methods [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥1430
【预订】Switching Theory 9783642073182 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642073182 Author 作者 Vingron Format 版本 平装-胶订 Pages Number 页数 428页 Publication Date 出版日期 2010-12-15 Language 语种 英语 Book Contents 内容简介 The author’s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. This very basic and thorough approach enables the development of new concepts such as Composition, or Verification. The theoretical side is enhanced by using predicate (instead of propositional) logic allowing for formal proofs till now unattainable. On the practical side, sequential circuits that hitherto were obtained intuitively are now open to a formal synthesis procedure.
¥1022
海外直订Logic Circuit Design: Selected Methods 逻辑电路设计:选择方法
¥1033
明星店铺 中华商务进口图书旗舰店
预订 Logic Circuit Design 9783642432569 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642432569 作者: Shimon P Vingron 装帧: 平装-胶订 页数: 258页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2014-04-13 重量: 1g 语种: 其它(含多语) 内容简介 This book covers combinational circuits, latches, and asynchronous sequentia
¥1360