检索到 114 条 主题词=Logic. 的结果
-
西文图书1.Classical groups, derangements and primes / O152.3/BTC
馆藏复本：2
可借复本：2 Timothy C. Burness, Michael Giudici = 典型群、错排与素数 / 提摩太·C. 布尔尼西, 迈克尔·乔迪奇著.
Harbin Institute of Technology Press, 2020.
(0) 馆藏 -
西文图书2.How to prove it : a structured approach 2nd ed.
馆藏复本：0
可借复本：0 Daniel J. Velleman.
Cambridge University Press, 2006.
(0) 馆藏 -
西文图书3.Logic in computer science modelling and reasoning about systems / 2nd ed.
馆藏复本：0
可借复本：0 Michael Huth, Mark Ryan.
Cambridge University Press, 2004.
(0) 馆藏 -
西文图书4.An investigation of the laws of thought : on which are founded the mathematical theories of logic... B802/BG
馆藏复本：2
可借复本：2 George Boole.
Higher Education Press, 2016.
(0) 馆藏 -
西文图书5.Designing with programmable array logic / 2nd ed. TP331.1/DWP/(2)
馆藏复本：1
可借复本：0 by the Technical Staff of Monolithic Memories, Inc.
McGraw-Hill, c1981.
(0) 馆藏 -
西文图书6.an algebraic introduction to mathematical logic / O14/BDW
馆藏复本：2
可借复本：1 D. W. Barnes, J. M. Mack.
World Publishing Corp., 1975.
(0) 馆藏 -
西文图书7.Theorie dialectique des probabilites englobant leurs calculs classique et quantique / O211/BG
馆藏复本：1
可借复本：0 Georges Bodiou.
Gauthier-Villars, 1964.
(0) 馆藏 -
西文图书8.Grundlagen der Mathematik / 2nd ed. O143/HD/(2)/V.1
馆藏复本：1
可借复本：0 D. Hilbert und P. Bernays.
Springer, 1968-70.
(0) 馆藏 -
西文图书9.Mathematical logic and the foundation of mathematics : an introductory survey. O14/KGT
馆藏复本：1
可借复本：0 Kneebone, G. T.
Van Nostrand ; [1963]
(0) 馆藏 -
西文图书10.The Z8000 microprocessor : a design handbook / TP36-62/FBK
馆藏复本：5
可借复本：1 Bradly K. Fawcett.
Prentice-Hall, c1982.
(0) 馆藏 -
西文图书11.Digital fundamentals = 数字电子技术 / 11th ed., 英文改编版. TN79/FTL/(11)
馆藏复本：2
可借复本：2 Thomas L. Floyd著 ; 余璆, 熊洁改编.
Publishing House of Electronics Industry, 2017.
(0) 馆藏 -
西文图书12.Alan Turing : his work and impact / K835.616.11/ATH
馆藏复本：4
可借复本：4 [edited by] Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
Harbin Institute of Technology Press, 2016.
(0) 馆藏 -
西文图书13.Fundamentals of digital logic with Verilog design = 数字逻辑与Verilog设计 / 3rd ed. TP331.1/BSD:2/(3)
馆藏复本：2
可借复本：2 Stephen Brown, Zvonko Vranesic著 ; 罗嵘选译.
清华大学出版社, 2014.
(0) 馆藏 -
西文图书14.Digital design and computer architecture = 数字设计和计算机体系结构 / 2nd ed. TP393/HDM/(2)
馆藏复本：2
可借复本：2 David Money Harris, Sarah L. Harris著.
Chian Machine Press, 2014.
(0) 馆藏 -
西文图书15.Logical syntax of language = 语言的逻辑句法 / H043/CR
馆藏复本：2
可借复本：1 Rudolf Carnap著 ; 蒋运鹏导读.
Shanghai Foreign Language Education Press, 2012.
(0) 馆藏 -
西文图书16.Introductory circuits for electrical and computer engineering = 电路分析基础 / TN7/NJW:2
馆藏复本：2
可借复本：2 James W. Nilsson, Susan A. Riedel著 ; 张民改编.
Publishing House of Electronics Industry, 2012.
(0) 馆藏 -
西文图书17.Digital fundamentals = 数字电子技术 / 10th ed., 英文改编版. TN79/FTL/(10)
馆藏复本：2
可借复本：2 Thomas L. Floyd著 ; 余璆改编.
Publishing House of Electronics Industry, 2011.
(0) 馆藏 -
西文图书18.Logic for mathematicians / O141/RJB
馆藏复本：3
可借复本：3 J Barkley Rosser.
McGraw-Hill, 1953.
(0) 馆藏 -
中文图书19.Mathematics and logic for digital devices / 510.78/C897
馆藏复本：1
可借复本：1 by James T. Culbertson.
Van Nostrand, [1958]
(0) 馆藏 -
西文图书20.Computer-aided logic design / TN402/MRM
馆藏复本：3
可借复本：2 Robert M. McDermott.
Howard W. Sams, 1985.
(0) 馆藏
