5961. VL86C010 32-BIT RISC MPU AND PERIPHERALS USERS MANUAL: Application specific logic products division
Author: VLSI technology Inc.
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
Classification :
QA
،
76
.
5
،.
V5
،
1989
5962. VLSI logic synthesis and design
Author: / edited by R.W. Dutton
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Dutton, R.W.
Classification :
QA
10
.
V4
1991
5963. VOLATILE MEMORY: THE NVM SOLUTIONS FOR EMEMORY-LOGIC NON
Author: / HSIANG-HSU CHARLES CHING
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&ENGINEERING, ELECTRICAL
Classification :
E-BOOK
5964. Vagueness, logic and ontology /
Author: Dominic Hyde
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic,Ontology,Semantics (Philosophy),Sorites paradox,Vagueness (Philosophy)
Classification :
B105
.
V33
H93
2008
5965. Value dominant logic :
Author: Gautam Mahajan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
HF5549
.
M29154
2019eb
5966. Varieties of logic
Author: Shapiro, Stewart, 1591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic
Classification :
BC
177
.
S52V3
5967. "Variety within Logic":
Author: Clark, Walter A.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
5968. Verifying Concurrent Processes Using Temporal Logic
Author: by Brent T. Hailpern.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
5969. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion
Library: Central Library and Documentation Center (Kerman)
Subject: ، Parallel processing )Electronic computers(,، Computer programs - Verification
Classification :
QA
76
.
L4
v
.
129
5970. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs-- Verification
Classification :
QA
76
.
6
.
H295
1982
5971. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion, 5591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
129
5972. Verilog coding for logic synthesis
Author: / Weng Fook Lee
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
Classification :
E-BOOK
5973. Verilog coding for logic synthesis
Author: / Weng Fook Lee
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
Classification :
TK7868
.
D5
,
L42
2003
5974. Verilog coding for logic synthesis
Author: / weng fook LEE
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: digital electronics,Logic circuits-computer-aided design
Classification :
TK7868
.
D5
,
L45
2003
5975. Verilog coding for logic synthesis
Author: Lee, Weng Fook.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
Classification :
TK
7868
.
D5
L42
5976. Vision and painting the logic of the Gaze
Author: Norman Bryson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
ND1140
.
N676
1997
5977. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
5978. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
5979. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
5980. 3 Volt system logic for personal computers: databook
Author: Advanced micro devices
Library: Library of Niroo Research Institue (Tehran)
Subject: Handbooks, manuals, etc. ، Microcomputers,Handbooks, manuals, etc. ، Microprocessors
Classification :
DB
QA
76
.
5
.
T47
1992
