121. From boolean logic to switching circuits and automata : towards modern information technology
پدیدآورنده : Stankovic, Radomir S., 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Switching circuits,، Information technology,، Algebra, Boolean
رده :
TK
7868
.
S9S72
122. From objects to diagrams for ranges of functors
پدیدآورنده : Gillibert, Pierre
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functor theory,، Algebra, Boolean,، Algebraic logic
رده :
QA
3
.
L28
Vol
.
2029
123. Fundamental Boolean Algebra
پدیدآورنده : Kuntzmann, Jean, 2191-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Algebra , Boolean
رده :
QA
266
.
K813
124. Fundamental Boolean algebra
پدیدآورنده : Kuntzmann, Jean
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
K85
125. Fundamental Boolean algebra
پدیدآورنده : Kuntzmann, Jean
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Boolean
رده :
QA
266
.
K813
126. Handbook of Boolean algebras
پدیدآورنده : edited by J. Donald Monk, with the cooperation of Robert Bonnet
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Algebra, Boolean - Handbooks, manuals, etc
رده :
QA
.
H36
10
.
3
1988
127. Handbook of Boolean algebras
پدیدآورنده : edited by J. Donald Monk; with the cooperation of Robert Bonnet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Handbooks, manuals, etc ، Algebra, Boolean
رده :
QA
10
.
3
.
H36
1989
128. Handbook of Boolean algebras
پدیدآورنده : edited by J. Donald Monk, with the cooperation of Robert Bonnet
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Handbooks, manuals, etc ، Algebra, Boolean
رده :
QA
10
.
3
.
H36
1989
129. Handbook of satisfiability /
پدیدآورنده : edited by Armin Biere ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses
130. Hausdorff Gaps and Limits
پدیدآورنده : \ Ryszard Frankiewicz, Pawel Zbierski.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Stone-Čech compactification.,Algebra, Boolean.
رده :
QA
611
.
23
.
F7H32
1994
E-Book
,
131. Hausdorff gaps and limits
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : ??ech compactification. ; Algebra, Boolean. ; -Stone
132. Hausdorff gaps and limits
پدیدآورنده : / Ryszard Frankiewicz, Pawe� Zbierski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Stone-eCech compactification.,Algebra, Boolean.
رده :
QA
,
611
.
23
,.
F73
,
1994
133. Hausdorff gaps and limits
پدیدآورنده : Frankiewicz, Ryszard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Stone-Cech compactification,، Algebra, Boolean
رده :
QA
611
.
23
.
F73
1994
134. High quality test pattern generation and boolean satisfiability
پدیدآورنده : / Stephan EggersgleuC, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits--Testing,Algebra, Boolean
رده :
TK7874
.
E34
2012
135. Incline algebra and applications
پدیدآورنده : / Z.-Q. Cao, K.H. Kim, F.W. Roush
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Boolean,Algebras, Linear
رده :
QA10
.
3
.
C35
1984
136. Incline algebra and applications
پدیدآورنده : / Z.-Q. Cao, K.H. Kim, F.W. Roush
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Boolean,Algebras, Linear
رده :
QA10
.
3
.
C35
1984
137. Introduction a l'algebra de boole et aux dispositifs logiques
پدیدآورنده : Hoernes, Gerhard E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic calculating machines-- Design and construction,، Algebra, Boolean
رده :
QA
76
.
H6
138. Introduction to boolean algebra & logic design:a program for self
پدیدآورنده : HOERNES,GERHARD E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC CALCULATING-MACHINES-DESIGN & , ALGEBRA,BOOLEAN
رده :
QA
76
.
H57
139. Introduction to boolean algebras
پدیدآورنده : Givant, Steven Roger, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
G58I5
140. Introduction to boolean algebras
پدیدآورنده : Givant, Steven.,Steven Givant
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebra, Boolean
رده :
QA
3
.
G5