4441. Verification methodology manual for SystemVerilog
پدیدآورنده: / by Janick Bergeron ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
4442. Verification methodology manual for System Verilog
پدیدآورنده: by Janick Bergeron...[et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Verilog (Computer hardware description language),Integrated circuits -- Verification
رده :
TK
،
7885
.
7
،.
V44
،
2006
4443. 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
4444. 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
4445. 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
4446. 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
4447. Verification techniques for system-level design
پدیدآورنده: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK7895
.
E42F95
2008
4448. Verification techniques for system-level design
پدیدآورنده: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
4449. Vertical 3D Memory Technologies
پدیدآورنده: \ Betty Prince.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Three-dimensional integrated circuits.,Semiconductor storage devices.,ابزار ذخیره‌سازی نیمه‌هادی
رده :
E-Book
,
4450. Very large scale integration (VLSI)
پدیدآورنده: / editor, D.F. Barbe
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits - Very large scale integration
رده :
TK
7874
.
V48
4451. Very large scale integration )VLSI( : fundamentals and applications
پدیدآورنده: editor, D.F. Barbe ; with contributions by D.F. Barbe ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Integrated circuits - Very large scale integration
رده :
TK
7874
.
V4
4452. Vision chips : implementing vision algorithms with analog VLSI circuits
پدیدآورنده: ]edited by[ Christof Koch, Hua Li
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer vision , Integrated circuits - Very large scale integration , Computer algorithms
رده :
TA
1634
.
V54
4453. Vlsi Handbook;Sillcon,Gallium Aksenide,and superconductor circuits
پدیدآورنده: Josepj Di Giacomo
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: integrated circuits-very large scale,integration-Hard books,manuals,etc
رده :
TK
7874
.
V563
4454. Vlsi design
پدیدآورنده: Singh, R. K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Integrated circuits
رده :
TK
7874
.
S5V4
4455. Vlsi design techniques for analog & digital circuits
پدیدآورنده: GEIGER,RANDALL L
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: INTEGRATED CIRCUITS-VERY LARGE SCALE
رده :
TK
7874
.
G43
4456. Vlsi engineering
پدیدآورنده: DILLINGER,THOMAS E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: INTEGRATED CIRCUITS-VERY LARGE SCALE , MICROCOMPUTERS
رده :
TK
7874
.
D55
4457. Vlsi & modern signal processing
پدیدآورنده: KUNG,SUN YUAN, ED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SIGNAL PROCESSING-DIGITAL TECHNIQUES- , INTEGRATED CIRCUITS-VERY LARGE SCALE
رده :
TK
5102
.
5
.
V18
4458. Vlsi:silicon compliation & art of automatic microchip design
پدیدآورنده: AYRES,RONALD F
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: INTEGRATED CIRCUITS-VERY LARGE SCALE
رده :
TK
7874
.
A97
4459. Vlsi system design:when & how to design very-large-scale
پدیدآورنده: MUROGA,SABURO
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: INTEGRATED CIRCUITS-VERY LARGE SCALE
رده :
TK
7874
.
M87
4460. Vlsi technology
پدیدآورنده: S.M.Sze
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: integrated circuits-very large scale integration
رده :
TK
7874
.
V566
1988
