8701. VLSi systems design for digital singal processing
پدیدآورنده : Bowen, B.A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Digital techniques ، Signal processing,Very large scale integration ، Integrated circuits
رده :
TK
7868
.
D5
B68
1982
8702. VMOS projects
پدیدآورنده : Penfold, R. A.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic apparatus and appliances,، Transistor circuits - Amateurs' manuals
رده :
TK
9965
.
P45
8703. Vacuum-tube curcuits and transistors
پدیدآورنده : / Lawrence Baker Arguimbau
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : ترانزیستورها,لامپ‌های خلاء-- مدارها,Vacuum-tube circuits.
رده :
TK
۷۸۷۰
/
آ
۴
و
۸ ۱۳۳۵
8704. Vacuum0tube circuits & transistors:with transistor contributions
پدیدآورنده : ARGUIMBAW,LAWRENCE BAKER
کتابخانه: (طهران)
موضوع : VACUUM-TUBE CIRCUITS , TRANSISTORS
رده :
TK
7871
.
2
.
A7
8705. Variable impedance devices
پدیدآورنده : HOWES,M J ED
کتابخانه: (طهران)
موضوع : DIODES,SEMICONDUCTOR , MIXING CIRCUITS , OSCILLATORS,MICROWAVE
رده :
TK
7871
.
86
.
V37
8706. Variable impedance devices
پدیدآورنده : edited by M. J. Howes, D. V. Morgan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Diodes, Semiconductor,، Mixing circuits,، Oscillators, Microwave
رده :
TK
7871
.
86
.
V37
8707. Variable impedence devices
پدیدآورنده : Edited by M. J. Howe [and] D. V. Morgan
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Diodes, Semiconductor,Mixing circuits,Oscillator,Microwave
رده :
TK
7871
.
86
.
V37
8708. Variation aware analog and mixed-signal circuit design in emerging multi-gate cmos technologies
پدیدآورنده : / Michael Fulde
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mixed signal circuits,Gate array circuits,Electronic circuit design,-- Design,-- Design
رده :
621
.
3815
F962V
2010
8709. Variation tolerant on-chip interconnects
پدیدآورنده : / Ethiopia Enideg Nigussie
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Interconnects (Integrated circuit technology),Integrated circuits--Fault tolerance
رده :
TK7874
.
53
.
N54
2012
8710. Verformung und Schädigung von Werkstoffen der Aufbau- und Verbindungstechnik :
پدیدآورنده : Steffen Wiese.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microelectronics.,Microelectronics.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
W54
2010eb
8711. VeriIog HDL : digital design and modeling
پدیدآورنده : / Joseph Cavanagh
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Digital electronics,Logic circuits--Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5C395
8712. Verification by error modeling
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer
8713. Verification by error modeling
پدیدآورنده : / written by Katarzyna Radecka, Zeljko Zilic
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Integrated circuits--Very large scale integration--Computer-aided design,Integrated circuits--Verification,Error analysis (Mathematics)
رده :
TK
,
7874
.
75
,.
R33
,
2003
8714. Verification methodology manual for SystemVerilog
پدیدآورنده : / by Janick Bergeron ... [et al.]
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
8715. Verification methodology manual for System Verilog
پدیدآورنده : by Janick Bergeron...[et al.]&
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Verilog (Computer hardware description language),Integrated circuits -- Verification
رده :
TK
،
7885
.
7
،.
V44
،
2006
8716. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : Yoeli, Michael
کتابخانه: (سمنان)
موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
8717. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده : / by Michael Yoeli and Rakefet Kol
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
8718. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
8719. Verification techniques for system-level design /
پدیدآورنده : Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
8720. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro, 6591-
کتابخانه: (طهران)
موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
