81. Circuit simulation methods and algorithms /
پدیدآورنده : Jan Ogrodzki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : OPTIMA (Computer file),OPTIMA (Computer file),Computer-aided design.,Electronic circuits-- Computer simulation.,Integrated circuits-- Computer simulation.,Circuits électroniques.,Circuits intégrés.,Computer-aided design.,Electronic circuits-- Computer simulation.,Elektronische Schaltung.,Integrated circuits-- Computer simulation.,Simulation.
رده :
TK7867
.
O33
1994
82. Circuit simulation with SPICE OPUS
پدیدآورنده : Tadej Tuma, Árpád Bűrmen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : SPICE (Computer file),Electronic circuits-- Computer simulation,Linear integrated circuits
رده :
TK7874
.
654
.
T86
2009eb
83. Circuit simulation with SPICE OPUS :theory and practice
پدیدآورنده : Tuma, Tadej.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، SPICE )Computer file(,، Linear integrated circuits,Computer simulation ، Electronic circuits
رده :
TK
7874
.
654
.
T86
2009
84. 303 Circuits
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic circuits- Problems, Exercises, etc,Electronics- Problems, Exercises, etc,Integrated circuits- Problems, Exercises, etc,Electronics- Problems, Exersises, etc
رده :
TK7868
.
C5
1988
85. Circuits, interconnections, and packaging for VLSI
پدیدآورنده : Bakoglu, H. B., 8591-
موضوع : ، Integrated circuits- Very large scale integration- Design and construction,، Electronic packaging
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
86. Circuits, interconnections, and packaging for VLST
پدیدآورنده : Bakoglu, H. B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Design and construction ، Integrated circuits,، Electronic packaging
رده :
TK
7874
.
B345
1990
87. Circuts interconnections and Packaging for VLSI
پدیدآورنده : H. B. Bakoglu
موضوع : Integrated circuits--Very large scale integration--Design and construction,Electronic packaging
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
88. Computer Design Aids for VLSI Circuits
پدیدآورنده : \ edited by P. Antognetti, D.O. Pederson, H. De Man
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Large scale integration -- Congresses.,Electronic circuit design -- Computer programs -- Congresses.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بزرگ -- کنگره ها
رده :
E-Book
,
89. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
90. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
91. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
92. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
93. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
94. Computer design aids for VLSI circuits
پدیدآورنده :
موضوع : ، Integrated circuits-- Very Large scale integration-- Congresses,، Electronic circuit design-- Computer programs-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
95. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
96. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic digital computers- Circuits- Design,Integrated circuits- Very large scale integration- Design- Data processing,Logic design- Data processing,Computer-aided design
رده :
E-BOOK
97. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
98. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,Logic design -- Data processing ، Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
2005
99. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers,Integrated circuits,Logic design,Computer-aided design,-- Circuits Design,-- Very large scale integration -- Design -- Data processing,-- Data processing
رده :
621
.
395
K19C
2005
100. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Electronic digital computers--Circuits--Design,Integrated circuits--Very large scale integration--Design--Data processing,Logic design--Data processing,Computer-aided design
رده :
TK7888
.
4
.
k36
