41. Switching theory for logic synthesis
پدیدآورنده : Sasao, Tsutomu
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic design-- Data processing,، Sequential machine theory,، Switching theory
رده :
TK
7868
.
L6
.
S26
1999
42. Switching theory for logic synthesis
پدیدآورنده : Sasao,Tsutomu
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Data processing ، Logic design,، Sequential machine theory,، Switching theory
رده :
TK
7868
.
L6
S26
1999
43. Symposium on Switching and Automata Theory, 1st- 1960-
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Switching theory-- Congresses,، Sequential machine thoery-- Congresses,، Automata-- Congresses
رده :
QA
268
.
5
.
S9a
44. Systemes logiques
پدیدآورنده : par J.P. Perrin, M. Denouette [et] E. Daclin
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Sequential machine theory,Switching theory
رده :
QA
267
.
5
.
S4P4
45. Systems logiques
پدیدآورنده : PERRIN,JEAN PAUL
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE THEORY , SWITCHING THEORY
رده :
QA
267
.
5
.
S4
P4
46. Techniques booleennes et calculateurs arithmetique
پدیدآورنده : Chinal, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
رده :
QA
401
.
C52
47. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
48. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
49. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
50. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده : David L. Dill.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
