|
21.
|
Substrate noise : analysis and optimization for IC design
by Charbon, Edoardo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.3815 CHA] (1).
|
|
22.
|
Principles of Verifiable RTL Design : a functional coding style supporting verification processes in verilog
by Bening, Lionel | Foster, Harry D. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.395 BEN] (1).
|
|
23.
|
System-on-chip methodologies & design languages
by Ashenden, Peter J | Mermet, Jean P | Mermet, Jean P | Seepold, Ralf | Seepold, Ralf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.395 ASH] (1).
|
|
24.
|
VLSI synthesis of DSP Kernels : algorithmic and architectural transformations
by Mehendale, Mahesh | Sherlekar, Sunil D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.39521 MEH] (1).
|
|
25.
|
Sequential optimization of asynchronous and synchronous finite-state machines : algorithms and tools
by Fuhrer, Robert M | Nowick, Steven M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.3136 FUH] (1).
|
|
26.
|
Low-power design techniques and CAD tools for analog and RF integrated circuits
by Wambacq, Piet | Gerrits, John | Gielen, Georges | Wambacq, Piet. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.3815 WAM] (1).
|
|
27.
|
Handbook of Markov decision processes : methods and applications
by Feinberg, Eugene A | Shwartz, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 519.233 FEI] (1).
|
|
28.
|
Super-resolution imaging
by Chaudhuri, Subhasis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.367 CHA] (1).
|
|
29.
|
Digital communication
by Barry, John R | Lee, Edward A | Messerschmitt, David G. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2003Availability: Items available for loan: [Call number: 621.382 BAR] (2).
|
|
30.
|
Circuit design for RF transceivers
by Leenaerts, Domine | Tang, Johan van der | Vaucher, Cicero. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.38412 LEE] (1).
|
|
31.
|
Energy efficient microprocessor design
by Burd, Thomas D | Brodersen, Robert W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 621.3916 BUR] (1).
|
|
32.
|
Logic Synthesis and Verification
by Hassoun, Soha | Brayton, Robert K | Sasao, Tsutomu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 621.395 HAS] (1).
|
|
33.
|
Principles of asynchronous circuits design : a systems perspective
by Sparso, Jens | Furber, Steve | Furber, Steve | Sparso, Jens. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.381521 SPA] (1).
|
|
34.
|
Feedback amplifiers : theory and design
by Palumbo, Gaetano | Pennisi, Salvatore. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 621.381535 PAL] (1).
|
|
35.
|
Compression and coding algorithms
by Moffat, Alistair | Turpin, Andrew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 005.746 MOF] (1).
|
|
36.
|
Computer-aided reasoning : an approach
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.0151 KAU] (1).
|
|
37.
|
Principles of verifiable RTL design : a functional coding style supporting verification processes in verilog
by Bening, Lionel | Foster, Harry D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.392 BEN] (1).
|
|
38.
|
Hardware design and petri nets
by Yakovlev, Alex | Gomes, Luis | Lavagno, Luciano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.3916 YAK] (1).
|
|
39.
|
Computer-aided reasoning : ACL2 case studies
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 006.33 KAU] (1).
|
|
40.
|
Data dissemination in wireless computing environments
by Tan, Kian-Lee | Ooi, Beng Chin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 005.4376 TAN] (1).
|