Results
|
1.
|
|
|
2.
|
Computer-aided verification '90: proceedings of a DIMACS workshop, June 18-21, 1990/ E. M. Clarke, R. P. Kurshan, editors. by
- Clarke, E. M, 1945-
- Kurshan, R. P, 1943-
- DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, 1991
Availability: Items available for loan: Castorina (1)Call number: 621.38 C738 1991 IMPA.
Found in Open Library:
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Design of high-performance microprocessor circuits / Anantha Chandrakasan, William J. Bowhill, Frank Fox, [editors]. by
- Chandrakasan, Anantha P
- Fox, Frank, 1952-
- Bowhill, William J
- John Wiley & Sons [publisher.]
- IEEE Xplore (Online service) [distributor.]
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: New York : IEEE Press, c2001Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]
Availability: No items available.
Found in Open Library:
|
|
9.
|
|
|
10.
|
|
|
11.
|
Multi-mode/multi-band RF transceivers for wireless communications : advanced techniques, architectures, and trends / edited by Gernot Hueber, Robert Bogdan Staszewski. by
- Staszewski, Robert Bogdan, 1965-
- Hueber, Gernot, 1972-
- John Wiley & Sons [publisher.]
- IEEE Xplore (Online service) [distributor.]
Material type: Text; Format:
available online
Publisher: [Hoboken, New Jersey] : Wiley, c2011Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]
Availability: No items available.
Found in Open Library:
|
|
12.
|
|
|
13.
|
Synthesized transmission lines : design, circuit implementation, and phased array applications / Tzyh-Ghuang Ma, Chao-Wei Wang, Chi-Hui Lai, Ying-Cheng Tseng. by
- Ma, Tzyh-Ghuang, 1973- [author.]
- Wang, Chao-Wei, 1982- [author.]
- Lai, Chi-Hui, 1985- [author.]
- Tseng, Ying-Cheng, 1987- [author.]
- IEEE Xplore (Online Service) [distributor.]
- Wiley [publisher.]
Material type: Text; Format:
available online
Publisher: Singapore ; Hoboken, NJ : John Wiley & Sons, 2017Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]
Availability: No items available.
Found in Open Library:
|
|
14.
|
|
|
15.
|
Digital systems testing and testable design / Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman. by
- Abramovici, Miron [author.]
- Breuer, Melvin A
- Friedman, Arthur D
- John Wiley & Sons [publisher.]
- IEEE Xplore (Online service) [distributor.]
Series: Electrical engineering, communications, and signal processing
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: New York, NY : Computer Science Press, c1990Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]
Availability: No items available.
Found in Open Library:
|
|
16.
|
|
|
17.
|
|
|
18.
|
Compact MOSFET models for VLSI design / A.B. Bhattacharyya. by
- Bhattacharyya, A. B., (Amalendu Bhushan) [author.]
- IEEE Xplore (Online Service) [distributor.]
- Wiley InterScience (Online service) [publisher.]
Material type: Text; Format:
available online
Publisher: Singapore ; John Wiley & Sons (Asia), c2009Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2009]
Availability: No items available.
Found in Open Library:
|
|
19.
|
Power management integrated chip design / Ke-Horng Chen. by
- Chen, Ke-Horng [author.]
- IEEE Xplore (Online Service) [distributor.]
- Wiley [publisher.]
Material type: Text; Format:
available online
Publisher: Chichester, UK ; Hoboken, NJ : John Wiley & Sons, 2016Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2016]
Availability: No items available.
Found in Open Library:
|
|
20.
|
|