7621. Verifying temporal properties of systems
پدیدآورنده: / Julian Charles Bradfield,Bradfield
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Automatic theorem proving,Petrinests,Verification ( Logic )
رده :
QA
76
.
9
.
A96B73
1992
7622. Verilog HDL :
پدیدآورنده: by Joseph Cavanagh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
B956
2007
7623. Verilog HDL: digital design and modeling
پدیدآورنده: Cavanagh, Joseph J. F.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
C395
2007
7624. Verilog HDL synthesis
پدیدآورنده: / J. Bhasker
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Verilog (Computer hardware description language),Logic design - Data processing
رده :
TK7885
.
7
.
B528
7625. Verilog HDL synthesis :a practical primer
پدیدآورنده: Bhasker, Jayaram.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Verilog )Computer hardware description language(,Data processing ، Logic design
رده :
TK
7885
.
7
.
B5284
1998
7626. Verilog coding for logic synthesis
پدیدآورنده: / Weng Fook Lee
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
E-BOOK
7627. Verilog coding for logic synthesis
پدیدآورنده: / Weng Fook Lee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
,
L42
2003
7628. Verilog coding for logic synthesis
پدیدآورنده: / weng fook LEE
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: digital electronics,Logic circuits-computer-aided design
رده :
TK7868
.
D5
,
L45
2003
7629. Verilog coding for logic synthesis
پدیدآورنده: Lee, Weng Fook.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
L42
7630. Virtual history
پدیدآورنده: / edited by Niall Ferguson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: History, Modern--20th century,Historiography.,History--Philosophy,Counterfactuals (Logic)
رده :
D
,
413
.
5
,.
V57
,
1999
7631. Visual reasoning with diagrams
پدیدآورنده: Amirouch Moktefi, Sun-Joo Shin, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic diagrams,Philosophy,Reasoning
رده :
BC199
.
A26
.
M384
2013
7632. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
7633. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
7634. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
رده :
QA
,
8
.
6
,.
V57
,
2005
7635. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
7636. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
7637. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
7638. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
7639. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
7640. Vivid logic
پدیدآورنده: / Gerd Wagner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
