5981. 3 Volt system logic for personal computers: databook
المؤلف: Advanced micro devices
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: Handbooks, manuals, etc. ، Microcomputers,Handbooks, manuals, etc. ، Microprocessors
رده :
DB
QA
76
.
5
.
T47
1992

5982. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
المؤلف: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
المکتبة: (طهران)
موضوع: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005


5983. WOPPLOT 83 : Parallel Proceeding : Logic, Organization and Technology : Proceedings of a Workshop
المؤلف: edited by J. Becker, I. Eisele
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QC
3
.
L28
Vol
.
196


5984. WOPPLOT 83: parallel processing-- Logic, organization, and technology: proceedings of a workshop
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Parallel processing )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
W685
1983


5985. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
المؤلف: edited by J.D. Becker and I. Eisele
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
253


5986. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
المؤلف: WOPPLOT 68, )6891, Neubiberg, Germany(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253


5987. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop
المؤلف: WOPPLOT 38, )3891, Neubiberg, Germany(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
رده :
QA
76
.
6
.
W685
1983


5988. Waht is mathematical logic ?
المؤلف: / J. N. Crossley ... [et al.]
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
Wh


5989. Was Arminius an (Unwitting) Determinist? Another Look at Arminius's Modal Logic
المؤلف: Thomas H. McCall
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: determinism,Eef Dekker,Franciscus Gomarus,Jacob Arminius,modality

5990. Water logic
المؤلف: Edward De Bono.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Creative thinking.,Problem solving.,Thought and thinking.
رده :
BF441
.
E393
1994


5991. Weird water & fuzzy logic :
المؤلف: Martin Gardner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Science.,Science.
رده :
AC8
.
G335
1996


5993. What is mathematical logic
المؤلف: J.N. Crossley...]et al.[
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
W43
1972


5994. What is mathematical logic?
المؤلف: / J. N. Crossley ... [et all]
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Logic, symbolic and mathematical
رده :
QA9
.
W55


5995. What is mathematical logic?
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;

5996. What is mathematical logic?
المؤلف: / J.N. Crossley ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
W47
,
1990


5997. Why prolog?: justifying logic programming for practical applications
المؤلف: Lazarev, Gregory L
المکتبة: (طهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76
L38
1989


5998. #Wide Range Logic Ic Tester
المؤلف: #رضا عمادی
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع: #BS

5999. William of Sherwood's Introduction to logic /
المؤلف: translated with an introd. and notes by Norman Kretzmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Early works to 1800.,Logic, Medieval.,Logic, Medieval.,Logic.
رده :
BC60
.
S513
1975


6000. Wittgenstein on logic as the method of philosophy :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
