Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 542 results. Subscribe to this search

|
461. Timed boolean functions : a unified formalism for exact timing analysis

by Lam, William K. C | Brayton, Robert K.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 273p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L16t] (1).

462. Verification by error modeling : using testing techniques in hardware verification

by Radecka, Katarzyna | Zilic, Zeljko.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 216p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R117v] (1).

463. Scalable hardware verification with symbolic simulation

by Bertacco, Valeria.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 177p.Publisher: New York Springer 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 B461s] (1).

464. A formal approach to hardware design

by Staunstrup, Jorgen.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 232p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 St29f] (1).

465. Modern semiconductor devices for integrated circuits

by Hu, Chenming Calvin.

Material type: book Book; Format: print ; Literary form: not fiction Description: 369p.Publisher: New Delhi Pearson Education 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381531 H86m] (3). Checked out (3).

466. Modern receiver front-ends : systems, circuits, and integration

by Laskar, Joy | Matinpour, Babak.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 221p.Publisher: New Jersey John Wiley & Sons 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38418 L334m] (2).

467. Test and diagnosis for small-delay defects

by Tehranipoor, Mohammad | Peng, Ke.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 212p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381548 T233m] (1).

468. Digital circuit boards : mach 1 GHz

by Morrison, Ralph.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 163p.Publisher: New Jersey John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.382 M834d] (1).

469. Diode lasers and photonic integrated circuits

by Coldren, Larry A | Corzine, Scott W.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxiii, 709p.Publisher: New York John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3827 C673d2] (1).

470. Integrated microwave front-ends with avionics applications

by Maloratsky, Leo G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 368p.Publisher: Boston Artech House 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.135 M297i] (1).

471. Electrical modeling and design for 3D system integration : 3D integrated circuits and packaging, signal integrity, power integrity and EMC

by Li, Er-Ping.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 366p.Publisher: New Jersey John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 L612e] (1).

472. Signal processing and integrated circuits

by Baher, Hussein.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 452p.Publisher: Chichester John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3822 B147s] (1).

473. Nanometer frequency synthesis beyond the phase-locked loop

by Xiu, Liming.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 324p.Publisher: New Jersey John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38132 X47n] (1).

474. Design of integrated circuits for optical communications [2nd ed.]

by Razavi, Behzad.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 424p.Publisher: New Jersey John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3827 R219d2] (1).

475. Mosfet modeling for VLSI simulation : theory and practice

by Arora, Narain.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiii, 605p.Publisher: New Jersey World Scientific 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815284 Ar67m] (1).

476. Nanometer technology designs high-quality delay tests

by Tehranipoor, Mohammad | Ahmed, Nisar.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 281p.Publisher: New York Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381548 T233n] (1).

477. High performance ASIC design : using synthesizable domino logic in an ASIC flow

by Hossain, Razak.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 145p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 H794h] (1).

478. Understanding smart sensors

by Frank, Randy.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xix, 367p.Publisher: Boston Artech House 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 681.2 F851u3] (1).

479. Microstrip lines and slotlines

by Garg, Ramesh | Bahl, Inder.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xii, 589p.Publisher: Boston Artech House 2013Availability: No items available Checked out (1).

480. Ultra low power transceiver for wireless body area networks

by Masuch, Jens | Delgado-Restituto, Manuel.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 122p.Publisher: New York Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3841 M396u] (1).

Powered by Koha