1381. VHDL
المؤلف: / Zainalabedin Navabi
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: VHDL (Computer hardware description language),Digital integrated circuits - Design--Data processing
رده :
TK
7885
.
7
.
N38
1998
1382. VHDL Answers to Frequently Asked Questions
المؤلف: by Ben Cohen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Computer-aided design.,Engineering.,Systems engineering.
1383. VHDL Designer's Reference
المؤلف: by Jean-Michel Bergé, Alain Fonkoua, Serge Maginot, Jacques Rouillard.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Engineering.,Systems engineering.
1384. VHDL 101 : Everything you need to know to get started
المؤلف: / Kafig, William
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ELECTRONIC& ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
1385. VHDL: analysis and modeling of digital systems
المؤلف: Navabi, Zainalabedin
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، VHDL )Computere hardware description language(,، Digital integrated circuits-- Design and construction-- Data processing
رده :
TK
7874
.
N36
1993
1386. VHDL :analysis and modeling of digital systems
المؤلف: Navabi, Zainalabedin
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، VHDL )Computere hardware description language(,Design and construction Data processing ، Digital integrated circuits
رده :
TK
7874
.
N36
1993
1387. VHDL: analysis and modeling of digital systems
المؤلف: Navabi, Zainalabedin
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، VHDL )Computer hardware description language(,Design and construction - Data processing ، Digital integrated circuits
رده :
TK
7874
.
N36
1993
1388. VHDL for logic synthesis
المؤلف: Rushton, Andrew
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، VHDL )Computer hardware description language(,Data processing ، Logic design,، Computer-aided design,، COMPUTERS / Computer Engineering
رده :
TK
7885
.
7
.
R87
1389. VHDL for simulation, synthesis, and formal proofs of hardware
المؤلف: / edited by Jean Mermet
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: VHDL (Computer hardware description language)
رده :
TK
7885
.
7
.
V48
1992
1390. VHDL techniques, experiments, and caveats
المؤلف: Pick, Joseph.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، VHDL)Computer hardware description language(
رده :
TK
7885
.
7
.
P53
1996
1391. VHDL techniques, experiments, and caveats
المؤلف: Pick, Joseph.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، VHDL )Computer hardware description language(
رده :
TK
7885
.
7
.
P53
1996
1392. VLSI:
المؤلف: edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer-aided design.,Engineering.
رده :
TK7874
.
E358
2000
1393. VLSI - Compatible Implementations for Artificial Neural Networks
المؤلف: by Sied Mehdi Fakhraie, Kenneth Carless Smith.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Systems engineering.
1394. VLSI Design: A Practical Guide for FPGA and ASIC Implementations
المؤلف: / Vikram Arkalgud Chandrasetty
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
1395. VLSI design and test :
المؤلف: S. Rajaram, N.B. Balamurugan, D. Gracia Nirmala Rani, Virendra Singh (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Integrated circuits-- Very large scale integration-- Design and construction, Congresses.,Integrated circuits-- Very large scale integration-- Testing, Congresses.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.
رده :
TK7874
.
75
1396. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
المؤلف: / Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
1397. Verification Plans
المؤلف: by Peet James.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Computer-aided design.,Engineering.,Systems engineering.
1398. Verification and evaluation of computer and communication systems :
المؤلف: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1399. Verification methodology manual for SystemVerilog
المؤلف: / by Janick Bergeron ... [et al.]
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
1400. Verified software :
المؤلف: Ruzica Piskac, Philipp Rümmer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
