1. <A> Roadmap for Formal Property Verification
پدیدآورنده : \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification,مدار‌های مجتمع -- راستی‌آزمایی
رده :
E-Book
,
2. A Wide-Range Input Auxiliary Power Supply Based on Series-Connected SiC MOSFETs for Modular Multi-Level Converter
پدیدآورنده : Saeed, Muhammad A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electrical engineering
3. A Wide-Range Input Auxiliary Power Supply Based on Series-Connected SiC MOSFETs for Modular Multi-Level Converter
پدیدآورنده : Saeed, Muhammad A.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electrical engineering
4. A roadmap for formal property verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
5. ASIC and EPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Application specific integrated circuits,، Field programmable gate arrays
رده :
TK
7874
.
6
.
M85
2005
6. ASIC and FPGA Verification
پدیدآورنده : \ Richard Munden
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Application specific integrated circuits,مدار مجتمع کاربرد - ویژه
رده :
E-Book
,
7. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Application specific integrated circuits
رده :
E-BOOK
8. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
9. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
10. ASIC and FPGA verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Application specific integrated circuits. ;
11. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
M86
12. ASIC and FPGA verification : a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M96A8
13. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M86
2005
14. Abstraction refinement for large scale model checking
پدیدآورنده : Wang, Chao
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
15. Advanced Information Processing :
پدیدآورنده : edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
16. Advanced techniques in logic synthesis, optimizations and application
پدیدآورنده : / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic design,Electronic books
رده :
TK7888
.
4
.
A38
2011
17. Advanced verification techniques
پدیدآورنده : / by Leena Singh, Leonard Drucker, Neyaz Khann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits , Verification,Electronic books. , local
رده :
E-BOOK
18. Analog circuit desig
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Linear integrated circuits - Design and construction,Electronic circuit design
رده :
TK7874
.
654
.
W67
2005
19. Analog circuit design
پدیدآورنده : / edited by Michiel Steyaert, Arthur H.M. van Roermund, Johan H. Huijsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Linear integrated circuit--Design and construction,Electronic circuit design,Analog circuit desig
رده :
E-BOOK
20. Analog circuit design: RF circuits: wide band, front-ends, DACs, design methodology and verification for RF and mixed-signal systems, low power and low voltage
پدیدآورنده : edited by Michiel Steyaert, Arthur H.M. van Roermund, Johan H. Huijsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Design and construction ، Linear integrated circuits,، Electronic circuit design
رده :
TK
7874
.
654
.
W67
2005
