检索到 113 条 主题词=Logic 的结果
-
西文图书1.Standard completeness for semilinear substructural logics / O141/W246
馆藏复本：2
可借复本：1 Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.
(0) 馆藏 -
西文图书2.Logic as a liberal art = 作为通识学科的逻辑学 / B81/D311
馆藏复本：1
可借复本：0 John Deely ; edited by Christopher S. Morrissey.
(0) 馆藏 -
西文图书3.A course in mathematical logic for mathematicians / Second edition. O141/M278.1-2
馆藏复本：2
可借复本：1 Yu.I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by...
(0) 馆藏 -
西文图书4.Shattered symmetry : group theory from the eightfold way to the periodic table / O152/T549
馆藏复本：1
可借复本：0 Pieter Thyssen and Arnout Ceulemans.
(0) 馆藏 -
西文图书5.The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second... O1-0/L759
馆藏复本：2
可借复本：1 Bernard Linsky.
Harbin Institute of Technology Press, 2018.
(0) 馆藏 -
西文图书6.The way of logic = 逻辑之道 / H0/M883
馆藏复本：2
可借复本：1 Christopher S. Morrissey.
(0) 馆藏 -
西文图书7.Digital system design with Verilog and VHDL = 数字系统设计 (Verilog & VHDL版) / Second edition. TP312/H991-2
馆藏复本：2
可借复本：1 Enoch O. Hwang著 ; 阎波, 朱晓章, 姚毅改编.
(0) 馆藏 -
西文图书8.Alan Turing : his work and impact / K835.616.11/C778
馆藏复本：4
可借复本：2 Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
Harbin Institute of Technology Press, 2016.
(0) 馆藏 -
西文图书9.Key terms in logic = 逻辑学核心术语 / B81-61/W731
馆藏复本：3
可借复本：2 Jon Williamson，Federica Russo著 ; 郝兆宽, 单芃舒注.
Foreign Language Teaching and Research Press, 2016.
(0) 馆藏 -
西文图书10.Fundamentals of digital logic with Verilog design = 数字逻辑与Verilog设计 / 3rd ed. TP331.1/B879.1-3
馆藏复本：2
可借复本：1 Stephen Brown, Zvonko Vranesic著 ; 罗嵘选译.
清华大学出版社, 2014.
(0) 馆藏 -
西文图书11.Mutually-inversistic logic, mathematics, and their applications / O141/Z63
馆藏复本：1
可借复本：0 Zhou Xunwei.
Central Compilation & Translation Press , 2013.
(0) 馆藏 -
西文图书12.Introductory circuits for electrical and computer engineering = 电路分析基础 / TM133/N712
馆藏复本：2
可借复本：1 James W. Nilsson, Susan A. Riedel著 ; 张民改编.
Publishing House of Electronics Industry, 2012.
(0) 馆藏 -
西文图书13.Logical syntax of language = 语言的逻辑句法 / H043/C288
馆藏复本：3
可借复本：2 Rudolf Carnap著 ; 蒋运鹏导读.
Shanghai Foreign Language Education Press, 2012.
(0) 馆藏 -
西文非书资料14.CD-ROM to accompany introduction to logic design : Y/TP331/M321
馆藏复本：0
可借复本：0 Alan B. Marcovitz.
McGraw-Hill, c2002.
(0) 馆藏 -
西文非书资料15.Fundamentals of digital logic with Verilog design : 数字逻辑基础与Verilog设计/ Y/TP331.1/B879
馆藏复本：0
可借复本：0 Stephen Brown, Zvonko Vranesic 著.
(0) 馆藏 -
西文非书资料16.Synapticad tools for the thinking mind : 3rd ed. Y/TN431.2/M285-3
馆藏复本：0
可借复本：0 [M. Morris Mano].
高等教育出版社, 2002.
(0) 馆藏 -
西文非书资料17.Digital design 数字设计 / 4th ed. Y/TN431.2/M285-4
馆藏复本：0
可借复本：0 M. Morris Mano, Michael D. Ciletti著.
Publishing House of Electronics Industry, 2008.
(0) 馆藏 -
西文非书资料18.Digital fundamentals : 数字基础 / 7th ed. Y/TN79/F645-7
馆藏复本：0
可借复本：0 Thomas L. Floyd著.
科学出版社, 2002.
(0) 馆藏 -
西文非书资料19.Fundamentals of logic design : 逻辑设计基础 / 5th ed. Y/TP331.1/R845-5
馆藏复本：0
可借复本：0 [Charles H. Roth, Jr著].
China Machine Press, 2003.
(0) 馆藏 -
西文图书20.Language, proof, and logic / B81/B296
馆藏复本：1
可借复本：0 Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and...
CSLI Publications, 2000.
(0) 馆藏
