|
1.
|
Abstraction refinement for large scale model checking.
by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1).
|
|
2.
|
Leakage in nanometer CMOS technologies
by Chandrakasan, Anantha P | Narendra, Siva G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.38412 NAR] (1).
|
|
3.
|
Routing congestion in VLSI circuits : estimation and optimization
by Saxena, Prashant | Sapatnekar, Sachin S | Shelar, Rupesh S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 621.395 SAX] (1).
|
|
4.
|
Ultra-low power wireless technologies for sensor networks
by Otis, Brian | Rabaey, Jan M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 621.3821 OTI] (1).
|
|
5.
|
Sub-threshold design for ultra low-power systems
by Wang, Alice | Calhoun, Benton Highsmith | Chandrakasan, Anantha P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 WAN] (1).
|
|
6.
|
Carbon nanotube electronics
by Javey, Ali. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 621.3815 JAV] (1).
|
|
7.
|
CMOS biotechnology
by Ham, Donhee | Lee, Hakho | Westervelt, Robert M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 621.38152 LEE] (1).
|
|
8.
|
Modern circuit placement : best practices and results
by Cong, Jason | Nam, Gi-Joon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 621.395 NAM] (1).
|
|
9.
|
SAT-Based scalable formal verification solutions
by Ganai, Malay | Gupta, Aarti. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Springer, 2007Availability: Items available for loan: [Call number: 621.381548 GAN] (1).
|
|
10.
|
Low power design essentials
by Rabaey, Jan M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 621.3815 RAB] (1). Checked out (1).
|
|
11.
|
Secure integrated circuits and systems
by Verbauwhede, Ingrid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 621.3815 VER] (1).
|
|
12.
|
Embedded memories for nano-scale VLSIs
by Zhang, Kevin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 621.395 ZHA] (1).
|
|
13.
|
Design for manufacturability and yield for nano-scale CMOS
by Kawa, Jamil | Chiang, Charles C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 621.38412 CHI] (1).
|
|
14.
|
Green software defined radios : enabling seamless connectivity while saving on hardware and energy
by Van der Perre, Liesbet. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 621.384 VAN] (1).
|