5961. VHDL for programmable logic
المؤلف: Kevin Skahill ; contributors, Jay Legenhausen ... ]et al.[
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: VHDL )Computer hardware description language(,Logic design,Programmable logic devices
رده :
TK
7885
.
7
.
S55
1996
5962. VL86C010 32-BIT RISC MPU AND PERIPHERALS USERS MANUAL: Application specific logic products division
المؤلف: VLSI technology Inc.
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع:
رده :
QA
،
76
.
5
،.
V5
،
1989
5963. VLSI logic synthesis and design
المؤلف: / edited by R.W. Dutton
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical,Dutton, R.W.
رده :
QA
10
.
V4
1991
5964. VOLATILE MEMORY: THE NVM SOLUTIONS FOR EMEMORY-LOGIC NON
المؤلف: / HSIANG-HSU CHARLES CHING
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ELECTRONIC&ENGINEERING, ELECTRICAL
رده :
E-BOOK
5965. Vagueness, logic and ontology /
المؤلف: Dominic Hyde
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic,Ontology,Semantics (Philosophy),Sorites paradox,Vagueness (Philosophy)
رده :
B105
.
V33
H93
2008
5966. Value dominant logic :
المؤلف: Gautam Mahajan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Corporate culture.,Human capital.,Personnel management.,Success in business.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Leadership.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Corporate culture.,Human capital.,Personnel management.,Success in business.
رده :
HF5549
.
M29154
2019eb
5967. Varieties of logic
المؤلف: Shapiro, Stewart, 1591-
المکتبة: (طهران)
موضوع: ، Logic
رده :
BC
177
.
S52V3
5968. "Variety within Logic":
المؤلف: Clark, Walter A.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
5969. Verifying Concurrent Processes Using Temporal Logic
المؤلف: by Brent T. Hailpern.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
5970. Verifying concurrent processes using temporal logic
المؤلف: Hailpern, Brent Tzion
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
129
5971. Verifying concurrent processes using temporal logic
المؤلف: Hailpern, Brent Tzion
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs-- Verification
رده :
QA
76
.
6
.
H295
1982
5972. Verifying concurrent processes using temporal logic
المؤلف: Hailpern, Brent Tzion, 5591-
المکتبة: (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
129
5973. Verilog coding for logic synthesis
المؤلف: / Weng Fook Lee
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
E-BOOK
5974. Verilog coding for logic synthesis
المؤلف: / Weng Fook Lee
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
,
L42
2003
5975. Verilog coding for logic synthesis
المؤلف: / weng fook LEE
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: digital electronics,Logic circuits-computer-aided design
رده :
TK7868
.
D5
,
L45
2003
5976. Verilog coding for logic synthesis
المؤلف: Lee, Weng Fook.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
L42
5977. Vision and painting the logic of the Gaze
المؤلف: Norman Bryson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
ND1140
.
N676
1997
5978. Vivid logic
المؤلف: / Gerd Wagner
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
5979. Vivid logic :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
5980. Vivid logic : knowledge-based reasoning with two kinds of negation
المؤلف: Wagner, Gerd, 7591-
المکتبة: (طهران)
موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
