121. Abstraction refinement for large scale model checking
Author: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
Classification :
QA
76
.
76
.
V47W36
2006
122. Abstraction refinement for large scale model checking
Author: Wang, Chao
Library: (Semnan)
Subject: Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
Classification :
QA
76
.
76
.
V47W36
2006
123. Accelerating test, validation and debug of high speed serial interface
Author: / Yongquan Fan, Zeljko Zilic
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Interface circuits--Testing,Very high speed integrated circuits--Testing
Classification :
TK
,
7868
,.
I58
,
F36
,
2011
124. Accelerating test, validation and debug of high speed serial interfaces
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Interface circuits ; Testing. ; Very high speed integrated circuits ; Testing. ;
125. Accelerating test, validation and debug of high speed serial interfaces
Author: Fan, Yongquan., Yongquan Fan, Zeljko Zilic
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Interface circuits, Testing,، Very high speed integrated circuits, Testing
126. Accuracy Filter And ADC Design-Capacitor Techniques For High-Switched
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Engineering. ; Computer engineering. ; Electronics. ; Systems engineering. ; Engineering. ; Circuits and Systems. ; Electronics and Microelectronics, Instrumentation. ; Electrical Engineering. ;
127. Accurate and robust spectral testing with relaxed instrumentation requirements /
Author: Yuming Zhuang, Degang Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Measuring instruments-- Testing.,Signal theory (Telecommunication),Circuits & components.,Electronics engineering.,Measuring instruments-- Testing.,Signal theory (Telecommunication),TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK7868
.
D5
128. Acoustic imaging with electronic circuits
Author: Harmuth, Henning F.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Acoustic imaging,، Electronic circuits
Classification :
TA
1770
.
H37
129. Active Metamaterials :
Author: by Saroj Rout, Sameer Sonkusale.,Rout, Saroj,
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Electronic circuits.,Electronic materials.,Image processing.,Optical materials.,Signal processing.,Speech processing systems.,Circuits and Systems.
Classification :
TK7871
130. Active and Non- Linear Electronics
Author: Schubert, Thomas.F, Thomas.F. Schubert, Ernest.M. Kim
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Electronic Circuit Design,، Electric Circuits, Nonlinear - Design,، Electric Networks, Active - Design
Classification :
TK
7867
/S285
131. Active and non-linear electronics
پدیدآورنده : Schubert, Thomas)Thomas F.(
موضوع : ، Electronic circuit design,، Electric circuits, Nonlinear-- Design,، Electric networks, Active-- Design
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
132. Active and nonlinear wave propagation in electronics
Author:
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic circuits,Electric waves,Nonlinear theories
Classification :
TK
454
.
S36
133. Active circuits and systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Microwave circuits ; Design and construction. ; Radio circuits ; Design and construction. ; Wireless communication systems ; Equipment and supplies. ;
134. Active filters for integrated-circuit application
Author: / Fred H. Irons
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electric filters, Active.,Integrated circuits--Design and construction
Classification :
TK
,
7872
,.
F5
,
I76
,
2005eb
135. Active filters for integrated-circuit applications /
Author: Fred H. Irons.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electric filters, Active.,Integrated circuits-- Design and construction.,Electric filters, Active.,Integrated circuits-- Design and construction.
Classification :
TK7872
.
F5
I76
2005eb
136. Active filters for integrated-circuit applications
Author: / Fred H. Irons
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electric filters, Active,Integrated circuits , Design and construction
Classification :
E-BOOK
137. Active filters: lumped, distributed, integrated, digital, and parametric
Author: Huelsman, Lawrence P.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Electric filters, Active,، Electronic circuits
Classification :
TK
7872
.
F5
H8
138. Active filters : lumped, distributed, integrated, digital, and parametric
Author: Lawrence P. Huelsman, editor
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electric filters, Active,، Electronic circuits
Classification :
TK
7872
.
F5
H8
1970
139. Active filters: lumped, distributed, integrated, digital, and parametric
Author: Huelsman, Lawrence P.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electric filters, Active,، Electronic circuits
Classification :
TK
7872
.
F5H9
140. Active intergrated circuit synthesis
Author: NEWCOMB,ROBERT W
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC CIRCUITS
Classification :
TK
7867
.
N45
