5541. logic programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

5542. logic, rhetoric and legal reasoning in the quran

کتابخانه: كتابخانه تخصصی مؤسسه شیعه شناسی (قم)

رده :
BP
134
/
گ
9
3
ل
1386

5543. mode logic-Model and design of bipolar and MOS current

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Bipolar transistors ; Design. ; Metal oxide semiconductors ; Design. ; Digital electronics ; Design. ;

5544. mode logic circuits /-Design automation for differential mos current

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

5545. monotonic turn in logic-The many valued and non

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : valued logic. ; Nonmonotonic reasoning. ; -Many

5546. mysticism and logic and other essays

پدیدآورنده :

کتابخانه: كتابخانه تخصصی تاریخ اسلام و ایران (قم)

موضوع : لاتین

5547. neural networks, fuzzy logic, and genetic algorithms

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)

موضوع : Intelligent control systems,Fuzzy logic,Neural networks (Computer science),Genetic algorithms

رده :
TJ217
.
5
.
R2N4
2007

5548. niewski's Systems of Logic and Foundations of Mathematicsج‍Le

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : METHODS&COMPUTER SCIENCE, THEORY

رده :
E-BOOK

5549. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

موضوع : ، Logic programming-- Congresses,، Artificial intelligence-- Congresses

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

5550. on the logic of the social sciences

پدیدآورنده :

کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)

موضوع : ، Social Sciences - Methodology

رده :
H
61
.
H251
1988

5551. organic reactions:simplicity and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع : ، Chemistry,organic,، Chemical reactions

رده :
QD
253
.
L3813
1995

5552. philosophy of logic/

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع : منطق,Logic

رده :
BC51
.
P8

5553. plc پي ال سي مقدماتيIntroductin to programmable Logic Controllers= عملکرد سيستم هاي کنترل بوسيله کنتاکتور, آشنايي با مدارهاي کنترل ديجيتال و

پدیدآورنده :

کتابخانه: كتابخانه عمومی خرامه (فارس)

موضوع : کنترل کننده هاي برنامه پذير

رده :
629
895-
ک
229
پ

5554. plc]پی ال سی [مقدماتی Programmable logic control introduction =

پدیدآورنده :

کتابخانه: کتابخانه خاوران(کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)

موضوع : ،کنترل کنندههای برنامه ریز،

رده :
629
/895
ک
229
پ

5555. programmable logic and applications :-Field

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Field programmable gate arrays ; Congresses ; Programmable array logic ; Congresses ;

5556. 6800 programming for logic design

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(

5557. selected Logic Papers

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
B
945
.
Q53
S4
1996

5558. sets logic, and axiomatic theories

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Set theory,، Logic , Symoblic and Mathematical

رده :
QA
248
.
3
.
S78
1974

5559. switching theory and logic design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Switching theory,Logic design

رده :
QA401
.
K8

5560. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Many-valued logic,Congresses ، Switching theory

رده :
QA
9
.
45
.
I58
2000